Založit si vlastní profil
Veřejný přístup
Zobrazit všechny43 článků
1 článek
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Igor KonnovIndependent Security and Formal Methods ResearcherE-mailová adresa ověřena na: konnov.phd
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienE-mailová adresa ověřena na: forsyte.tuwien.ac.at
- Marijana LazićPostdoc, TU MünchenE-mailová adresa ověřena na: in.tum.de
- Roderick BloemGraz University of TechnologyE-mailová adresa ověřena na: iaik.tugraz.at
- Ayrat KhalimovTU ClausthalE-mailová adresa ověřena na: tu-clausthal.de
- Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics CampusE-mailová adresa ověřena na: cispa.saarland
- Martin BielyGoogleE-mailová adresa ověřena na: google.com
- Jennifer Lundelius WelchProfessor, Department of Computer Science and Engineering, Texas A&M UniversityE-mailová adresa ověřena na: cse.tamu.edu
- Matthias FüggerCNRS & LMF, ENS Paris-Saclay & InriaE-mailová adresa ověřena na: lsv.fr
- Florian ZulegerAssociate Professor, TU WienE-mailová adresa ověřena na: forsyte.tuwien.ac.at
- Damien ZuffereyResearch Group Leader, Max Planck Institute for Software SystemsE-mailová adresa ověřena na: mpi-sws.org
- Andre SchiperProfessor, School of Communication and Computer Science, EPFLE-mailová adresa ověřena na: epfl.ch
- Thomas HenzingerIST AustriaE-mailová adresa ověřena na: ist.ac.at
- Emmanuelle AnceaumeResearcher at CNRS - UMR 6074E-mailová adresa ověřena na: irisa.fr
- Srikanth SastryGoogle IncE-mailová adresa ověřena na: csail.mit.edu
Sledovat