Publications

A Formal Correspondence Between Offensive and Defensive Javacard Virtual Machines

AuthID
P-00G-0FC

Author(s)

Barthe, Gilles

Dufay, Guillaume

Jakubiec, Line

Sousa, SimaoMelode

Editor(s)

Agostino Cortesi

Document Type

Proceedings Paper

Year published

2002

Published

in Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 2294, Pages: 32-45

Conference

3Rd International Workshop on Verification, Model Checking, and Abstract Interpretation, Vmcai 2002, Date: 21 January 2002 through 22 January 2002, Location: Venice, Sponsors: Computer Science Dep. of the University Ca' Foscari;European Assoc. for Programming Languages and Systems (EAPLS);MIUR Project "Interpretazione Astratta,;Type Systems e Analisi Control-Flow";MIUR Project "Metodi Formali per la Sicurezza - MEFISTO"

Indexing