Pierre Girard

13 papers A 1B 1C 2Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2010 C conf
A new payment protocol over the Internet.
CRiSIS
Pierre Girard, Karine Villegas, Jean-Louis Lanet, Aude Plateaux
2004 J jnl
Mobile Terminal Security.
IACR Cryptol. ePrint Arch.
Olivier Benoît, Nora Dabbous, Laurent Gauteron, Pierre Girard, Helena Handschuh, David Naccache, Stéphane Socié, Claire Whelan
2003 J jnl
Software attacks on smart cards.
Inf. Secur. Tech. Rep.
Pierre Girard, Jean-Luc Giraud
2002 J jnl
Checking Secure Interactions of Smart Card Applets: Extended Version.
J. Comput. Secur.
Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon
2000 A conf
Checking Secure Interactions of Smart Card Applets.
ESORICS
Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon
2000 — conf
The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow.
Java Card Workshop
Pierre Bieber, Jacques Cazin, A. El Marouani, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon
1999 — conf
Electronic Purse Applet Certification: extended abstract.
Workshop on Secure Architectures and Information Flow
Pierre Bieber, Jacques Cazin, Virginie Wiels, Guy Zanon, Pierre Girard, Jean-Louis Lanet
1999 J jnl
New security issues raised by open cards.
Inf. Secur. Tech. Rep.
Pierre Girard, Jean-Louis Lanet
1999 — conf
Which Security Policy for Multiplication Smart Cards?
Smartcard
Pierre Girard
1998 C conf
Secure Personalization Using Proxy Cryptography.
CARDIS
Pierre Girard
1997 J jnl
Instantaneous Power Peak Reduction and Train Scheduling Desynchronization in Subway Systems.
Transp. Sci.
Brunilde Sansò, Pierre Girard
1995 — —
Construction hypothétique d'objets complexes. (Hypothetical construction of complex objects).
Pierre Girard
1993 B conf
Integrating Constraints, Composite Objects and Tasks in a Knowledge Representation System.
ICTAI
Jérôme Gensel, Pierre Girard, Olivier Schmeltzer