MOLOG: a Modal PROLOG. - Pierre Bieber; Luis Fariñas del Cerro; Andreas Herzig (CADE, 1988)

A Logic of Communication in Hostile Environments. - Pierre Bieber (CSFW, 1990)

Epistemic Verification of Cryptographic Protocols. - Pierre Bieber (ESORICS, 1990)

A Definition of Secure Dependencies Using the Logic of Security. - Pierre Bieber; Frédéric Cuppens (CSFW, 1991)

Secure Dependencies with Dynamic Level Assignments. - Pierre Bieber; Frédéric Cuppens (CSFW, 1992)

A Logical View of Secure Dependencies. - Pierre Bieber; Frédéric Cuppens (J. Comput. Secur., 1992)

Abstract Machines for Communication Security. - Pierre Bieber; Nora Boulahia-Cuppens; T. Lehmann; E. van Wickeren (CSFW, 1993)

Formal Development of Authentication Protocols. - Pierre Bieber; Nora Boulahia-Cuppens (Refine, 1994)

Formal Techniques for an ITSEC-E4 Secure Gateway. - Pierre Bieber (ACSAC, 1996)

Security Function Interactions. - Pierre Bieber (CSFW, 1999)

Design and Implementation of a Distributed Interactive Simulation Security Architecture. - Pierre Bieber; Pierre Siron (DIS-RT, 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)

Security Architecture for Federated Cooperative Information Systems. - Pierre Bieber; D. Raujol; Pierre Siron (ACSAC, 2000)

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)

Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System. - Pierre Bieber; Charles Castel; Christel Seguin (EDCC, 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)

Safety assessment with AltaRica - Lessons learnt based on two aircraft system studies. - Pierre Bieber; Christian Bougnol; Charles Castel; Jean-Pierre Heckmann; Christophe Kehren; Sylvain Metge; Christel Seguin (IFIP Congress Topical Sessions, 2004)

Safe Allocation of Avionics Shared Resources. - Laurent Sagaspe; Gérard Bel; Pierre Bieber; Frédéric Boniol; Charles Castel (HASE, 2005)

Vers la génération de modèles de sûreté de fonctionnement. - Xavier Dumas; Claire Pagetti; Laurent Sagaspe; Pierre Bieber; Philippe Dhaussy (CAL, 2008)

Preliminary design of future reconfigurable IMA platforms. - Pierre Bieber; Eric Noulard; Claire Pagetti; Thierry Planche; Francois Vialard (SIGBED Rev., 2009)

DALculus - Theory and Tool for Development Assurance Level Allocation. - Pierre Bieber; Remi Delmas; Christel Seguin (SAFECOMP, 2011)

An MDE-Based Synthesis of Aircraft Safety Models. - Sébastien Maîtrehenry; Sylvain Metge; Yamine Aït Ameur; Pierre Bieber (MEDI, 2012)

From Safety Models to Security Models: Preliminary Lessons Learnt. - Pierre Bieber; Julien Brunel (SAFECOMP Workshops, 2014)

Tiered Model-Based Safety Assessment. - Kevin Delmas; Christel Seguin; Pierre Bieber (IMBSA, 2019)

Evaluation of a Resilience-Driven Operational Concept to Manage Drone Intrusions in Airports. - Domenico Pascarella; Gabriella Gigante; Angela Vozella; Maurizio Sodano; Marco Ippolito; Pierre Bieber; Thomas Dubot; Edgar Martinavarro (Inf., 2023)