Guy Zanon

According to our database, Guy Zanon authored at least 8 papers between 1980 and 2002.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2002

Checking Secure Interactions of Smart Card Applets: Extended Version.

Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon

J. Comput. Secur., 2002

2000

The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow.

Pierre Bieber, Jacques Cazin, A. El Marouani, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon

Proceedings of the Java on Smart Cards: Programming and Security, 2000

Checking Secure Interactions of Smart Card Applets.

Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon

Proceedings of the Computer Security, 2000

1999

Electronic Purse Applet Certification: extended abstract.

Pierre Bieber, Jacques Cazin, Virginie Wiels, Guy Zanon, Pierre Girard, Jean-Louis Lanet

Proceedings of the Workshop on Secure Architectures and Information Flow 1999, 1999

1987

SPRAC: A Software Engineering Environment.

Michel Lemoine, René Jacquart, Guy Zanon

Proceedings of the STACS 87, 1987

1982

An Extension to Linear Resolution with Selection Function.

Jack Minker, Guy Zanon

Inf. Process. Lett., 1982

LF: langage de spécification de fonctions et de types de données en logique.

René Jacquart, Michel Lemaître, Guy Zanon

Proceedings of the SPLT'82, 1982

1980

Programming Development with or without Coding.

Jack Foisseau, René Jacquart, Michel Lemaître, Michel Lemoine, J. C. Vignat, Guy Zanon

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980