![]() | ![]() |
2004 | ||
---|---|---|
2 | Christophe Rippert, Damien Deville: On-the-Fly Metadata Stripping for Embedded Java Operating Systems. CARDIS 2004: 17-32 | |
2002 | ||
1 | EE | Damien Deville, Gilles Grimaud: Building an "Impossible" Verifier on a Java Card. WIESS 2002: 16-24 |
1 | Gilles Grimaud | [1] |
2 | Christophe Rippert | [2] |