Eike Ritter

Accepting PhD Students

PhD projects

Eike Ritter’s research interests include security, applications of mathematical logic and category theory to computer science, type theory and its applications to functional programming, proof theory and automated theorem proving.

Dr Ritter is one of the investigators on the EPSRC-funded project ‘Verifying Interoperability Requirements in Pervasive Systems’, which is a collaboration between the universities of Birmingham, Liverpool and Glasgow.

He is also involved in work on access control systems and mathematical foundations of computer science.

Research activity per year

12 Paper
11 Article
5 Conference contribution
5 Working paper
More

38 results

2024
Categorical Proof-theoretic Semantics
Pym, D., Ritter, E. & Robinson, E. P., 3 May 2024, (E-pub ahead of print) In: Studia Logica.
Research output: Contribution to journal › Article › peer-review

Open Access
File
23 Downloads (Pure)
Skolemisation of Intuitionistic Linear Logic
Bruni, A., Ritter, E. & Schürmann, C., 1 Jul 2024, (E-pub ahead of print) Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II. Benzmüller, C., Heule, M. J. H. & Schmidt, R. A. (eds.). 1 ed. Springer, p. 61-77 17 p. (Lecture Notes in Computer Science; vol. 14740).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
3 Downloads (Pure)
2023
Categorical Proof-Theoretic Semantics
Pym, D., Ritter, E. & Robinson, E. P., 17 Feb 2023, arXiv.
Research output: Working paper/Preprint › Preprint
2018
A Malware-Tolerant, Self-Healing Industrial Control System Framework
Denzel, M., Ryan, M. & Ritter, E., 22 Jul 2018, ICT Systems Security and Privacy Protection: 32nd IFIP TC 11 International Conference, SEC 2017, Rome, Italy, May 29-31, 2017, Proceedings. De Capitani di Vimercati, S. & Martinelli, F. (eds.). Springer, p. 46-60 (IFIP Advances in Information and Communication Technology ; vol. 502).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Citation (Scopus)
A Protocol for Preventing Insider Attacks in Untrusted Infrastructure-as-a-Service Clouds.
Khan, I., Anwar, Z., Bordbar, B., Ritter, E. & Rehman, H., 1 Oct 2018, In: IEEE Transactions on Cloud Computing. 6, 4, p. 942-954
Research output: Contribution to journal › Article › peer-review

Open Access
File
3 Citations (Scopus)

453 Downloads (Pure)
2017
Analysis of privacy in mobile telephony systems
Arapinis, M., Mancini, L. I., Ritter, E. & Ryan, M. D., Oct 2017, In: International Journal of Information Security. 16, 5, p. 491–523 33 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
5 Citations (Scopus)

241 Downloads (Pure)
Stateful Applied Pi Calculus: Observational Equivalence and Labelled Bisimilarity
Arapinis, M., Liu, J., Ritter, E. & Ryan, M., 1 Jun 2017, In: Journal of Logical and Algebraic Methods in Programming. 89, p. 95-149 88 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
2 Citations (Scopus)

