On-Device Control Flow Verification for Java Programs

Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl. On-Device Control Flow Verification for Java Programs. In Úlfar Erlingsson, Roel Wieringa, Nicola Zannone, editors, Engineering Secure Software and Systems - Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings. Volume 6542 of Lecture Notes in Computer Science, pages 43-57, Springer, 2011. [doi]

Abstract

Abstract is missing.