Back
  1. Home
  2. Profile of Simon KRAMER (Unilu)
Profil

KRAMER Simon

Main Referenced Co-authors
Goré, Rajeev (1)
Okamoto, Eiji (1)
RYAN, Peter Y A  (1)
Sack, Joshua (1)
Main Referenced Keywords
applied modal logic (2); Access Control (1); accountability (1); accountability (including auditability) (1); agents as proof- and signature-checkers (1);
Main Referenced Disciplines
Computer science (8)

Publications (total 8)

The most downloaded
3 downloads
KRAMER, S. (2013). Logic of Non-Monotonic Interactive Proofs. Lecture Notes in Computer Science, 7750, 173-184. doi:10.1007/978-3-642-36039-8_16 https://hdl.handle.net/10993/25953

The most cited

6 citations (OpenAlex)

KRAMER, S., & RYAN, P. (2011). A Modular Multi-Modal Specification of Real-Timed, End-To-End Voter-Verifiable Voting Systems. In 2011 International Workshop on Requirements Engineering for Electronic Voting Systems (REVOTE) (pp. 9 - 21). IEEE. doi:10.1109/REVOTE.2011.6045911 https://hdl.handle.net/10993/25976

KRAMER, S. (2013). Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders). In Proc.\ 6th Workshop on Intuitionistic Modal Logic and Applications.
Peer reviewed

KRAMER, S. (2013). Logic of Non-Monotonic Interactive Proofs. Lecture Notes in Computer Science, 7750, 173-184. doi:10.1007/978-3-642-36039-8_16
Peer reviewed

KRAMER, S. (2012). A Logic of Interactive Proofs. University of Luxembourg. https://orbilu.uni.lu/handle/10993/25956

KRAMER, S. (2012). Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders). University of Luxembourg. https://orbilu.uni.lu/handle/10993/25957

KRAMER, S. (2012). Logic of Non-Monotonic Interactive Proofs (Formal Theory of Temporary Knowledge Transfer). University of Luxembourg. https://orbilu.uni.lu/handle/10993/25959

KRAMER, S., & Sack, J. (2012). Parametric Constructive Kripke-Semantics for Standard Multi-Agent Belief and Knowledge (Knowledge As Unbiased Belief). University of Luxembourg. https://orbilu.uni.lu/handle/10993/25960

KRAMER, S., Goré, R., & Okamoto, E. (2012). Computer-Aided Decision-Making with Trust Relations and Trust Domains (Cryptographic Applications). Journal of Logic and Computation. doi:10.1093/logcom/exs013
Peer reviewed

KRAMER, S., & RYAN, P. (2011). A Modular Multi-Modal Specification of Real-Timed, End-To-End Voter-Verifiable Voting Systems. In 2011 International Workshop on Requirements Engineering for Electronic Voting Systems (REVOTE) (pp. 9 - 21). IEEE. doi:10.1109/REVOTE.2011.6045911
Peer reviewed

Contact ORBilu