Crea el meu perfil
Accés públic
Mostra-ho tot43 articles
1 article
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Igor KonnovIndependent Security and Formal Methods ResearcherCorreu electrònic verificat a konnov.phd
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienCorreu electrònic verificat a forsyte.tuwien.ac.at
- Marijana LazićPostdoc, TU MünchenCorreu electrònic verificat a in.tum.de
- Roderick BloemGraz University of TechnologyCorreu electrònic verificat a iaik.tugraz.at
- Ayrat KhalimovTU ClausthalCorreu electrònic verificat a tu-clausthal.de
- Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics CampusCorreu electrònic verificat a cispa.saarland
- Martin BielyGoogleCorreu electrònic verificat a google.com
- Jennifer Lundelius WelchProfessor, Department of Computer Science and Engineering, Texas A&M UniversityCorreu electrònic verificat a cse.tamu.edu
- Matthias FüggerCNRS, LMF, ENS Paris-Saclay, Université Paris-SaclayCorreu electrònic verificat a lmf.cnrs.fr
- Florian ZulegerAssociate Professor, TU WienCorreu electrònic verificat a forsyte.tuwien.ac.at
- Damien ZuffereyResearch Group Leader, Max Planck Institute for Software SystemsCorreu electrònic verificat a mpi-sws.org
- Andre SchiperProfessor, School of Communication and Computer Science, EPFLCorreu electrònic verificat a epfl.ch
- Thomas HenzingerIST AustriaCorreu electrònic verificat a ist.ac.at
- Emmanuelle AnceaumeResearcher at CNRS - UMR 6074Correu electrònic verificat a irisa.fr
- Srikanth SastryGoogle IncCorreu electrònic verificat a csail.mit.edu