Eike Ritter

According to our database, Eike Ritter authored at least 45 papers between 1993 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Skolemisation for Intuitionistic Linear Logic.

Alessandro Bruni, Eike Ritter, Carsten Schürmann

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2023

Categorical Proof-Theoretic Semantics.

David J. Pym, Eike Ritter, Edmund Robinson

CoRR, 2023

2018

A Protocol for Preventing Insider Attacks in Untrusted Infrastructure-as-a-Service Clouds.

Imran Khan, Zahid Anwar, Behzad Bordbar, Eike Ritter, Habib-ur Rehman

IEEE Trans. Cloud Comput., 2018

2017

Stateful applied pi calculus: Observational equivalence and labelled bisimilarity.

Myrto Arapinis, Jia Liu, Eike Ritter, Mark Ryan

J. Log. Algebraic Methods Program., 2017

Analysis of privacy in mobile telephony systems.

Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Dermot Ryan

Int. J. Inf. Sec., 2017

A Malware-Tolerant, Self-Healing Industrial Control System Framework.

Michael Denzel, Mark Ryan, Eike Ritter

Proceedings of the ICT Systems Security and Privacy Protection, 2017

2015

Fibrational Modal Type Theory.

Valeria de Paiva, Eike Ritter

Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015

2014

A proof-theoretic analysis of the classical propositional matrix method.

David J. Pym, Eike Ritter, Edmund Robinson

J. Log. Comput., 2014

StatVerif: Verification of stateful processes.

Myrto Arapinis, Joshua Phillips, Eike Ritter, Mark Dermot Ryan

J. Comput. Secur., 2014

Provable security of a pairing-free one-pass authenticated key establishment protocol for wireless sensor networks.

Rehana Yasmin, Eike Ritter, Guilin Wang

Int. J. Inf. Sec., 2014

Verification of agent knowledge in dynamic access control policies.

Masoud Koleini, Eike Ritter, Mark Ryan

CoRR, 2014

Stateful Applied Pi Calculus.

Myrto Arapinis, Jia Liu, Eike Ritter, Mark Ryan

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

Privacy through Pseudonymity in Mobile Telephony Systems.

Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Ryan

Proceedings of the 21st Annual Network and Distributed System Security Symposium, 2014

2013

Model Checking Agent Knowledge in Dynamic Access Control Policies.

Masoud Koleini, Eike Ritter, Mark Ryan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2012

An Authentication Framework for Wireless Sensor Networks Using Identity-Based Signatures: Implementation and Evaluation.

Rehana Yasmin, Eike Ritter, Guilin Wang

IEICE Trans. Inf. Syst., 2012

Auditable Envelopes: Tracking Anonymity Revocation Using Trusted Computing.

Matt Smart, Eike Ritter

Proceedings of the Trust and Trustworthy Computing - 5th International Conference, 2012

New privacy issues in mobile telephony: fix and verification.

Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Ryan, Nico Golde, Kevin Redon, Ravishankar Borgaonkar

Proceedings of the ACM Conference on Computer and Communications Security, 2012

2011

Formal Analysis of UMTS Privacy

Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Ryan

CoRR, 2011

StatVerif: Verification of Stateful Processes.

Myrto Arapinis, Eike Ritter, Mark Dermot Ryan

Proceedings of the 24th IEEE Computer Security Foundations Symposium, 2011

True Trustworthy Elections: Remote Electronic Voting Using Trusted Computing.

Matt Smart, Eike Ritter

Proceedings of the Autonomic and Trusted Computing - 8th International Conference, 2011

2010

Analysing Unlinkability and Anonymity Using the Applied Pi Calculus.

Myrto Arapinis, Tom Chothia, Eike Ritter, Mark Ryan

Proceedings of the 23rd IEEE Computer Security Foundations Symposium, 2010

An Authentication Framework for Wireless Sensor Networks using Identity-Based Signatures.

Rehana Yasmin, Eike Ritter, Guilin Wang

Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

2009

Towards the Verification of Pervasive Systems.

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

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Untraceability in the applied pi-calculus.

Myrto Arapinis, Tom Chothia, Eike Ritter, Mark Ryan

Proceedings of the 4th International Conference for Internet Technology and Secured Transactions, 2009

Remote Electronic Voting with Revocable Anonymity.

Matt Smart, Eike Ritter

Proceedings of the Information Systems Security, 5th International Conference, 2009

2005

Relating Categorical Semantics for Intuitionistic Linear Logic.

Maria Emilia Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter

Appl. Categorical Struct., 2005

A games semantics for reductive logic and proof-search.

David J. Pym, Eike Ritter

Proceedings of the 1st Workshop on Games for Logic and Programming Languages, 2005

Analysis of a Multi-party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space Model.

Aybek Mukhamedov, Steve Kremer, Eike Ritter

Proceedings of the Financial Cryptography and Data Security, 2005

2004

Reductive logic and proof-search - proof theory, semantics, and control.

David J. Pym, Eike Ritter

Oxford logic guides 45, Oxford University Press, ISBN: 978-0-19-852633-9, 2004

2001

Categorical and Kripke Semantics for Constructive S4 Modal Logic.

Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter

Proceedings of the Computer Science Logic, 15th International Workshop, 2001

2000

On the intuitionistic force of classical search.

Eike Ritter, David J. Pym, Lincoln A. Wallen

Theor. Comput. Sci., 2000

Proof-terms for classical and intuitionistic resolution.

Eike Ritter, David J. Pym, Lincoln A. Wallen

J. Log. Comput., 2000

Linear Explicit Substitutions.

Neil Ghani, Valeria de Paiva, Eike Ritter

Log. J. IGPL, 2000

Categorical Models for Intuitionistic and Linear Type Theory.

Maria Emilia Maietti, Valeria de Paiva, Eike Ritter

Proceedings of the Foundations of Software Science and Computation Structures, 2000

1999

Characterising Explicit Substitutions which Preserve Termination.

Eike Ritter

Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999

Categorical Models of Explicit Substitutions.

Neil Ghani, Valeria de Paiva, Eike Ritter

Proceedings of the Foundations of Software Science and Computation Structure, 1999

1998

Explicit Substitutions for Constructive Necessity.

Neil Ghani, Valeria de Paiva, Eike Ritter

Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

1997

On Explicit Substitution and Names (Extended Abstract).

Eike Ritter, Valeria de Paiva

Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

1996

On the Intuitionistic Force of Classical Search (Extended Abstract).

Eike Ritter, David J. Pym, Lincoln A. Wallen

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1996

Proof-Terms for Classical and Intuitionistic Resolution (Extended Abstract).

Eike Ritter, David J. Pym, Lincoln A. Wallen

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995

A Fully Abstract Translation between a Lambda-Calculus with Reference Types and Standard ML.

Eike Ritter, Andrew M. Pitts

Proceedings of the Typed Lambda Calculi and Applications, 1995

1994

Categorical Abstract Machines for Higher-Order Typed lambda-Calculi.

Eike Ritter

Theor. Comput. Sci., 1994

1993

Rewriting Properties of Combinators for Rudimentary Linear Logic.

Monica Nesi, Valeria de Paiva, Eike Ritter

Proceedings of the Higher-Order Algebra, 1993

Normalization for Typed Lambda Calculi with Explicit Substitution.

Eike Ritter

Proceedings of the Computer Science Logic, 7th Workshop, 1993

A Generic Strong Normalization Argument: Application to the Calculus of Constructions.

C.-H. Luke Ong, Eike Ritter

Proceedings of the Computer Science Logic, 7th Workshop, 1993