Andrei Sabelfeld Language / Steve Zdancevic Evidence / /
Company
Security / /
Facility
University Center / /
IndustryTerm
transportation / /
Organization
University Center / /
Person
Matteo Maffei / Stefan Berghofer Mechanizing / Ron van der Meyden / Doug Kuhlman / Matija Pretnar / Adria Gascon / Makoto Tatsuta / Karl Mazurak / Ryan Moriarty / Max Tuengerthal / Jonathan Millen / Vitaly Shmatikov / Stephen Chong / Frank Pfenning / Emmanuel Beffara An Algebraic / John Mitchell / Cedric Fournet / Gordon Plotkin / Mark Ryan / James Cheney / Michael Huth / Ann Miura-Ko / Yuri Gurevich / Limin Jia / Jorge Perez / Christopher Dilloway / Michael Clarkson / Catalin Hritcu / Andrei Sabelfeld David Basin / Tony Braskich / Mahesh Tripunitara / Stephen Brookes Dexter Kozen / Benjamin Yolken / Jeffrey Vaughan / Sam Staton / Manfred Schmidt-Schauss / A. Prasad Sistla / Jean Goubault-Larrecq / Fred Schneider Hyperproperties / Deepak Garg / Ivan Lanese / Sergio Maffeis / Glenn Bruns / Stephanie Delaune / Tamara Rezk Tractable / Robert Harper / Anupam Datta / Michael Backes / Structural Operational Semantics / Andrew Gacek / Nicholas Bambos / Marianne Winslett / Marcelo Fiore / William Winsborough / Christoph Sprenger / Rohit Chadha / Steve Emeott / Henry DeYoung / Salvador Cavadini / Andrew C. Myers End / Ralf Kuesters / Steve Zdancevic / Steve Kremer / Andrei Sabelfeld / Gilles Barthe / Bruno Blanchet / Carsten Schuermann / Dominique Unruh Computational / Christian Urban / Dale Miller / /