v1v2 (latest)

Computational Soundness for Dalvik Bytecode

15 August 2016

Michael Backes

Robert Künnemann

Papers citing "Computational Soundness for Dalvik Bytecode"

4 / 4 papers shown

Title
Symbolic Parallel Composition for Multi-language Protocol Verification Faezeh Nasrabadi Robert Künnemann Hamed Nemati 44 0 0 09 Apr 2025
Computational Soundness Results for Stateful Applied pi Calculus J. Shao Yu Qin D. Feng 33 2 0 04 Jan 2016
The Foundational Cryptography Framework Adam Petcher Greg Morrisett LRM 54 100 0 14 Oct 2014
Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution Mihhail Aizatulin Andrew D. Gordon Jan Jurjens 77 67 0 06 Jul 2011