Lucas Franceschino

Orcid: 0000-0002-5683-0199

According to our database1, Lucas Franceschino authored at least 5 papers between 2020 and 2025.

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

Timeline

2020
2021
2022
2023
2024
2025
0
1
2
3
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
hax: Verifying Security-Critical Rust Software using Multiple Provers.
IACR Cryptol. ePrint Arch., 2025

2024
Charon: An Analysis Framework for Rust.
CoRR, 2024

2021
Programmation vérifiée à l'intersection des types dépendants et de l'analyse statique. (Verified Programming at the Intersection of Dependent Types and Static Analysis).
PhD thesis, 2021

Verified Functional Programming of an Abstract Interpreter.
Proceedings of the Static Analysis - 28th International Symposium, 2021

2020
LIO*: Low Level Information Flow Control in F.
CoRR, 2020


  Loading...