Claire Loiseaux

Publications

376

Citations

H-Index

1995

Active since

Affiliations

Arge Vegetationsökologie und Landschaftsplanung(Current)

Institut de Mécanique et d'Ingénierie de Bordeaux

Claire Loiseaux is an author at Arge Vegetationsökologie und Landschaftsplanung specializing in formal verification, engineering, and computer science.

Top concepts

EngineeringComputer ScienceFormal VerificationSecurityCryptographyData PrivacyData SecurityNetwork SecuritySystems EngineeringInformation Security

Publications per year

1995–2019

Publications

Property preserving abstractions for the verification of concurrent systems

Claire Loiseaux, Susanne Graf, Joseph Sifakis et al. · Formal Methods in System Design · 1995 · 352 citations

Engineering, Automated Reasoning, Property Preserving Abstractions +7

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 et al. · Proceedings of the 5th International Conference on Vehicle Technology and Intelligent Transport Systems · 2019 · 14 citations · Full text

Privacy Protection, Engineering, Information Security +24

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 et al. · Proceedings of the 5th International Conference on Vehicle Technology and Intelligent Transport Systems · 2019 · 10 citations

Engineering, Information Security, Security Assessment +14

Rows per page

1–3 of 3