Crea il mio profilo
Accesso pubblico
Visualizza tutto11 articoli
6 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignEmail verificata su illinois.edu
- Santiago EscobarVRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de ValènciaEmail verificata su upv.es
- Paul SyversonMathematician, U.S. Naval Research LaboratoryEmail verificata su nrl.navy.mil
- dusko pavlovicProfessor at University of HawaiiEmail verificata su hawaii.edu
- Sonia SantiagoPhD. Student - Universidad Politecnica de ValenciaEmail verificata su dsic.upv.es
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityEmail verificata su cmu.edu
- Christopher LynchClarkson UniversityEmail verificata su clarkson.edu
- Sushil JajodiaUniversity Professor, BDM International Professor, and Director, Center for Secure InformationEmail verificata su gmu.edu
- Ralf SasseSenior Scientist in Computer Science, ETH ZurichEmail verificata su inf.ethz.ch
- Deepak KapurUniversity of New MexicoEmail verificata su cs.unm.edu
- David BasinProfessor of Computer Science, ETH ZurichEmail verificata su inf.ethz.ch
- Antonio González-BurgueñoPh.D fellow, University of OsloEmail verificata su ifi.uio.no
- Cas CremersCISPA Helmholtz Center for Information SecurityEmail verificata su cispa.de
- John McLeanSuperintendent of Information Technology Division, Naval Research LabEmail verificata su nrl.navy.mil
- John T. SampleSuperintendent, Ocean Sciences Division, Naval Research LaboratoryEmail verificata su nrlssc.navy.mil
- Ran CanettiProfessor of Computer Science, Boston UniversityEmail verificata su bu.edu
- Carl E. LandwehrUniversity of Michigan, George Washington University and Independent ConsultantEmail verificata su gwu.edu
- Hubert Comon-LundhComputer Science professor, ENS CachanEmail verificata su lsv.ens-cachan.fr
- Joshua GuttmanResearch Professor, Computer Science, Worcester Polytechnic InstituteEmail verificata su wpi.edu
- Carolyn TalcottSRI International
Segui
Catherine Meadows
Head, Formal Methods Section, Naval Research Laboratory
Email verificata su nrl.navy.mil