213 Downloads (Pure)
2014
A proof-theoretic analysis of the classical propositional matrix method
Pym, D., Ritter, E. & Robinson, E., 1 Feb 2014, In: Journal of Logic and Computation. 24, 1, p. 283-301 19 p.
Research output: Contribution to journal › Article › peer-review
Privacy through Pseudonymity in Mobile Telephony Systems
Arapinis, M., Mancini, L. I., Ritter, E. & Ryan, M., 23 Feb 2014, 21st Annual Network and Distributed System Security Symposium (NDSS'14). The Internet Society, p. 1-14 14 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
Provable security of a pairing-free one-pass authenticated key establishment protocol for wireless sensor networks
Yasmin, R., Ritter, E. & Wang, G., 1 Oct 2014, In: International Journal of Information Security. 13, 5, p. 453-465
Research output: Contribution to journal › Article › peer-review

6 Citations (Scopus)
Stateful Applied Pi Calculus
Arapinis, M., Liu, J., Ritter, E. & Ryan, M., 2014, Principles of Security and Trust : Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Abadi, M. & Kremer, S. (eds.). Springer, Vol. 8414. p. 22-41 Chapter 2. (Lecture Notes in Computer Science; vol. 8414).
Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution
9 Citations (Scopus)
StatVerif: Verification of stateful processes
Arapinis, M., Phillips, J., Ritter, E. & Ryan, M. D., 11 Jul 2014, In: Journal of Computer Security. 22, 5, p. 743-821 79 p.
Research output: Contribution to journal › Article › peer-review
9 Citations (Scopus)
2013

Model checking agent knowledge in dynamic access control policies
Koleini, M., Ritter, E. & Ryan, M., 2013, Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Piterman, N. & Smolka, SA. (eds.). Springer, p. 448-462 (Lecture Notes in Computer Science; vol. 7795).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

5 Citations (Scopus)
2012
An Authentication Framework for Wireless Sensor Networks Using Identity-Based Signatures: Implementation and Evaluation
Yasmin, R., Ritter, E. & Wang, G., 1 Jan 2012, In: IEICE Transactions on Information and Systems. E95D, 1, p. 126-133 8 p.
Research output: Contribution to journal › Article
13 Citations (Scopus)
New privacy issues in mobile telephony: fix and verification
Arapinis, M., Mancini, L., Ritter, E., Ryan, M., Golde, N., Redon, K. & Borgaonkar, R., 1 Jan 2012, p. 205-216.
Research output: Contribution to conference (unpublished) › Paper

82 Citations (Scopus)
2011

A Pairing-Free ID-based One-Pass Authenticated Key Establishment Protocol for Wireless Sensor Networks
Yasmin, R., Ritter, E. & Wang, G., 1 Jan 2011, p. 340-347. 8 p.
Research output: Contribution to conference (unpublished) › Paper

3 Citations (Scopus)
Formal Analysis of UMTS Privacy (e-print): Computing Research Repository (CoRR), arXiv:1109.2066v1
Arapinis, M., Mancini, L-I., Ritter, E. & Ryan, M., 9 Sept 2011
Research output: Other contribution
StatVerif: Verification of Stateful Processes
Arapinis, M., Ritter, E. & Ryan, M., 29 Jun 2011, Proceedings 2011 IEEE 24th Computer Security Foundations Symposium (CSF). Institute of Electrical and Electronics Engineers (IEEE), p. 33-47 15 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
37 Citations (Scopus)
True Trustworthy Elections: Remote Electronic Voting Using Trusted Computing
Smart, M., Ritter, E., Alcaraz Calero, JM., Yang, LT., Mármol, FG., Villalba, LJG., Li, A. & Wang, Y., 1 Sept 2011, p. 187-202. 16 p.
Research output: Contribution to conference (unpublished) › Paper

9 Citations (Scopus)
2010

Analysing Unlinkability and Anonymity Using the Applied Pi Calculus
Arapinis, M., Chothia, T., Ritter, E. & Ryan, M., 19 Jul 2010, p. 107-121. 15 p.
Research output: Contribution to conference (unpublished) › Paper

82 Citations (Scopus)
An Authentication Framework for Wireless Sensor Networks using Identity-Based Signatures
Yasmin, R., Ritter, E. & Wang, G., 1 Jun 2010, p. 882-889. 8 p.
Research output: Contribution to conference (unpublished) › Paper

39 Citations (Scopus)
The Trustworthy Elections: Remote Electronic Voting Using Trusted Computing
Smart, M. & Ritter, E., 1 Jan 2010, Not Known.
Research output: Book/Report › Commissioned report
2009

Remote Electronic Voting with Revocable Anonymity
Smart, M., Ritter, E., Prakash, A. & Sen Gupta, I., 1 Jan 2009, p. 39-54. 16 p.
Research output: Contribution to conference (unpublished) › Paper

4 Citations (Scopus)
Remote Electronic Voting with Revocable Anonymity
Smart, M. & Ritter, E., 1 Jan 2009, p. 39-54. 16 p.
Research output: Contribution to conference (unpublished) › Paper

4 Citations (Scopus)
Towards the Verification of Pervasive Systems, Proceedings of the Third International Workshop on Formal Methods for Interactive Systems (FMIS2009)
Arapinis, M., Calder, M., Denis, L., Fisher, M., Gray, P., Konour, S., Miller, A., Ritter, E., Ryan, M., Schewe, S., Unsworth, C. & Yasmin, R., 1 Nov 2009, p. 31-36. 6 p.
Research output: Contribution to conference (unpublished) › Paper
Untraceability in the applied pi-calculus
Arapinis, M., Chothia, T., Ritter, E. & Ryan, M., 9 Nov 2009, p. 1-6. 6 p.
Research output: Contribution to conference (unpublished) › Paper
2006

A Parigot-style Linear Lambda-calculus for Full Intuitionistic Linear Logic
de Paiva, V. & Ritter, E., 1 Jan 2006, In: Theory and Applications of Categories. 17, p. 30-48 19 p.
Research output: Contribution to journal › Article

4 Citations (Scopus)
2005

Analysis of a multi-party fair exchange protocol and formal proof of correctness in the strand space model
Kremer, S., Mukhamedov, A. & Ritter, E., 1 Jan 2005, p. 255-269. 15 p.
Research output: Contribution to conference (unpublished) › Paper

11 Citations (Scopus)
Relating categorical semantics for intuitionistic linear logic
Maietti, M., Mannegia, P., de Paiva, V. & Ritter, E., 1 Jan 2005, In: Applied Categorical Structures. 13, 1, p. 1-36 36 p.
Research output: Contribution to journal › Article
16 Citations (Scopus)
2004

CSR-04-3: A Semantics for Reductive Logic and Proof-search
Pym, D. & Ritter, E., 1 Jan 2004.
Research output: Working paper/Preprint › Working paper
Reductive Logic and Proof-search: Proof Theory - Oxford Logic Guides
Pym, D. & Ritter, E., 1 Jan 2004, Oxford University Press.
Research output: Book/Report › Book
2003

Technical Report CSR-03-14: Relating Categorical Semantics for Institutionistic Linear Logic
Maietti, ME., Maneggia, P., De Paiva, V. & Ritter, E., 1 Jan 2003.
Research output: Working paper/Preprint › Working paper
Technical Report CSR-03-15: A Parigot-style Linear λ-calculus for Full Instutionistic Linear Logic
De Paiva, V. & Ritter, E., 1 Jan 2003.
Research output: Working paper/Preprint › Working paper
2002

Normalization bounds in rudimentary linear lambda calculus
Maietti, M., Ritter, E. & Royer, JS., 1 Jan 2002, p. 16. 1 p.
Research output: Contribution to conference (unpublished) › Paper
2001

Categorical and Kripke Semantics for Constructive S4 Modal Logic
Alechina, N., Mendler, M., de Paiva, V., Ritter, E. & Fribourg, L., 1 Jan 2001, p. 292-307. 16 p.
Research output: Contribution to conference (unpublished) › Paper

49 Citations (Scopus)
Computer Science Technical Reports 2001: Categorical and Kripke Semantics for Constructive S4 Modal Logic
Alechina, N., Mendler, M., De Pavia, V. & Ritter, E., 1 Jan 2001.
Research output: Working paper/Preprint › Working paper
Computer Science Technical Reports 2001: Relating Categorical Semantics for Intuitionistic Linear Logic
Maietti, M., Maneggia, P., Paiva, V. & Ritter, E., 1 Jan 2001.
Research output: Working paper/Preprint › Working paper
On the Semantics of Classical Disjunction
Ritter, E. & Pym, D., 24 May 2001, In: Journal of Pure and Applied Algebra. 159, 2-3, p. 315-338 24 p.
Research output: Contribution to journal › Article
12 Citations (Scopus)

Eike Ritter

Research output

Search results