Get my own profile
Co-authors
Ahmed BouajjaniProfessor Computer Science, University of ParisVerified email at irif.fr
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Zvonimir RakamaricAssociate Professor, School of Computing, University of UtahVerified email at cs.utah.edu
Jad HamzaLARA, EPFLVerified email at epfl.ch
Shaz QadeerResearch Scientist, FacebookVerified email at fb.com
Akash LalMicrosoft Research, IndiaVerified email at microsoft.com
Ranjit JhalaProfessor of Computer Science, UC San DiegoVerified email at cs.ucsd.edu
Koushik SenProfessor of Computer Science, University of California, BerkeleyVerified email at cs.berkeley.edu
Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECVerified email at fc.up.pt
José Bacelar AlmeidaHASLab / INESC TEC, Universidade do MinhoVerified email at di.uminho.pt
François DupressoirSenior Lecturer in Cryptography, Department of Computer Science, University of BristolVerified email at bristol.ac.uk
Burcu Kulahcioglu OzkanDelft University of TechnologyVerified email at tudelft.nl
Gabriela (Cretu) CiocarlieChief Product Officer, Elpha SecureVerified email at cs.columbia.edu
Shaobo HeUniversity of UtahVerified email at cs.utah.edu
Corina PasareanuCMU/NASA AmesVerified email at nasa.gov
Gennaro ParlatoAssociate Professor of Computer Science, University of MoliseVerified email at unimol.it
Mohamed Faouzi AtigUppsala UniversityVerified email at it.uu.se
Roman ManevichFacebookVerified email at fb.com
Arvind HaranSoftware Engineer, IBMVerified email at us.ibm.com
Eddie KohlerMicrosoft Professor of Computer Science, Harvard UniversityVerified email at seas.harvard.edu