Pascal Berthomé, Karine Heydemann, X. Kauffmann-Tourkestansky, Jean-François Lalande. Attack model for verification of interval security properties for smart card C codes. In Anindya Banerjee, Deepak Garg, editors, Proceedings of the 2010 Workshop on Programming Languages and Analysis for Security, PLAS 2010, Toronto, ON, Canada, 10 June, 2010. pages 2, ACM, 2010. [doi]
Abstract is missing.