Get my own profile
Co-authors
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland- Christian SzegedyGoogle ResearchVerified email at google.com
- Leander TentrupSaarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
- Sanjit A. SeshiaUniversity of California, BerkeleyVerified email at eecs.berkeley.edu
- Sarah M. LoosGoogleVerified email at google.com
- Sven ScheweProfessor of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
- Cesar SanchezAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
- Kshitij BansalGoogleVerified email at google.com
- Gil LedermanPhd Candidate, EECS, UC BerkeleyVerified email at berkeley.edu
- Rayna DimitrovaCISPA Helmholtz Center for Information SecurityVerified email at cispa.de
- Kristopher MicinskiSyracuse UniversityVerified email at syr.edu
- Michael ClarksonLecturer in Computer Science, Cornell UniversityVerified email at cornell.edu
- Peter FaymonvilleITK Engineering GmbHVerified email at react.uni-saarland.de
- John FearnleyUniversity of LiverpoolVerified email at liverpool.ac.uk
- Helmut SeidlProfessor für Informatik, TU MünchenVerified email at in.tum.de
- Aditya PaliwalGoogle ResearchVerified email at iiitb.org
- Edward A. LEEProfessor of Electrical Engineering and Computer Sciences, University of California at BerkeleyVerified email at berkeley.edu
- Dennis LeeGoogleVerified email at google.com
- Daniel J. FremontAssistant Professor, University of California, Santa CruzVerified email at ucsc.edu
- Cameron RasmussenUC BerkeleyVerified email at berkeley.edu
Markus N Rabe
Verified email at google.com - Homepage