The following pages link to Simon Kramer (Q276033):
Displaying 6 items.
- Logic of negation-complete interactive proofs (formal theory of epistemic deciders) (Q276034) (← links)
- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography (Q953531) (← links)
- Logic of Non-monotonic Interactive Proofs (Q2936240) (← links)
- A quantitative doxastic logic for probabilistic processes and applications to information-hiding (Q5188177) (← links)
- Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer) (Q5277900) (← links)
- Computer-aided decision-making with trust relations and trust domains (cryptographic applications) (Q5406122) (← links)
