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