Get my own profile
Public access
View all6 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Gilles BartheMPI-SP and IMDEA Software InstituteVerified email at mpi-sp.org
- Adam DoupéAssociate Professor, Arizona State UniversityVerified email at asu.edu
- Ziming Zhao (赵子铭)Assistant Professor, University at BuffaloVerified email at buffalo.edu
- Gail-Joon AhnArizona State UniversityVerified email at asu.edu
- Jonathan KatzProfessor of Computer Science, University of MarylandVerified email at cs.umd.edu
- Bruno BlanchetSenior researcher, INRIA, ParisVerified email at inria.fr
- Karthikeyan BhargavanINRIAVerified email at inria.fr
- Cas CremersCISPA Helmholtz Center for Information SecurityVerified email at cispa.de
- Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECVerified email at fc.up.pt
- Bryan ParnoCarnegie Mellon UniversityVerified email at cmu.edu
- Peter SchwabeMPI-SP and Radboud UniversityVerified email at mpi-sp.org
- Benjamin GregoireInria Sophia-AntipolisVerified email at inria.fr
- Tamara RezkINRIAVerified email at inria.fr
- Justin HsuCornell UniversityVerified email at justinhsu.net
- Tiago OliveiraSandboxAQVerified email at sandboxquantum.com
- Adam BatesAssistant Professor, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
- Riccardo PaccagnellaCarnegie Mellon UniversityVerified email at cs.cmu.edu
- Dave (Jing) TianPurdue UniversityVerified email at purdue.edu
- Andrew MillerUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu