Lucas Franceschino

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

hax: Verifying Security-Critical Rust Software using Multiple Provers.

Karthikeyan Bhargavan, Maxime Buyse, Lucas Franceschino, Lasse Letager Hansen, Franziskus Kiefer, Jonas Schneider-Bensch, Bas Spitters

IACR Cryptol. ePrint Arch., 2025

Charon: An Analysis Framework for Rust.

Son Ho, Guillaume Boisseau, Lucas Franceschino, Yoann Prak, Aymeric Fromherz, Jonathan Protzenko

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

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).

Lucas Franceschino

PhD thesis, 2021

Verified Functional Programming of an Abstract Interpreter.

Lucas Franceschino, David Pichardie, Jean-Pierre Talpin

Proceedings of the Static Analysis - 28th International Symposium, 2021

2020

LIO*: Low Level Information Flow Control in F.

Jean-Joseph Marty, Lucas Franceschino, Jean-Pierre Talpin, Niki Vazou

CoRR, 2020