Back to Results
First PageMeta Content
Computer science / IEEE Symposium on Logic in Computer Science / Year of birth missing / Logic programming / Frank Pfenning / Logical framework / Theoretical computer science / Logic in computer science / Programming language theory


Document Date: 2012-02-14 14:29:19

Open Document

File Size: 61,02 KB

Share Result on Facebook

City

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 / /

Position

BREAK Giant Eagle Lobby Lambda Calculus Chair / Chair / CSF Business Meeting Chair / concurrency Chair / General / Giant Eagle Auditorium Chair / Cryptographically Sound Protocol-Model / /

Technology

Public-Key Encryption / Remote Electronic Voting Protocols / Digital Signature / /

SocialTag