| 2002 |
|---|
| 6 | | Pierre Bieber,
Jacques Cazin,
Pierre Girard,
Jean-Louis Lanet,
Virginie Wiels,
Guy Zanon:
Checking Secure Interactions of Smart Card Applets: Extended Version.
Journal of Computer Security 10(4): 369-398 (2002) |
| 2000 |
|---|
| 5 | EE | Pierre Bieber,
Jacques Cazin,
Pierre Girard,
Jean-Louis Lanet,
Virginie Wiels,
Guy Zanon:
Checking Secure Interactions of Smart Card Applets.
ESORICS 2000: 1-16 |
| 4 | EE | Pierre Bieber,
Jacques Cazin,
A. El Marouani,
Pierre Girard,
Jean-Louis Lanet,
Virginie Wiels,
Guy Zanon:
The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow.
Java Card Workshop 2000: 25-37 |
| 3 | EE | Pierre Bieber,
Jacques Cazin,
Virginie Wiels,
Guy Zanon,
Pierre Girard,
Jean-Louis Lanet:
Electronic Purse Applet Certification: extended abstract.
Electr. Notes Theor. Comput. Sci. 32: (2000) |
| 1998 |
|---|
| 2 | | Pierre Girard:
Secure Personalization Using Proxy Cryptography.
CARDIS 1998: 326-335 |
| 1993 |
|---|
| 1 | | Jérôme Gensel,
Pierre Girard,
Olivier Schmeltzer:
Integrating Constraints, Composite Objects and Tasks in a Knowledge Representation System.
ICTAI 1993: 127-130 |
