MIERA: Method for Inter-Enterprise Role-Based Authorization. - Heiko Ludwig; Luke O'Connor; Simon Kramer 001 (EC-Web, 2000)

Timed Calculus of Cryptographic Communication. - Johannes Borgström; Olga Grinchtein; Simon Kramer 001 (Formal Aspects in Security and Trust, 2006)

Logical concepts in cryptography. - Simon Kramer 001 (SIGACT News, 2007)

Cryptographic protocol logic: Satisfaction for (timed) Dolev-Yao cryptography. - Simon Kramer 001 (J. Log. Algebraic Methods Program., 2008)

A quantitative doxastic logic for probabilistic processes and applications to information-hiding. - Simon Kramer 001; Catuscia Palamidessi; Roberto Segala; Andrea Turrini; Christelle Braun (J. Appl. Non Class. Logics, 2009)

Formal definitions and complexity results for trust relations and trust domains fit for TTPs, the web of trust, PKIs, and ID-based cryptography. - Simon Kramer 001; Rajeev Goré; Eiji Okamoto (SIGACT News, 2010)

A general definition of malware. - Simon Kramer 001; Julian C. Bradfield (J. Comput. Virol., 2010)

A modular multi-modal specification of real-timed, end-to-end voter-verifiable voting systems. - Simon Kramer 001; Peter Y. A. Ryan (REVOTE, 2011)

Computer-Aided Decision-Making for Formal Relations and Domains of Trust, Distrust, and Mistrust with Cryptographic Applications. - Simon Kramer 001; Rajeev Goré; Eiji Okamoto (IACR Cryptol. ePrint Arch., 2011)

A Logic of Interactive Proofs - Simon Kramer 001 (CoRR, 2012)

Logic of Non-Monotonic Interactive Proofs (Formal Theory of Temporary Knowledge Transfer) - Simon Kramer 001 (CoRR, 2012)

Parametric Constructive Kripke-Semantics for Standard Multi-Agent Belief and Knowledge (Knowledge As Unbiased Belief) - Simon Kramer 001; Joshua Sack (CoRR, 2012)

Logic of Non-monotonic Interactive Proofs. - Simon Kramer 001 (ICLA, 2013)

Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders). - Simon Kramer 001 (IMLA@UNILOG, 2013)

A Galois-Connection between Myers-Briggs' Type Indicators and Szondi's Personality Profiles. - Simon Kramer 001 (CoRR, 2014)

A Galois-Connection between Cattell's and Szondi's Personality Profiles. - Simon Kramer 001 (CoRR, 2014)

Quantum Logic as Classical Logic. - Simon Kramer 001 (CoRR, 2014)

Computer-Aided Discovery and Categorisation of Personality Axioms. - Simon Kramer 001 (FLAP, 2014)

Computer-aided decision-making with trust relations and trust domains (cryptographic applications). - Simon Kramer 001; Rajeev Goré; Eiji Okamoto (J. Log. Comput., 2014)

Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer). - Simon Kramer 001 (ACM Trans. Comput. Log., 2015)

A Modularity Bug in Java 8. - Simon Kramer 001 (CoRR, 2017)