What is it about?
When we analyze Android Applications and they contain cryptography, for example encryption, we treat them as any other function. But encryption can hide information! We show how to integrate cryptographic guarantees when modelling how an Android Application may behave, which helps make analysis tools better.
Featured Image
Photo by Petter Lagson on Unsplash
Read the Original
This page is a summary of: Computational Soundness for Dalvik Bytecode, October 2016, ACM (Association for Computing Machinery),
DOI: 10.1145/2976749.2978418.
You can read the full text:
Resources
Contributors
The following have contributed to this page
