Get my own profile
Public access
View all8 articles
0 articles
available
not available
Based on funding mandates
Co-authors
ludovic henrioCNRSVerified email at ens-lyon.fr
Lawrence PaulsonUniversity of CambridgeVerified email at cam.ac.uk
Rene Rydhof HansenAalborg UniversityVerified email at cs.aau.dk
Marieta G. Ivanova(former) PhD student, Technical University of DenmarkVerified email at dtu.dk
Manfred KerberUniversity of BirminghamVerified email at cs.bham.ac.uk
Steffen HelkeProfessor für Sichere SoftwaresystemeVerified email at tu-cottbus.de
Glenford MappAssociate Professor, Middlesex UniversityVerified email at mdx.ac.uk
Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHVerified email at kerguelen.org
Rajagopal NagarajanProfessor of Foundations of Computing, Middlesex UniversityVerified email at mdx.ac.uk
Jason R.C. NurseReader in Cyber Security, University of KentVerified email at kent.ac.uk
Sören PreibuschMeta ← Google ← Microsoft Research ← University of CambridgeVerified email at fb.com
Taolue ChenSchool of Computing and Mathematical Sciences, Birkbeck, University of LondonVerified email at bbk.ac.uk
Graeme SmithThe University of QueenslandVerified email at itee.uq.edu.au
Giuseppe PrimieroDepartment of Philosophy, University of MilanVerified email at unimi.it
Gabriele KellerUtrecht UniversityVerified email at uu.nl
Franco RaimondiProfessor of Computer Science, Gran Sasso Science InstituteVerified email at gssi.it
Follow
Florian Kammüller
Associate Professor, Middlesex University London and Privatdozent TU Berlin
Verified email at mdx.ac.uk - Homepage