Research output per year
Research output per year
Fingerprint
Dive into the research topics where Eike Ritter is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Categorical Proof-theoretic Semantics
Pym, D., Ritter, E. & Robinson, E. P., 31 Jan 2024, (Accepted/In press) In: Studia Logica.Research output: Contribution to journal › Article › peer-review
Open Access -
Categorical Proof-Theoretic Semantics
Pym, D., Ritter, E. & Robinson, E. P., 17 Feb 2023, arXiv.Research output: Working paper/Preprint › Preprint
-
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-954Research output: Contribution to journal › Article › peer-review
Open AccessFile3 Citations (Scopus)425 Downloads (Pure) -
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 AccessFile5 Citations (Scopus)228 Downloads (Pure)
Projects
- 5 Finished
-
EPSRC : Midlands Graduate School in the Foundations of Computing Science 2010
Engineering & Physical Science Research Council
18/08/10 → 17/08/11
Project: Research Councils
-
Verifying Interoperability requirements in Pervasive Systems
Engineering & Physical Science Research Council
8/10/08 → 7/03/13
Project: Research Councils
-
Midlands Graduate School in Foundations of Computer Science 2007- 2009
Engineering & Physical Science Research Council
1/03/07 → 30/06/09
Project: Research Councils
-
Franco-British Joint Research Programme 1998
De Paiva, V. & Ritter, E.
1/02/98 → 31/01/01
Project: Other Government Departments
-
XSLAM - The Explicit Substitution Linear Abstract Machine
Ritter, E. & De Paiva, V.
Engineering & Physical Science Research Council
1/01/97 → 31/03/00
Project: Research Councils