Integrating Constraints, Composite Objects and Tasks in a Knowledge Representation System. - Jérôme Gensel; Pierre Girard; Olivier Schmeltzer (ICTAI, 1993)

Construction hypothétique d'objets complexes. (Hypothetical construction of complex objects). - Pierre Girard (1995)

Instantaneous Power Peak Reduction and Train Scheduling Desynchronization in Subway Systems. - Brunilde Sansò; Pierre Girard (Transp. Sci., 1997)

Secure Personalization Using Proxy Cryptography. - Pierre Girard (CARDIS, 1998)

Which Security Policy for Multiplication Smart Cards? - Pierre Girard (Smartcard, 1999)

Electronic Purse Applet Certification: extended abstract. - Pierre Bieber; Jacques Cazin; Virginie Wiels; Guy Zanon; Pierre Girard; Jean-Louis Lanet (Workshop on Secure Architectures and Information Flow, 1999)

New security issues raised by open cards. - Pierre Girard; Jean-Louis Lanet (Inf. Secur. Tech. Rep., 1999)

Checking Secure Interactions of Smart Card Applets. - Pierre Bieber; Jacques Cazin; Pierre Girard; Jean-Louis Lanet; Virginie Wiels; Guy Zanon (ESORICS, 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 (Java Card Workshop, 2000)

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)

Software attacks on smart cards. - Pierre Girard; Jean-Luc Giraud (Inf. Secur. Tech. Rep., 2003)

Mobile Terminal Security. - Olivier Benoît; Nora Dabbous; Laurent Gauteron; Pierre Girard; Helena Handschuh; David Naccache; Stéphane Socié; Claire Whelan (IACR Cryptol. ePrint Arch., 2004)

A new payment protocol over the Internet. - Pierre Girard; Karine Villegas; Jean-Louis Lanet; Aude Plateaux (CRiSIS, 2010)