Simon Kramer

Available identifiers

zbMath Open kramer.simonMaRDI QIDQ276033

List of research outcomes

Publication	Date of Publication	Type
Logic of intuitionistic interactive proofs (formal theory of perfect knowledge transfer)	2017-07-12	Paper
Logic of negation-complete interactive proofs (formal theory of epistemic deciders)	2016-04-26	Paper
Logic of non-monotonic interactive proofs	2015-01-06	Paper
Quantum Logic as Classical Logic	2014-06-13	Paper
Computer-aided decision-making with trust relations and trust domains (cryptographic applications)	2014-04-01	Paper
A Logic of Interactive Proofs (Formal Theory of Knowledge Transfer)	2012-01-17	Paper
A quantitative doxastic logic for probabilistic processes and applications to information-hiding	2010-03-10	Paper
Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography	2008-11-06	Paper

Research outcomes over time

This page was built for person: Simon Kramer