Get my own profile
Public access
View all5 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Gary T. LeavensProfessor, University of Central FloridaVerified email at cs.ucf.edu
Joseph KiniryPrincipal Scientist, Galois and Principled CEO & Chief Scientist, Free & FairVerified email at acm.org
Joeri de RuiterSpecialist security and privacy at SURFVerified email at surf.nl
Yoonsik CheonThe University of Texas at El PasoVerified email at utep.edu
Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenVerified email at cs.ru.nl
Wojciech MostowskiHalmstad UniversityVerified email at hh.se
Peter MüllerETH ZurichVerified email at inf.ethz.ch
Joost VisserProfessor, LIACS, Leiden UniversityVerified email at liacs.leidenuniv.nl
Engelbert HubbersLecturer Radboud UniversityVerified email at cs.ru.nl
Alex SerbanSiemens HealthineersVerified email at cs.ru.nl
Tommy KoensRadboud universityVerified email at cs.ru.nl
Aleksy SchubertUniversity of Warsaw, Faculty of Mathematics, Informatics and MechanicsVerified email at mimuw.edu.pl
Marieke HuismanVerified email at ewi.utwente.nl
Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonVerified email at cs.washington.edu
Barbara VieiraVerified email at tomtom.com
Daniel M. ZimmermanSenior Staff Research Scientist, CertiKVerified email at acm.org
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityVerified email at cs.ru.nl
Michael MenthProfessor of Computer Networks, Department of Computer Science, University of TuebingenVerified email at uni-tuebingen.de
Simon ThompsonTechnical Project Director, dApp Platform, IOHK; Professor, University of Kent and ELTEVerified email at kent.ac.uk
Fides AartsASMLVerified email at asml.com