Publications : Armaël Guéneau
Back[5] | Amin Timany, Armaël Guéneau, and Lars Birkedal. The logical essence of well-bracketed control flow. In POPL 2024 - 51st ACM SIGPLAN Symposium on Principles of Programming Languages. SIGPLAN, ACM, 2024. [ bib | full text on HAL ] |
[4] | François Pottier, Armaël Guéneau, Jacques-Henri Jourdan, and Glen Mével. Thunks and debits in separation logic with time credits. In POPL 2024 - 51st ACM SIGPLAN Symposium on Principles of Programming Languages, volume 8. SIGPLAN, ACM, 2024. [ bib | full text on HAL ] |
[3] | Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Dominique Devriese, and Lars Birkedal. Cerise: Program verification on a capability machine in the presence of untrusted code. Journal of the ACM, 2023. [ bib | DOI | full text on HAL ] |
[2] | Thomas Van Strydonck, Aïna Linn Georges, Armaël Guéneau, Alix Trieu, Amin Timany, Frank Piessens, Lars Birkedal, and Dominique Devriese. Proving full-system security properties under multiple attacker models on capability machines. In CSF 2022 - 35th IEEE Computer Security Foundations Symposium, 2022. [ bib | full text on HAL ] |
[1] | Armaël Guéneau, Arthur Charguéraud, and François Pottier. A fistful of dollars: Formalizing asymptotic complexity claims via deductive program verification. In ESOP 2018 - 27th European Symposium on Programming, volume 10801 of Lecture Notes in Computer Science. Springer, 2018. [ bib | DOI ] |
Back
This page was generated by bibtex2html.