Security Type Systems / Isabelle / Nieto L.P. / Paulson L.C. / Needham / Reliably Secure Software Systems / /
Country
United Kingdom / /
Facility
University of Cambridge / Middlesex University / /
IndustryTerm
event systems / physical protocols / workflow management systems / software security analysis framework / quasi-automatic tool / automatic tools / cryptographic protocols / multi-agent systems / main verification tool / type systems / secure applications / security protocols / distance bounding protocols / /
Movie
A.D. / /
MusicGroup
B.C. / /
Organization
Middlesex University / Technische Universität München / France Max-Planck-Institut für Informatik / U.S. Securities and Exchange Commission / University of Cambridge / Germany Department of Computer Science / School of Science and Technology / /
Person
Tobias Nipkow / Lawrence Paulson / Andrei Popescu / David Basin / Jasmin Christian / Hecker / Heiko Mantel / Gregor Snelting / /
Isabelle and Security Jasmin Christian Blanchette1,2 and Andrei Popescu3 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany