Computational Soundness for Dalvik Bytecode

Explore a conference talk presented at the 23rd ACM Conference on Computer and Communications Security (CCS 2016) that delves into the computational soundness of Dalvik bytecode. Discover the research findings of Michael Backes and Robert Kuennemann from CISPA, Saarland University, and Esfandiar Mohammadi from ETH Zurich as they present their work on this crucial topic in mobile security. Learn about the challenges and implications of ensuring computational soundness in Android's Dalvik Virtual Machine, and gain insights into potential vulnerabilities and security measures for mobile applications. The 27-minute presentation, held at the prestigious Hofburg Palace in Vienna, Austria, offers a comprehensive overview of this important research area in computer and communications security.