1 citations · 1 across the 2 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.CR2017
A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications
Stefano Calzavara, Ilya Grishchenko, Adrien Koutsos +1
The present paper proposes the first static analysis for Android applications which is both flow-sensitive on the heap abstraction and provably sound with respect to a rich formal…
cs.CR2017
Formal Computational Unlinkability Proofs of RFID Protocols
Hubert Comon, Adrien Koutsos
We set up a framework for the formal proofs of RFID protocols in the computational model. We rely on the so-called computationally complete symbolic attacker model. Our contributio…