Get my own profile
Public access
View all37 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Gilles BartheMPI-SP and IMDEA Software InstituteVerified email at mpi-sp.org
- Marco GaboardiBoston UniversityVerified email at bu.edu
- Pierre-Yves StrubResearch Scientist, PQShieldVerified email at strub.nu
- Aaron RothProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
- Benjamin GregoireInria Sophia-AntipolisVerified email at inria.fr
- Gallego Arias, Emilio JesúsStarting Reseacher, Inria, Université de Paris, IRIF, CNRS, F-75013 Paris, FranceVerified email at x80.org
- Thomas EspitauLead researcher, PQShieldVerified email at pqshield.com
- Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
- Alexandra SilvaCornell UniversityVerified email at cornell.edu
- Andreas HaeberlenUniversity of PennsylvaniaVerified email at cis.upenn.edu
- Tetsuya SatoTokyo Institute of TechnologyVerified email at c.titech.ac.jp
- Arjun NarayanMaterialize, Inc.Verified email at materialize.io
- Arthur Azevedo de AmorimRochester Institute of TechnologyVerified email at rit.edu
- Sanjeev KhannaHenry Salvatori Professor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
- Aws AlbarghouthiUniversity of Wisconsin–MadisonVerified email at cs.wisc.edu
- Zhiwei Steven WuCarnegie Mellon UniversityVerified email at andrew.cmu.edu
- Dexter KozenProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
- Nate FosterProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
- Steffen SmolkaGoogle IncVerified email at google.com
- Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu