Dr Eike Ritter

School of Computer Science
Senior Lecturer in Computer Science

Contact details

Email: e.ritter@cs.bham.ac.uk

Address: School of Computer Science
黑料吃瓜网
Edgbaston
Birmingham
B15 2TT
UK

Dr Eike Ritter is a Senior Lecturer for the School of Computer Science, at the 黑料吃瓜网. He is also a member of the group and group.

For more information, please see Eike's .

Research

My 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.

Publications

Recent publications

Article

Pym, D, Ritter, E & Robinson, EP 2024, '', Studia Logica.

Khan, I, Anwar, Z, Bordbar, B, Ritter, E & Rehman, H 2018, '', IEEE Transactions on Cloud Computing, vol. 6, no. 4, pp. 942-954.

Arapinis, M, Mancini, LI, Ritter, E & Ryan, MD 2017, '', International Journal of Information Security, vol. 16, no. 5, pp. 491鈥�523.

Arapinis, M, Liu, J, Ritter, E & Ryan, M 2017, '', Journal of Logical and Algebraic Methods in Programming, vol. 89, pp. 95-149.

Pym, D, Ritter, E & Robinson, E 2014, '', Journal of Logic and Computation, vol. 24, no. 1, pp. 283-301.

Yasmin, R, Ritter, E & Wang, G 2014, '', International Journal of Information Security, vol. 13, no. 5, pp. 453-465.

Arapinis, M, Phillips, J, Ritter, E & Ryan, MD 2014, '', Journal of Computer Security, vol. 22, no. 5, pp. 743-821.

Yasmin, R, Ritter, E & Wang, G 2012, '', IEICE Transactions on Information and Systems, vol. E95D, no. 1, pp. 126-133.

Conference contribution

Bruni, A, Ritter, E & Sch眉rmann, C 2024, . in C Benzm眉ller, MJH Heule & RA Schmidt (eds), Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3鈥�6, 2024, Proceedings, Part II. 1 edn, Lecture Notes in Computer Science, vol. 14740, Springer, pp. 61-77, 12th International Joint Conference on Automated Reasoning, IJCAR 2024, Nancy, France, 1/07/24.

Denzel, M, Ryan, M & Ritter, E 2018, . in S De Capitani di Vimercati & F Martinelli (eds), ICT Systems Security and Privacy Protection: 32nd IFIP TC 11 International Conference, SEC 2017, Rome, Italy, May 29-31, 2017, Proceedings. IFIP Advances in Information and Communication Technology , vol. 502, Springer, pp. 46-60, 32nd International Conference on ICT Systems Security and Privacy Protection (IFIP SEC 2017), Rome, Italy, 29/05/17.

Arapinis, M, Mancini, LI, Ritter, E & Ryan, M 2014, . in 21st Annual Network and Distributed System Security Symposium (NDSS'14). The Internet Society, pp. 1-14, NDSS Symposium 2014, San Diego, California, United States, 23/02/14.

Koleini, M, Ritter, E & Ryan, M 2013, . in N Piterman & SA Smolka (eds), 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. Lecture Notes in Computer Science, vol. 7795, Springer, pp. 448-462.

Other chapter contribution

Arapinis, M, Liu, J, Ritter, E & Ryan, M 2014, . in M Abadi & S Kremer (eds), 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. vol. 8414, Chapter 2, Lecture Notes in Computer Science, vol. 8414, Springer, pp. 22-41.

Paper

Arapinis, M, Mancini, L, Ritter, E, Ryan, M, Golde, N, Redon, K & Borgaonkar, R 2012, '', Paper presented at 19th ACM Conference on Computer and Communications Security - CCS 2012, Raleigh, NC, United States, 16/10/12 - 18/10/12 pp. 205-216.

Preprint

Pym, D, Ritter, E & Robinson, EP 2023 '' arXiv.