Lucas Franceschino
Orcid: 0000-0002-5683-0199
According to our database1,
Lucas Franceschino
authored at least 5 papers
between 2020 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2020
2021
2022
2023
2024
2025
0
1
2
3
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
IACR Cryptol. ePrint Arch., 2025
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
Proceedings of the Static Analysis - 28th International Symposium, 2021
2020