BibTeX records: Lucas Franceschino

• > Home > Persons > Lucas Franceschino

@inproceedings{DBLP:conf/cav/HoBFPFP25,
  author       = {Son Ho and
                  Guillaume Boisseau and
                  Lucas Franceschino and
                  Yoann Prak and
                  Aymeric Fromherz and
                  Jonathan Protzenko},
  editor       = {Ruzica Piskac and
                  Zvonimir Rakamaric},
  title        = {Charon: An Analysis Framework for Rust},
  booktitle    = {Computer Aided Verification - 37th International Conference, {CAV}
                  2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {15934},
  pages        = {377--391},
  publisher    = {Springer},
  year         = {2025},
  url          = {https://doi.org/10.1007/978-3-031-98685-7\_18},
  doi          = {10.1007/978-3-031-98685-7\_18},
  timestamp    = {Sat, 09 Aug 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/HoBFPFP25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iacr/BhargavanBFHKSS25,
  author       = {Karthikeyan Bhargavan and
                  Maxime Buyse and
                  Lucas Franceschino and
                  Lasse Letager Hansen and
                  Franziskus Kiefer and
                  Jonas Schneider{-}Bensch and
                  Bas Spitters},
  title        = {hax: Verifying Security-Critical Rust Software using Multiple Provers},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {142},
  year         = {2025},
  url          = {https://eprint.iacr.org/2025/142},
  timestamp    = {Mon, 17 Feb 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iacr/BhargavanBFHKSS25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/BhargavanBFHKSS24,
  author       = {Karthikeyan Bhargavan and
                  Maxime Buyse and
                  Lucas Franceschino and
                  Lasse Letager Hansen and
                  Franziskus Kiefer and
                  Jonas Schneider{-}Bensch and
                  Bas Spitters},
  editor       = {Jonathan Protzenko and
                  Azalea Raad},
  title        = {hax: Verifying Security-Critical Rust Software Using Multiple Provers},
  booktitle    = {Verified Software. Theories, Tools and Experiments - 16th International
                  Conference, {VSTTE} 2024, Prague, Czech Republic, October 14-15, 2024,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {15525},
  pages        = {96--119},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-86695-1\_7},
  doi          = {10.1007/978-3-031-86695-1\_7},
  timestamp    = {Wed, 11 Jun 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/BhargavanBFHKSS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2410-18042,
  author       = {Son Ho and
                  Guillaume Boisseau and
                  Lucas Franceschino and
                  Yoann Prak and
                  Aymeric Fromherz and
                  Jonathan Protzenko},
  title        = {Charon: An Analysis Framework for Rust},
  journal      = {CoRR},
  volume       = {abs/2410.18042},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2410.18042},
  doi          = {10.48550/ARXIV.2410.18042},
  eprinttype    = {arXiv},
  eprint       = {2410.18042},
  timestamp    = {Wed, 27 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2410-18042.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/hal/Franceschino21,
  author       = {Lucas Franceschino},
  title        = {Programmation v{\'{e}}rifi{\'{e}}e {\`{a}} l'intersection
                  des types d{\'{e}}pendants et de l'analyse statique. (Verified
                  Programming at the Intersection of Dependent Types and Static Analysis)},
  school       = {{\'{E}}cole normale sup{\'{e}}rieure de Rennes, France},
  year         = {2021},
  url          = {https://tel.archives-ouvertes.fr/tel-03617659},
  timestamp    = {Fri, 27 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/Franceschino21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/FranceschinoPT21,
  author       = {Lucas Franceschino and
                  David Pichardie and
                  Jean{-}Pierre Talpin},
  editor       = {Cezara Dragoi and
                  Suvam Mukherjee and
                  Kedar S. Namjoshi},
  title        = {Verified Functional Programming of an Abstract Interpreter},
  booktitle    = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
                  IL, USA, October 17-19, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12913},
  pages        = {124--143},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88806-0\_6},
  doi          = {10.1007/978-3-030-88806-0\_6},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/FranceschinoPT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2107-09472,
  author       = {Lucas Franceschino and
                  David Pichardie and
                  Jean{-}Pierre Talpin},
  title        = {Verified Functional Programming of an Abstract Interpreter},
  journal      = {CoRR},
  volume       = {abs/2107.09472},
  year         = {2021},
  url          = {https://arxiv.org/abs/2107.09472},
  eprinttype    = {arXiv},
  eprint       = {2107.09472},
  timestamp    = {Thu, 29 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-09472.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2004-12885,
  author       = {Jean{-}Joseph Marty and
                  Lucas Franceschino and
                  Jean{-}Pierre Talpin and
                  Niki Vazou},
  title        = {LIO*: Low Level Information Flow Control in {F}},
  journal      = {CoRR},
  volume       = {abs/2004.12885},
  year         = {2020},
  url          = {https://arxiv.org/abs/2004.12885},
  eprinttype    = {arXiv},
  eprint       = {2004.12885},
  timestamp    = {Wed, 29 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-12885.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}