Léopold Ouairy, Hélène Le Bouder, Jean-Louis Lanet. Confiance: detecting vulnerabilities in Java Card applets. In Melanie Volkamer, Christian Wressnegger, editors, ARES 2020: The 15th International Conference on Availability, Reliability and Security, Virtual Event, Ireland, August 25-28, 2020. ACM, 2020. [doi]
Abstract is missing.