Mijn eigen profiel maken
Openbare toegang
Alles bekijken11 artikelen
6 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignGeverifieerd e-mailadres voor illinois.edu
- Santiago EscobarVRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de ValènciaGeverifieerd e-mailadres voor upv.es
- Paul SyversonMathematician, U.S. Naval Research LaboratoryGeverifieerd e-mailadres voor nrl.navy.mil
- dusko pavlovicProfessor at University of HawaiiGeverifieerd e-mailadres voor hawaii.edu
- Sonia SantiagoPhD. Student - Universidad Politecnica de ValenciaGeverifieerd e-mailadres voor dsic.upv.es
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityGeverifieerd e-mailadres voor cmu.edu
- Christopher LynchClarkson UniversityGeverifieerd e-mailadres voor clarkson.edu
- Sushil JajodiaUniversity Professor, BDM International Professor, and Director, Center for Secure InformationGeverifieerd e-mailadres voor gmu.edu
- Ralf SasseSenior Scientist in Computer Science, ETH ZurichGeverifieerd e-mailadres voor inf.ethz.ch
- Deepak KapurUniversity of New MexicoGeverifieerd e-mailadres voor cs.unm.edu
- David BasinProfessor of Computer Science, ETH ZurichGeverifieerd e-mailadres voor inf.ethz.ch
- Antonio González-BurgueñoPh.D fellow, University of OsloGeverifieerd e-mailadres voor ifi.uio.no
- Cas CremersCISPA Helmholtz Center for Information SecurityGeverifieerd e-mailadres voor cispa.de
- John McLeanSuperintendent of Information Technology Division, Naval Research LabGeverifieerd e-mailadres voor nrl.navy.mil
- John T. SampleSuperintendent, Ocean Sciences Division, Naval Research LaboratoryGeverifieerd e-mailadres voor nrlssc.navy.mil
- Ran CanettiProfessor of Computer Science, Boston UniversityGeverifieerd e-mailadres voor bu.edu
- Carl E. LandwehrUniversity of Michigan, George Washington University and Independent ConsultantGeverifieerd e-mailadres voor gwu.edu
- Hubert Comon-LundhComputer Science professor, ENS CachanGeverifieerd e-mailadres voor lsv.ens-cachan.fr
- Joshua GuttmanResearch Professor, Computer Science, Worcester Polytechnic InstituteGeverifieerd e-mailadres voor wpi.edu
- Carolyn TalcottSRI International
Volgen
Catherine Meadows
Head, Formal Methods Section, Naval Research Laboratory
Geverifieerd e-mailadres voor nrl.navy.mil