Biblio

Export 2 results:
Filters: Author is Damien Deville  [Clear All Filters]
2002
Deville D, Grimaud G.  2002.  Building an "Impossible" Verifier on a Java Card. 2nd Workshop on Industrial Experiences with Systems Software (WIESS 02).