Eike Ritter - RankMe

47 papers A* 4A 4B 6C 2Misc 2Journal 18Unranked 10

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