Léon Ducruet

Orcid: 0009-0002-6141-5624

According to our database¹, Léon Ducruet authored at least 4 papers in 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2025

Reasoning about Weak Isolation Levels in Separation Logic - Artifact.

[BibT_eX]

[DOI]

Anders Alnor Mathiasen

Dataset, June, 2025

FSLH: Flexible Mechanized Speculative Load Hardening.

[BibT_eX]

[DOI]

CoRR, February, 2025

Reasoning about Weak Isolation Levels in Separation Logic.

[BibT_eX]

[DOI]

Anders Alnor Mathiasen

CoRR, January, 2025

FSLH: Flexible Mechanized Speculative Load Hardening.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE Computer Security Foundations Symposium, 2025

Léon Ducruet

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...