Get my own profile
Public access
View all34 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Josef WidderInformal SystemsVerified email at informal.systems
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerified email at forsyte.tuwien.ac.at
- Marijana LazićPostdoc, TU MünchenVerified email at in.tum.de
- Ulrich SchmidTU WienVerified email at ecs.tuwien.ac.at
- Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
- Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics CampusVerified email at cispa.saarland
- Ayrat KhalimovTU ClausthalVerified email at tu-clausthal.de
- Sasha RubinUniversity of SydneyVerified email at sydney.edu.au
- Ilina StoilkovskaAmazonVerified email at amazon.co.uk
- Thanh-Hai TranConsensysVerified email at consensys.net
- Vincent GramoliUniversity of Sydney and EPFLVerified email at sydney.edu.au
- Pierre TholoniatColumbia UniversityVerified email at cs.columbia.edu
- Zarko MilosevicInformal SystemsVerified email at informal.systems
- Florian ZulegerAssociate Professor, TU WienVerified email at forsyte.tuwien.ac.at
- Stephan MerzSenior Researcher, INRIAVerified email at inria.fr
- Peter Bulychevpostdoc at Aalborg UniversityVerified email at cs.aau.dk
- Tomer KotekTU WienVerified email at forsyte.at
- Simon BliudzeComputer Science researcher, University of Lille Inria Research CentreVerified email at inria.fr
- Joseph SifakisReseracher at Verimag laboratory, GrenobleVerified email at imag.fr
- VASILY PASHKOV (Пашков Василий,...Moscow State University (МГУ имени М.В. Ломоносова)Verified email at lvk.cs.msu.su
Follow
Igor Konnov
Other namesIgor V. Konnov
Independent Security and Formal Methods Researcher
Verified email at konnov.phd - Homepage