Number of items: 3.
Baelde, David and Delaune, Stephanie and Jacomme, Charlie and Koutsos, Adrien and Moreau, Solene
(2021)
An Interactive Prover for Protocol Verification in the Computational Model.
Calzavara, Stefano and Grishchenko, Ilya and Koutsos, Adrien and Maffei, Matteo
(2017)
A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications.
Calzavara, Stefano and Grishchenko, Ilya and Koutsos, Adrien and Maffei, Matteo
(2017)
A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications.
CoRR, abs/17.
This list was generated on Fri Nov 1 00:48:54 2024 CET.