A Formal Executable Semantics of the JavaCard Platform.

Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard P. Serpette, Simo Melo de Sousa

Browse the full ESOP paper archive.