Secure Object Flow Analysis for Java Card.

Marc luard, Thomas P. Jensen

Browse the full CARDIS paper archive.