Simon Kramer

25 papers Journal 20Unranked 5
YearRankTypeTitle / Venue / Authors
2017 J jnl
A Modularity Bug in Java 8.
CoRR
Simon Kramer
2015 J jnl
Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer).
ACM Trans. Comput. Log.
Simon Kramer
2014 J jnl
A Galois-Connection between Cattell's and Szondi's Personality Profiles.
CoRR
Simon Kramer
2014 J jnl
A Galois-Connection between Myers-Briggs' Type Indicators and Szondi's Personality Profiles.
CoRR
Simon Kramer
2014 J jnl
Computer-Aided Discovery and Categorisation of Personality Axioms.
CoRR
Simon Kramer
2014 J jnl
Computer-Aided Discovery and Categorisation of Personality Axioms.
FLAP
Simon Kramer
2014 J jnl
Computer-aided decision-making with trust relations and trust domains (cryptographic applications).
J. Log. Comput.
Simon Kramer, Rajeev Goré, Eiji Okamoto
2014 J jnl
Quantum Logic as Classical Logic.
CoRR
Simon Kramer
2013 J jnl
Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer).
CoRR
Simon Kramer
2013 — conf
Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders).
IMLA@UNILOG
Simon Kramer
2013 — conf
Logic of Non-monotonic Interactive Proofs.
ICLA
Simon Kramer
2012 J jnl
A Logic of Interactive Proofs
CoRR
Simon Kramer
2012 J jnl
Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders)
CoRR
Simon Kramer
2012 J jnl
Logic of Non-Monotonic Interactive Proofs (Formal Theory of Temporary Knowledge Transfer)
CoRR
Simon Kramer
2012 J jnl
Parametric Constructive Kripke-Semantics for Standard Multi-Agent Belief and Knowledge (Knowledge As Unbiased Belief)
CoRR
Simon Kramer, Joshua Sack
2011 — conf
A modular multi-modal specification of real-timed, end-to-end voter-verifiable voting systems.
REVOTE
Simon Kramer, Peter Y. A. Ryan
2011 J jnl
Computer-Aided Decision-Making for Formal Relations and Domains of Trust, Distrust, and Mistrust with Cryptographic Applications.
IACR Cryptol. ePrint Arch.
Simon Kramer, Rajeev Goré, Eiji Okamoto
2010 J jnl
A general definition of malware.
J. Comput. Virol.
Simon Kramer, Julian C. Bradfield
2010 J jnl
Formal definitions and complexity results for trust relations and trust domains fit for TTPs, the web of trust, PKIs, and ID-based cryptography.
SIGACT News
Simon Kramer, Rajeev Goré, Eiji Okamoto
2009 J jnl
A quantitative doxastic logic for probabilistic processes and applications to information-hiding.
J. Appl. Non Class. Logics
Simon Kramer, Catuscia Palamidessi, Roberto Segala, Andrea Turrini, Christelle Braun
2008 J jnl
Cryptographic protocol logic: Satisfaction for (timed) Dolev-Yao cryptography.
J. Log. Algebraic Methods Program.
Simon Kramer
2007 J jnl
Logical concepts in cryptography.
SIGACT News
Simon Kramer
2006 J jnl
Logical Concepts in Cryptography.
IACR Cryptol. ePrint Arch.
Simon Kramer
2006 — conf
Timed Calculus of Cryptographic Communication.
Formal Aspects in Security and Trust
Johannes Borgström, Olga Grinchtein, Simon Kramer
2000 — conf
MIERA: Method for Inter-Enterprise Role-Based Authorization.
EC-Web
Heiko Ludwig, Luke O'Connor, Simon Kramer