Simon Kramer

According to our database, Simon Kramer authored at least 21 papers between 2000 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2017

A Modularity Bug in Java 8.

Simon Kramer

CoRR, 2017

2015

Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer).

Simon Kramer

ACM Trans. Comput. Log., 2015

2014

Computer-aided decision-making with trust relations and trust domains (cryptographic applications).

Simon Kramer, Rajeev Goré, Eiji Okamoto

J. Log. Comput., 2014

Computer-Aided Discovery and Categorisation of Personality Axioms.

Simon Kramer

FLAP, 2014

Quantum Logic as Classical Logic.

Simon Kramer

CoRR, 2014

A Galois-Connection between Cattell's and Szondi's Personality Profiles.

Simon Kramer

CoRR, 2014

A Galois-Connection between Myers-Briggs' Type Indicators and Szondi's Personality Profiles.

Simon Kramer

CoRR, 2014

2013

Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders).

Simon Kramer

Proceedings of the 6th Workshop on Intuitionistic Modal Logic and Applications, 2013

Logic of Non-monotonic Interactive Proofs.

Simon Kramer

Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013

2012

Parametric Constructive Kripke-Semantics for Standard Multi-Agent Belief and Knowledge (Knowledge As Unbiased Belief)

Simon Kramer, Joshua Sack

CoRR, 2012

Logic of Non-Monotonic Interactive Proofs (Formal Theory of Temporary Knowledge Transfer)

Simon Kramer

CoRR, 2012

A Logic of Interactive Proofs

Simon Kramer

CoRR, 2012

2011

Computer-Aided Decision-Making for Formal Relations and Domains of Trust, Distrust, and Mistrust with Cryptographic Applications.

Simon Kramer, Rajeev Goré, Eiji Okamoto

IACR Cryptol. ePrint Arch., 2011

A modular multi-modal specification of real-timed, end-to-end voter-verifiable voting systems.

Simon Kramer, Peter Y. A. Ryan

Proceedings of the 2011 International Workshop on Requirements Engineering for Electronic Voting Systems, 2011

2010

A general definition of malware.

Simon Kramer, Julian C. Bradfield

J. Comput. Virol., 2010

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, Rajeev Goré, Eiji Okamoto

SIGACT News, 2010

2009

A quantitative doxastic logic for probabilistic processes and applications to information-hiding.

Simon Kramer, Catuscia Palamidessi, Roberto Segala, Andrea Turrini, Christelle Braun

J. Appl. Non Class. Logics, 2009

2008

Cryptographic protocol logic: Satisfaction for (timed) Dolev-Yao cryptography.

Simon Kramer

J. Log. Algebraic Methods Program., 2008

2007

Logical concepts in cryptography.

Simon Kramer

SIGACT News, 2007

2006

Timed Calculus of Cryptographic Communication.

Johannes Borgström, Olga Grinchtein, Simon Kramer

Proceedings of the Formal Aspects in Security and Trust, Fourth International Workshop, 2006

2000

MIERA: Method for Inter-Enterprise Role-Based Authorization.

Heiko Ludwig, Luke O'Connor, Simon Kramer

Proceedings of the Electronic Commerce and Web Technologies, 2000