Guy Zanon

Publication Activity (10 Years)

Years Active: 1980-2002
Publications (10 Years): 0

Publications

Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon
Checking Secure Interactions of Smart Card Applets: Extended Version. J. Comput. Secur. 10 (4) (2002)
Pierre Bieber, Jacques Cazin, Virginie Wiels, Guy Zanon, Pierre Girard, Jean-Louis Lanet
Electronic Purse Applet Certification: extended abstract. Electron. Notes Theor. Comput. Sci. 32 (2000)
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)
Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon
Checking Secure Interactions of Smart Card Applets. ESORICS (2000)
Michel Lemoine, René Jacquart, Guy Zanon
SPRAC: A Software Engineering Environment. STACS (1987)
René Jacquart, Michel Lemaître, Guy Zanon
LF: langage de spécification de fonctions et de types de données en logique. SPLT (1982)
Jack Minker, Guy Zanon
An Extension to Linear Resolution with Selection Function. Inf. Process. Lett. 14 (4) (1982)
Jack Foisseau, René Jacquart, Michel Lemaître, Michel Lemoine, J. C. Vignat, Guy Zanon
Programming Development with or without Coding. IFIP Congress (1980)