Search Results for author:
Found 3 papers, 0 papers with code
Computational Soundness for Dalvik Bytecode
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
Towards Automated Network Mitigation Analysis (extended)
Penetration testing is a well-established practical concept for the identification of potentially exploitable security weaknesses and an important component of a security audit.
Sufficient and necessary causation are dual
Causation has been the issue of philosophic debate since Hippocrates.
