Eike Ritter

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 7

Top Topics

Top Venues

Int. J. Inf. Sec.

Publications

Alessandro Bruni, Eike Ritter, Carsten Schürmann
Skolemisation for Intuitionistic Linear Logic. IJCAR (2) (2024)
Alessandro Bruni, Eike Ritter, Carsten Schürmann
Skolemisation for Intuitionistic Linear Logic. CoRR (2024)
David J. Pym, Eike Ritter, Edmund Robinson
Categorical Proof-Theoretic Semantics. CoRR (2023)
Imran Khan, Zahid Anwar, Behzad Bordbar, Eike Ritter, Habib-ur Rehman
A Protocol for Preventing Insider Attacks in Untrusted Infrastructure-as-a-Service Clouds. IEEE Trans. Cloud Comput. 6 (4) (2018)
Michael Denzel, Mark Ryan, Eike Ritter
A Malware-Tolerant, Self-Healing Industrial Control System Framework. SEC (2017)
Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Dermot Ryan
Analysis of privacy in mobile telephony systems. Int. J. Inf. Sec. 16 (5) (2017)
Myrto Arapinis, Jia Liu, Eike Ritter, Mark Ryan
Stateful applied pi calculus: Observational equivalence and labelled bisimilarity. J. Log. Algebraic Methods Program. 89 (2017)
Valeria de Paiva, Eike Ritter
Fibrational Modal Type Theory. LSFA (2015)
Rehana Yasmin, Eike Ritter, Guilin Wang
Provable security of a pairing-free one-pass authenticated key establishment protocol for wireless sensor networks. Int. J. Inf. Sec. 13 (5) (2014)
Myrto Arapinis, Jia Liu, Eike Ritter, Mark Ryan
Stateful Applied Pi Calculus. POST (2014)
Masoud Koleini, Eike Ritter, Mark Ryan
Verification of agent knowledge in dynamic access control policies. CoRR (2014)
Myrto Arapinis, Joshua Phillips, Eike Ritter, Mark Dermot Ryan
StatVerif: Verification of stateful processes. J. Comput. Secur. 22 (5) (2014)
Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Ryan
Privacy through Pseudonymity in Mobile Telephony Systems. NDSS (2014)
David J. Pym, Eike Ritter, Edmund Robinson
A proof-theoretic analysis of the classical propositional matrix method. J. Log. Comput. 24 (1) (2014)
Masoud Koleini, Eike Ritter, Mark Ryan
Model Checking Agent Knowledge in Dynamic Access Control Policies. TACAS (2013)
Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Ryan, Nico Golde, Kevin Redon, Ravishankar Borgaonkar
New privacy issues in mobile telephony: fix and verification. CCS (2012)
Rehana Yasmin, Eike Ritter, Guilin Wang
An Authentication Framework for Wireless Sensor Networks Using Identity-Based Signatures: Implementation and Evaluation. IEICE Trans. Inf. Syst. (1) (2012)
Matt Smart, Eike Ritter
Auditable Envelopes: Tracking Anonymity Revocation Using Trusted Computing. TRUST (2012)
Matt Smart, Eike Ritter
True Trustworthy Elections: Remote Electronic Voting Using Trusted Computing. ATC (2011)
Myrto Arapinis, Eike Ritter, Mark Dermot Ryan
StatVerif: Verification of Stateful Processes. CSF (2011)
Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Ryan
Formal Analysis of UMTS Privacy CoRR (2011)
Myrto Arapinis, Tom Chothia, Eike Ritter, Mark Ryan
Analysing Unlinkability and Anonymity Using the Applied Pi Calculus. CSF (2010)
Rehana Yasmin, Eike Ritter, Guilin Wang
An Authentication Framework for Wireless Sensor Networks using Identity-Based Signatures. CIT (2010)
Matt Smart, Eike Ritter
Remote Electronic Voting with Revocable Anonymity. ICISS (2009)
Myrto Arapinis, Tom Chothia, Eike Ritter, Mark Ryan
Untraceability in the applied pi-calculus. ICITST (2009)
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. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 22 (2009)
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)
Maria Emilia Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter
Relating Categorical Semantics for Intuitionistic Linear Logic. Appl. Categorical Struct. 13 (1) (2005)
David J. Pym, Eike Ritter
A games semantics for reductive logic and proof-search. GALOP@ETAPS (2005)
Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter
Categorical and Kripke Semantics for Constructive S4 Modal Logic. CSL (2001)
Eike Ritter, David J. Pym, Lincoln A. Wallen
Proof-terms for classical and intuitionistic resolution. J. Log. Comput. 10 (2) (2000)
Eike Ritter, David J. Pym, Lincoln A. Wallen
On the intuitionistic force of classical search. Theor. Comput. Sci. 232 (1-2) (2000)
Neil Ghani, Valeria de Paiva, Eike Ritter
Linear Explicit Substitutions. Log. J. IGPL 8 (1) (2000)
Maria Emilia Maietti, Valeria de Paiva, Eike Ritter
Categorical Models for Intuitionistic and Linear Type Theory. FoSSaCS (2000)
Eike Ritter
Characterising Explicit Substitutions which Preserve Termination. TLCA (1999)
Neil Ghani, Valeria de Paiva, Eike Ritter
Categorical Models of Explicit Substitutions. FoSSaCS (1999)
Neil Ghani, Valeria de Paiva, Eike Ritter
Explicit Substitutions for Constructive Necessity. ICALP (1998)
Eike Ritter, Valeria de Paiva
On Explicit Substitution and Names (Extended Abstract). ICALP (1997)
Eike Ritter, David J. Pym, Lincoln A. Wallen
Proof-Terms for Classical and Intuitionistic Resolution (Extended Abstract). CADE (1996)
Eike Ritter, David J. Pym, Lincoln A. Wallen
On the Intuitionistic Force of Classical Search (Extended Abstract). TABLEAUX (1996)
Eike Ritter, Andrew M. Pitts
A Fully Abstract Translation between a Lambda-Calculus with Reference Types and Standard ML. TLCA (1995)
Eike Ritter
Categorical Abstract Machines for Higher-Order Typed lambda-Calculi. Theor. Comput. Sci. 136 (1) (1994)
Monica Nesi, Valeria de Paiva, Eike Ritter
Rewriting Properties of Combinators for Rudimentary Linear Logic. HOA (1993)
C.-H. Luke Ong, Eike Ritter
A Generic Strong Normalization Argument: Application to the Calculus of Constructions. CSL (1993)
Eike Ritter
Normalization for Typed Lambda Calculi with Explicit Substitution. CSL (1993)