Get my own profile
Public access
View all3 articles
1 article
available
not available
Based on funding mandates
Co-authors
- Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaVerified email at math.upenn.edu
- Rebecca N. WrightBarnard CollegeVerified email at barnard.edu
- Vijay RamachandranAssociate Professor of Computer Science, Colgate UniversityVerified email at colgate.edu
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cmu.edu
- Joan FeigenbaumGrace Murray Hopper Professor of Computer Science, Yale UniversityVerified email at yale.edu
- Michael SchapiraProfessor of Computer Science, The Hebrew University of JerusalemVerified email at huji.ac.il
- Paul SyversonMathematician, U.S. Naval Research LaboratoryVerified email at nrl.navy.mil
- Michael BackesChairman and Founding Director of the CISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
- Aaron JohnsonU.S. Naval Research LaboratoryVerified email at nrl.navy.mil
- Bruno BlanchetSenior researcher, INRIA, ParisVerified email at inria.fr
- Alex FabrikantStaff research scientist, Google ResearchVerified email at google.com
- Timothy G. GriffinSenior Lecturer, University of CambridgeVerified email at cl.cam.ac.uk
- Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryVerified email at nrl.navy.mil
- Michael MisloveTulane UniversityVerified email at tulane.edu
- Roberto SegalaUniversità di VeronaVerified email at univr.it