Lionel Blatter

Orcid: 0000-0001-9058-2005

According to our database1, Lionel Blatter authored at least 9 papers between 2016 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
0
1
2
3
4
2
1
1
3
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Transparent Decompilation for Timing Side-Channel Analyses.
CoRR, January, 2025

Preservation of Speculative Constant-Time by Compilation.
Proc. ACM Program. Lang., 2025

2022
Inferring Interval-Valued Floating-Point Preconditions.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

An Efficient VCGen-Based Modular Verification of Relational Properties.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Certified Verification of Relational Properties.
Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

2018
Self-composition to Prove Relational Properties in Annotated C Program.
CoRR, 2018

Static and Dynamic Verification of Relational Properties on Self-composed C Code.
Proceedings of the Tests and Proofs - 12th International Conference, 2018

2017
RPP: Automatic Proof of Relational Properties by Self-composition.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2016
Deductive Verification with Relational Properties.
CoRR, 2016


  Loading...