Eike Ritter
Eike Ritter
Senior Lecturer in Computer Science, University of Birmingham, UK
Verified email at cs.bham.ac.uk - Homepage
Title
Cited by
Cited by
Year
New privacy issues in mobile telephony: fix and verification
M Arapinis, L Mancini, E Ritter, M Ryan, N Golde, K Redon, R Borgaonkar
Proceedings of the 2012 ACM conference on Computer and communications …, 2012
1832012
Analysing unlinkability and anonymity using the applied pi calculus
M Arapinis, T Chothia, E Ritter, M Ryan
2010 23rd IEEE computer security foundations symposium, 107-121, 2010
1592010
Categorical and Kripke semantics for constructive S4 modal logic
N Alechina, M Mendler, V De Paiva, E Ritter
International Workshop on Computer Science Logic, 292-307, 2001
1212001
An authentication framework for wireless sensor networks using identity-based signatures
R Yasmin, E Ritter, G Wang
2010 10th IEEE International Conference on Computer and Information …, 2010
882010
Statverif: Verification of stateful processes
M Arapinis, J Phillips, E Ritter, MD Ryan
Journal of Computer Security 22 (5), 743-821, 2014
872014
Extended Curry-Howard correspondence for a basic constructive modal logic
G Bellin, V De Paiva, E Ritter
Proceedings of methods for modalities 2, 2001
812001
Privacy through Pseudonymity in Mobile Telephony Systems.
M Arapinis, LI Mancini, E Ritter, M Ryan
NDSS, 2014
772014
On the semantics of classical disjunction
D Pym, E Ritter
Journal of Pure and Applied Algebra 159 (2-3), 315-338, 2001
452001
Categorical abstract machines for higher-order typed λ-calculi
E Ritter
Theoretical Computer Science 136 (1), 125-162, 1994
381994
Analysis of a multi-party fair exchange protocol and formal proof of correctness in the strand space model
A Mukhamedov, S Kremer, E Ritter
International Conference on Financial Cryptography and Data Security, 255-269, 2005
332005
Relating categorical semantics for intuitionistic linear logic
ME Maietti, P Maneggia, V De Paiva, E Ritter
Applied categorical structures 13 (1), 1-36, 2005
332005
Linear explicit substitutions
N Ghani, V De Paiva, E Ritter
Logic Journal of IGPL 8 (1), 7-31, 2000
272000
Explicit substitutitions for constructive necessity
N Ghani, V De Paiva, E Ritter
International Colloquium on Automata, Languages, and Programming, 743-754, 1998
251998
Reductive logic and proof-search: proof theory, semantics, and control
DJ Pym, E Ritter
Oxford University Press on Demand, 2004
242004
On the intuitionistic force of classical search
E Ritter, D Pym, L Wallen
Theoretical Computer Science 232 (1-2), 299-333, 2000
232000
True trustworthy elections: remote electronic voting using trusted computing
M Smart, E Ritter
International Conference on Autonomic and Trusted Computing, 187-202, 2011
222011
Towards the verification of pervasive systems
M Arapinis, M Calder, L Dennis, M Fisher, P Gray, S Konur, A Miller, ...
Electronic Communications of the EASST 22, 2010
202010
Proof-terms for classical and intuitionistic resolution
E Ritter, D Pym, L Wallen
Journal of logic and computation 10 (2), 173-207, 2000
202000
Characterising explicit substitutions which preserve termination
E Ritter
International Conference on Typed Lambda Calculi and Applications, 325-339, 1999
201999
Basic constructive modality
V de Paiva, E Ritter
Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the …, 2011
192011
The system can't perform the operation now. Try again later.
Articles 1–20