| 2002 |
|---|
| 8 | | 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 |
|---|
| 7 | 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 |
| 6 | 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 |
| 5 | 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) |
| 1987 |
|---|
| 4 | | Michel Lemoine,
René Jacquart,
Guy Zanon:
SPRAC: A Software Engineering Environment.
STACS 1987: 477-478 |
| 1982 |
|---|
| 3 | | René Jacquart,
Michel Lemaître,
Guy Zanon:
LF: langage de spécification de fonctions et de types de données en logique.
SPLT 1982 |
| 2 | | Jack Minker,
Guy Zanon:
An Extension to Linear Resolution with Selection Function.
Inf. Process. Lett. 14(4): 191-194 (1982) |
| 1980 |
|---|
| 1 | | Jack Foisseau,
René Jacquart,
Michel Lemaître,
Michel Lemoine,
J. C. Vignat,
Guy Zanon:
Programming Development with or without Coding.
IFIP Congress 1980: 327-330 |
