Get my own profile
Public access
View all12 articles
6 articles
available
not available
Based on funding mandates
Co-authors
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Santiago EscobarVRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de ValènciaVerified email at upv.es
Paul SyversonMathematician, U.S. Naval Research LaboratoryVerified email at nrl.navy.mil
dusko pavlovicProfessor at University of HawaiiVerified email at hawaii.edu
Sonia SantiagoPhD. Student - Universidad Politecnica de ValenciaVerified email at dsic.upv.es
Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cmu.edu
Christopher LynchClarkson UniversityVerified email at clarkson.edu
Sushil JajodiaUniversity Professor, BDM International Professor, and Director, Center for Secure InformationVerified email at gmu.edu
Ralf SasseSenior Scientist in Computer Science, ETH ZurichVerified email at inf.ethz.ch
Deepak KapurUniversity of New MexicoVerified email at cs.unm.edu
David BasinProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Antonio González-BurgueñoPh.D fellow, University of OsloVerified email at ifi.uio.no
Cas CremersCISPA Helmholtz Center for Information SecurityVerified email at cispa.de
John McLeanSuperintendent of Information Technology Division, Naval Research LabVerified email at nrl.navy.mil
John T. SampleSuperintendent, Ocean Sciences Division, Naval Research LaboratoryVerified email at nrlssc.navy.mil
Ran CanettiProfessor of Computer Science, Boston UniversityVerified email at bu.edu
Carl E. LandwehrUniversity of Michigan, George Washington University and Independent ConsultantVerified email at umich.edu
Hubert Comon-LundhComputer Science professor, ENS CachanVerified email at lsv.ens-cachan.fr
Joshua GuttmanResearch Professor, Computer Science, Worcester Polytechnic InstituteVerified email at wpi.edu
Carolyn TalcottSRI International
Follow

Catherine Meadows
Head, Formal Methods Section, Naval Research Laboratory
Verified email at nrl.navy.mil