Author of the publication

An Operational Semantics of the Java Card Firewall.

, , and . E-smart, volume 2140 of Lecture Notes in Computer Science, page 95-110. Springer, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Impact of geometry-preserving encryption on rendering time., , and . ICIP, page 4787-4791. IEEE, (2014)Secure Object Flow Analysis for Java Card., and . CARDIS, page 97-110. USENIX, (2002)Validation du contrôle d'accès dans des cartes à puce multiapplications., and . Technique et Science Informatiques, 23 (3): 323-357 (2004)SmartPro: A Smart Card Based Digital Content Protection for Professional Workflow., , , and . CARDIS, volume 5189 of Lecture Notes in Computer Science, page 255-266. Springer, (2008)