Pierre Bieber

According to our database, Pierre Bieber authored at least 26 papers between 1988 and 2023.

Collaborative distances:

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

2023

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., April, 2023

2019

Tiered Model-Based Safety Assessment.

Kevin Delmas, Christel Seguin, Pierre Bieber

Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019

2014

From Safety Models to Security Models: Preliminary Lessons Learnt.

Pierre Bieber, Julien Brunel

Proceedings of the Computer Safety, Reliability, and Security, 2014

2012

An MDE-Based Synthesis of Aircraft Safety Models.

Sébastien Maîtrehenry, Sylvain Metge, Yamine Aït Ameur, Pierre Bieber

Proceedings of the Model and Data Engineering - 2nd International Conference, 2012

2011

DALculus - Theory and Tool for Development Assurance Level Allocation.

Pierre Bieber, Remi Delmas, Christel Seguin

Proceedings of the Computer Safety, Reliability, and Security, 2011

2009

Preliminary design of future reconfigurable IMA platforms.

Pierre Bieber, Eric Noulard, Claire Pagetti, Thierry Planche, Francois Vialard

SIGBED Rev., 2009

2008

Vers la génération de modèles de sûreté de fonctionnement.

Xavier Dumas, Claire Pagetti, Laurent Sagaspe, Pierre Bieber, Philippe Dhaussy

Proceedings of the 2ème Conférence Francophone sur les Architectures Logicielles (CAL 2008), 2008

2005

Safe Allocation of Avionics Shared Resources.

Laurent Sagaspe, Gérard Bel, Pierre Bieber, Frédéric Boniol, Charles Castel

Proceedings of the Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 2005

2004

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

Proceedings of the Building the Information Society, 2004

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

Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System.

Pierre Bieber, Charles Castel, Christel Seguin

Proceedings of the Dependable Computing, 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

Security Architecture for Federated Cooperative Information Systems.

Pierre Bieber, D. Raujol, Pierre Siron

Proceedings of the 16th Annual Computer Security Applications Conference (ACSAC 2000), 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

Design and Implementation of a Distributed Interactive Simulation Security Architecture.

Pierre Bieber, Pierre Siron

Proceedings of the 3rd International Workshop on Distributed Interactive Simulation and Real-Time Applications (DIS-RT '99), 1999

Security Function Interactions.

Pierre Bieber

Proceedings of the 12th IEEE Computer Security Foundations Workshop, 1999

1996

Formal Techniques for an ITSEC-E4 Secure Gateway.

Pierre Bieber

Proceedings of the 12th Annual Computer Security Applications Conference (ACSAC 1996), 1996

1994

Formal Development of Authentication Protocols.

Pierre Bieber, Nora Boulahia-Cuppens

Proceedings of the 6th Refinement Workshop, 1994

1993

Abstract Machines for Communication Security.

Pierre Bieber, Nora Boulahia-Cuppens, T. Lehmann, E. van Wickeren

Proceedings of the 6th IEEE Computer Security Foundations Workshop, 1993

1992

A Logical View of Secure Dependencies.

Pierre Bieber, Frédéric Cuppens

J. Comput. Secur., 1992

Secure Dependencies with Dynamic Level Assignments.

Pierre Bieber, Frédéric Cuppens

Proceedings of the 5th IEEE Computer Security Foundations Workshop, 1992

1991

A Definition of Secure Dependencies Using the Logic of Security.

Pierre Bieber, Frédéric Cuppens

Proceedings of the 4th IEEE Computer Security Foundations Workshop, 1991

1990

Epistemic Verification of Cryptographic Protocols.

Pierre Bieber

Proceedings of the ESORICS 90, 1990

A Logic of Communication in Hostile Environments.

Pierre Bieber

Proceedings of the Third IEEE Computer Security Foundations Workshop, 1990

1988

MOLOG: a Modal PROLOG.

Pierre Bieber, Luis Fariñas del Cerro, Andreas Herzig

Proceedings of the 9th International Conference on Automated Deduction, 1988