Eike Ritter

Masoud Koleini, Eike Ritter, Mark Ryan: Model Checking Agent Knowledge in Dynamic Access Control Policies. TACAS 2013: 448-462

Rehana Yasmin, Eike Ritter, Guilin Wang: An Authentication Framework for Wireless Sensor Networks Using Identity-Based Signatures: Implementation and Evaluation. IEICE Transactions 95-D(1): 126-133 (2012)

Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Ryan, Nico Golde, Kevin Redon, Ravishankar Borgaonkar: New privacy issues in mobile telephony: fix and verification. ACM Conference on Computer and Communications Security 2012: 205-216

Matt Smart, Eike Ritter: Auditable Envelopes: Tracking Anonymity Revocation Using Trusted Computing. TRUST 2012: 19-33

Matt Smart, Eike Ritter: True Trustworthy Elections: Remote Electronic Voting Using Trusted Computing. ATC 2011: 187-202

Myrto Arapinis, Eike Ritter, Mark Dermot Ryan: StatVerif: Verification of Stateful Processes. CSF 2011: 33-47

Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Ryan: Formal Analysis of UMTS Privacy. CoRR abs/1109.2066 (2011)

Rehana Yasmin, Eike Ritter, Guilin Wang: An Authentication Framework for Wireless Sensor Networks using Identity-Based Signatures. CIT 2010: 882-889

Myrto Arapinis, Tom Chothia, Eike Ritter, Mark Ryan: Analysing Unlinkability and Anonymity Using the Applied Pi Calculus. CSF 2010: 107-121

Myrto Arapinis, Muffy Calder, Louise A. Dennis, Michael Fisher, Philip D. Gray, Savas Konur, Alice Miller, Eike Ritter, Mark Ryan, Sven Schewe, Chris Unsworth, Rehana Yasmin: Towards the Verification of Pervasive Systems. ECEASST 22 (2009)

Matt Smart, Eike Ritter: Remote Electronic Voting with Revocable Anonymity. ICISS 2009: 39-54

Myrto Arapinis, Tom Chothia, Eike Ritter, Mark Ryan: Untraceability in the applied pi-calculus. ICITST 2009: 1-6

Maria Emilia Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter: Relating Categorical Semantics for Intuitionistic Linear Logic. Applied Categorical Structures 13(1): 1-36 (2005)

Aybek Mukhamedov, Steve Kremer, Eike Ritter: Analysis of a Multi-party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space Model. Financial Cryptography 2005: 255-269

David J. Pym, Eike Ritter: A games semantics for reductive logic and proof-search. GALOP 2005: 107-123

Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter: Categorical and Kripke Semantics for Constructive S4 Modal Logic. CSL 2001: 292-307

Neil Ghani, Valeria de Paiva, Eike Ritter: Linear Explicit Substitutions. Logic Journal of the IGPL 8(1): 7-31 (2000)

Eike Ritter, David J. Pym, Lincoln A. Wallen: Proof-terms for classical and intuitionistic resolution. J. Log. Comput. 10(2): 173-207 (2000)

Eike Ritter, David J. Pym, Lincoln A. Wallen: On the intuitionistic force of classical search. Theor. Comput. Sci. 232(1-2): 299-333 (2000)

Maria Emilia Maietti, Valeria de Paiva, Eike Ritter: Categorical Models for Intuitionistic and Linear Type Theory. FoSSaCS 2000: 223-237

Neil Ghani, Valeria de Paiva, Eike Ritter: Categorical Models of Explicit Substitutions. FoSSaCS 1999: 197-211

Eike Ritter: Characterising Explicit Substitutions which Preserve Termination. TLCA 1999: 325-339

Neil Ghani, Valeria de Paiva, Eike Ritter: Explicit Substitutions for Constructive Necessity. ICALP 1998: 743-754

Eike Ritter, Valeria de Paiva: On Explicit Substitution and Names (Extended Abstract). ICALP 1997: 248-258

Eike Ritter, David J. Pym, Lincoln A. Wallen: Proof-Terms for Classical and Intuitionistic Resolution (Extended Abstract). CADE 1996: 17-31

Eike Ritter, David J. Pym, Lincoln A. Wallen: On the Intuitionistic Force of Classical Search (Extended Abstract). TABLEAUX 1996: 295-311

Eike Ritter, Andrew M. Pitts: A Fully Abstract Translation between a Lambda-Calculus with Reference Types and Standard ML. TLCA 1995: 397-413

Eike Ritter: Categorical Abstract Machines for Higher-Order Typed lambda-Calculi. Theor. Comput. Sci. 136(1): 125-162 (1994)

C.-H. Luke Ong, Eike Ritter: A Generic Strong Normalization Argument: Application to the Calculus of Constructions. CSL 1993: 261-279

Eike Ritter: Normalization for Typed Lambda Calculi with Explicit Substitution. CSL 1993: 295-304

Monica Nesi, Valeria de Paiva, Eike Ritter: Rewriting Properties of Combinators for Rudimentary Linear Logic. HOA 1993: 256-275