Crea el meu perfil
Accés públic
Mostra-ho tot11 articles
6 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignCorreu electrònic verificat a illinois.edu
- Santiago EscobarVRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de ValènciaCorreu electrònic verificat a upv.es
- Paul SyversonMathematician, U.S. Naval Research LaboratoryCorreu electrònic verificat a nrl.navy.mil
- dusko pavlovicProfessor at University of HawaiiCorreu electrònic verificat a hawaii.edu
- Sonia SantiagoPhD. Student - Universidad Politecnica de ValenciaCorreu electrònic verificat a dsic.upv.es
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityCorreu electrònic verificat a cmu.edu
- Christopher LynchClarkson UniversityCorreu electrònic verificat a clarkson.edu
- Sushil JajodiaUniversity Professor, BDM International Professor, and Director, Center for Secure InformationCorreu electrònic verificat a gmu.edu
- Ralf SasseSenior Scientist in Computer Science, ETH ZurichCorreu electrònic verificat a inf.ethz.ch
- Deepak KapurUniversity of New MexicoCorreu electrònic verificat a cs.unm.edu
- David BasinProfessor of Computer Science, ETH ZurichCorreu electrònic verificat a inf.ethz.ch
- Antonio González-BurgueñoPh.D fellow, University of OsloCorreu electrònic verificat a ifi.uio.no
- Cas CremersCISPA Helmholtz Center for Information SecurityCorreu electrònic verificat a cispa.de
- John McLeanSuperintendent of Information Technology Division, Naval Research LabCorreu electrònic verificat a nrl.navy.mil
- John T. SampleSuperintendent, Ocean Sciences Division, Naval Research LaboratoryCorreu electrònic verificat a nrlssc.navy.mil
- Ran CanettiProfessor of Computer Science, Boston UniversityCorreu electrònic verificat a bu.edu
- Carl E. LandwehrUniversity of Michigan, George Washington University and Independent ConsultantCorreu electrònic verificat a gwu.edu
- Hubert Comon-LundhComputer Science professor, ENS CachanCorreu electrònic verificat a lsv.ens-cachan.fr
- Joshua GuttmanResearch Professor, Computer Science, Worcester Polytechnic InstituteCorreu electrònic verificat a wpi.edu
- Carolyn TalcottSRI International
Segueix
Catherine Meadows
Head, Formal Methods Section, Naval Research Laboratory
Correu electrònic verificat a nrl.navy.mil