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

5 citations (Scopus®)

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). Logic of Non-Monotonic Interactive Proofs (Formal Theory of Temporary Knowledge Transfer). University of Luxembourg.

Kramer, S., & Sack, J. (2012). Parametric Constructive Kripke-Semantics for Standard Multi-Agent Belief and Knowledge (Knowledge As Unbiased Belief). University of Luxembourg.

Kramer, S. (2012). A Logic of Interactive Proofs. University of Luxembourg.

Kramer, S. (2012). Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders). University of Luxembourg.

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