Skapa en profil
Offentlig åtkomst
Visa alla11 artiklar
6 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerifierad e-postadress på illinois.edu
- Santiago EscobarVRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de ValènciaVerifierad e-postadress på upv.es
- Paul SyversonMathematician, U.S. Naval Research LaboratoryVerifierad e-postadress på nrl.navy.mil
- dusko pavlovicProfessor at University of HawaiiVerifierad e-postadress på hawaii.edu
- Sonia SantiagoPhD. Student - Universidad Politecnica de ValenciaVerifierad e-postadress på dsic.upv.es
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityVerifierad e-postadress på cmu.edu
- Christopher LynchClarkson UniversityVerifierad e-postadress på clarkson.edu
- Sushil JajodiaUniversity Professor, BDM International Professor, and Director, Center for Secure InformationVerifierad e-postadress på gmu.edu
- Ralf SasseSenior Scientist in Computer Science, ETH ZurichVerifierad e-postadress på inf.ethz.ch
- Deepak KapurUniversity of New MexicoVerifierad e-postadress på cs.unm.edu
- David BasinProfessor of Computer Science, ETH ZurichVerifierad e-postadress på inf.ethz.ch
- Antonio González-BurgueñoPh.D fellow, University of OsloVerifierad e-postadress på ifi.uio.no
- Cas CremersCISPA Helmholtz Center for Information SecurityVerifierad e-postadress på cispa.de
- John McLeanSuperintendent of Information Technology Division, Naval Research LabVerifierad e-postadress på nrl.navy.mil
- John T. SampleSuperintendent, Ocean Sciences Division, Naval Research LaboratoryVerifierad e-postadress på nrlssc.navy.mil
- Ran CanettiProfessor of Computer Science, Boston UniversityVerifierad e-postadress på bu.edu
- Carl E. LandwehrUniversity of Michigan, George Washington University and Independent ConsultantVerifierad e-postadress på gwu.edu
- Hubert Comon-LundhComputer Science professor, ENS CachanVerifierad e-postadress på lsv.ens-cachan.fr
- Joshua GuttmanResearch Professor, Computer Science, Worcester Polytechnic InstituteVerifierad e-postadress på wpi.edu
- Carolyn TalcottSRI International
Följ
Catherine Meadows
Head, Formal Methods Section, Naval Research Laboratory
Verifierad e-postadress på nrl.navy.mil