Claire Loiseaux

According to our database, Claire Loiseaux authored at least 11 papers between 1992 and 2021.

Collaborative distances:

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

2021

Guideline for Architectural Safety, Security and Privacy Implementations Using Design Patterns: SECREDAS Approach.

Nadja Marko, Joaquim Maria Castella Triginer, Christoph Striecks, Tobias Braun, Reinhard Schwarz, Stefan Marksteiner, Alexandr Vasenev, Joerg Kemmerich, Hayk Hamazaryan, Lijun Shan, Claire Loiseaux

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops, 2021

2019

Practical Security and Privacy Threat Analysis in the Automotive Domain: Long Term Support Scenario for Over-the-Air Updates.

Alexandr Vasenev, Florian Stahl, Hayk Hamazaryan, Zhendong Ma, Lijun Shan, Joerg Kemmerich, Claire Loiseaux

Proceedings of the 5th International Conference on Vehicle Technology and Intelligent Transport Systems, 2019

A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems.

Lijun Shan, Behrooz Sangchoolie, Peter Folkesson, Jonny Vinter, Erwin Schoitsch, Claire Loiseaux

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

A Survey on the Application of Safety, Security, and Privacy Standards for Dependable Systems.

Lijun Shan, Behrooz Sangchoolie, Peter Folkesson, Jonny Vinter, Erwin Schoitsch, Claire Loiseaux

Proceedings of the 15th European Dependable Computing Conference, 2019

2008

ASTRA : A Security Analysis Method Based on Asset Tracking.

Daniel Le Métayer, Claire Loiseaux

Proceedings of The IFIP TC-11 23rd International Information Security Conference, 2008

2000

Formal Methods in Practice: The Missing Links. A Perspective from the Security Area.

Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux

Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000

Formal Methods in Context: Security and Java Card.

Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux

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

1995

Property Preserving Abstractions for the Verification of Concurrent Systems.

Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem

Formal Methods Syst. Des., 1995

1993

Property Preserving Abstractions under Parallel Composition.

Susanne Graf, Claire Loiseaux

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

A Tool for Symbolic Program Verification and Abstration.

Susanne Graf, Claire Loiseaux

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992

Property Preserving Simulations.

Saddek Bensalem, Ahmed Bouajjani, Claire Loiseaux, Joseph Sifakis

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992