Attack model for verification of interval security properties for smart card C codes.

Pascal Berthom, Karine Heydemann, Xavier Kauffmann-Tourkestansky, Jean-Franois Lalande

Browse the full PLDI paper archive.