Skapa en profil
Offentlig åtkomst
Visa alla43 artiklar
1 artikel
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Igor KonnovIndependent Security and Formal Methods ResearcherVerifierad e-postadress på konnov.phd
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerifierad e-postadress på forsyte.tuwien.ac.at
- Marijana LazićPostdoc, TU MünchenVerifierad e-postadress på in.tum.de
- Roderick BloemGraz University of TechnologyVerifierad e-postadress på iaik.tugraz.at
- Ayrat KhalimovTU ClausthalVerifierad e-postadress på tu-clausthal.de
- Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics CampusVerifierad e-postadress på cispa.saarland
- Martin BielyGoogleVerifierad e-postadress på google.com
- Jennifer Lundelius WelchProfessor, Department of Computer Science and Engineering, Texas A&M UniversityVerifierad e-postadress på cse.tamu.edu
- Matthias FüggerCNRS & LMF, ENS Paris-Saclay & InriaVerifierad e-postadress på lsv.fr
- Florian ZulegerAssociate Professor, TU WienVerifierad e-postadress på forsyte.tuwien.ac.at
- Damien ZuffereyResearch Group Leader, Max Planck Institute for Software SystemsVerifierad e-postadress på mpi-sws.org
- Andre SchiperProfessor, School of Communication and Computer Science, EPFLVerifierad e-postadress på epfl.ch
- Thomas HenzingerIST AustriaVerifierad e-postadress på ist.ac.at
- Emmanuelle AnceaumeResearcher at CNRS - UMR 6074Verifierad e-postadress på irisa.fr
- Srikanth SastryGoogle IncVerifierad e-postadress på csail.mit.edu