Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
Claim page
Robert Künnemann
Follow
Activity
Upvotes
Folders
Articles
16
SpecMon: Modular Black-Box Runtime Monitoring of Security Protocols
4 September 2024 by
Kevin Morio
and
Robert Künnemann
Cryptography and Security
Computationally Bounded Robust Compilation and Universally Composable Security
26 January 2024 by
Robert Künnemann
and
others
at
University of Wisconsin-Madison
Cryptography and Security
,
Programming Languages
CryptoBap: A Binary Analysis Platform for Cryptographic Protocols
18 September 2023 by
Faezeh Nasrabadi
and
others
Cryptography and Security
Automated Security Analysis of Exposure Notification Systems
2 October 2022 by
Kevin Morio
and
others
Cryptography and Security
Sapic+: protocol verifiers of the world, unite!
14 June 2022 by
Vincent Cheval
and
others
Cryptography and Security
,
Cryptographic Protocols
Verifying Accountability for Unbounded Sets of Participants
20 May 2021 by
Kevin Morio
and
Robert Künnemann
Cryptography and Security
On the Soundness of Infrastructure Adversaries
14 May 2021 by
Alexander Dax
and
Robert Künnemann
Cryptography and Security
Accountability in Security Protocols
10 September 2020 by
Robert Künnemann
and
others
Cryptography and Security
,
Cryptology Foundations
Universal Composability is Secure Compilation
17 July 2020 by
Marco Patrignani
and
others
Programming Languages
,
Cryptography and Security
Causality & Control Flow
31 October 2019 by
Robert Künnemann
and
others
Logic in Computer Science
How to wrap it up - A formally verified proposal for the use of authenticated wrapping in PKCS\#11
25 June 2019 by
Alexander Dax
and
others
Cryptography and Security
,
Cryptographic Protocols
Automated Verification of Accountability in Security Protocols
7 May 2019 by
Robert Künnemann
and
others
Cryptography and Security
Towards Automated Network Mitigation Analysis (extended)
4 January 2019 by
Patrick Speicher
and
others
Cryptography and Security
,
Artificial Intelligence
Sufficient and necessary causation are dual
25 October 2017 by
Robert Künnemann
Artificial Intelligence
,
Logic in Computer Science
Computational Soundness for Dalvik Bytecode
25 October 2016 by
Michael Backes
and
others
Cryptography and Security
Automated analysis of security protocols with global state
12 May 2014 by
Steve Kremer
and
Robert Künnemann
Cryptography and Security
Universally Composable Key-Management
10 April 2013 by
Steve Kremer
and
others
Cryptography and Security
,
Cryptology
This is an AI-generated summary
Key points
Topics
Cryptography and Security
Cryptology
Programming Languages
Cryptographic Protocols
Logic in Computer Science
Artificial Intelligence
Cryptology Foundations
