Publications of Éric Tanter
(if a year does not appear in the list, it is because there are no records for that particular year)
Year 2024
1. |
Securing Verified IO Programs Against Unverified Code in
F*.
Journal: Proceedings of the ACM Programming Languages. Volume: 8. Issue: POPL. Pages: 2226-2259. Date: January 2024. Authors: Cezar-Constantin Andrici, Stefan Ciobaca, Catalin Hritcu, Guido Martínez, Exequiel Rivas, Éric Tanter, Theo Winterhalter |