Search Results for author: Robert Künnemann

Found 3 papers, 0 papers with code

Sufficient and necessary causation are dual

no code implementations25 Oct 2017 Robert Künnemann

Causation has been the issue of philosophic debate since Hippocrates.

Towards Automated Network Mitigation Analysis (extended)

no code implementations15 May 2017 Patrick Speicher, Marcel Steinmetz, Jörg Hoffmann, Michael Backes, Robert Künnemann

Penetration testing is a well-established practical concept for the identification of potentially exploitable security weaknesses and an important component of a security audit.

Computational Soundness for Dalvik Bytecode

no code implementations15 Aug 2016 Michael Backes, Robert Künnemann, Esfandiar Mohammadi

Second, we show that our abstractions are faithful by providing the first computational soundness result for Dalvik bytecode, i. e., the absence of attacks against our symbolically abstracted program entails the absence of any attacks against a suitable cryptographic program realization.

Cryptography and Security

Cannot find the paper you are looking for? You can Submit a new open access paper.