Travelled to:
1 × Cyprus
Collaborated with:
R.Barbuti
Talks about:
java (2) bytecod (1) verif (1) card (1)
Person: Stefano Cataudella
DBLP: Cataudella:Stefano
Contributed to:
Wrote 1 papers:
- SAC-2004-BarbutiC #bytecode #java #verification
- Java bytecode verification on Java cards (RB, SC), pp. 431–438.