Claire Loiseaux

Publication Activity (10 Years)

Years Active: 1992-2021
Publications (10 Years): 4

Top Topics

Design Patterns

Security Concerns

Preserving Privacy

Statistical Databases

Top Venues

SAFECOMP Workshops

Publications

Nadja Marko, Joaquim Maria Castella Triginer, Christoph Striecks, Tobias Braun, Reinhard Schwarz, Stefan Marksteiner, Alexandr Vasenev, Joerg Kemmerich, Hayk Hamazaryan, Lijun Shan, Claire Loiseaux
Guideline for Architectural Safety, Security and Privacy Implementations Using Design Patterns: SECREDAS Approach. SAFECOMP Workshops (2021)
Lijun Shan, Behrooz Sangchoolie, Peter Folkesson, Jonny Vinter, Erwin Schoitsch, Claire Loiseaux
A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems. SAFECOMP Workshops (2019)
Lijun Shan, Behrooz Sangchoolie, Peter Folkesson, Jonny Vinter, Erwin Schoitsch, Claire Loiseaux
A Survey on the Application of Safety, Security, and Privacy Standards for Dependable Systems. EDCC (2019)
Alexandr Vasenev, Florian Stahl, Hayk Hamazaryan, Zhendong Ma, Lijun Shan, Joerg Kemmerich, Claire Loiseaux
Practical Security and Privacy Threat Analysis in the Automotive Domain: Long Term Support Scenario for Over-the-Air Updates. VEHITS (2019)
Daniel Le Métayer, Claire Loiseaux
ASTRA : A Security Analysis Method Based on Asset Tracking. SEC (2008)
Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux
Formal Methods in Practice: The Missing Links. A Perspective from the Security Area. MOVEP (2000)
Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux
Formal Methods in Context: Security and Java Card. Java Card Workshop (2000)
Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem
Property Preserving Abstractions for the Verification of Concurrent Systems. Formal Methods Syst. Des. 6 (1) (1995)
Susanne Graf, Claire Loiseaux
Property Preserving Abstractions under Parallel Composition. TAPSOFT (1993)
Susanne Graf, Claire Loiseaux
A Tool for Symbolic Program Verification and Abstration. CAV (1993)
Saddek Bensalem, Ahmed Bouajjani, Claire Loiseaux, Joseph Sifakis
Property Preserving Simulations. CAV (1992)