Arthur Blot

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 5

Top Topics

Mathematical Foundations

Program Synthesis

Top Venues

Publications

Arthur Blot, Jean-Michel Muller, Laurent Théry
Formal Correctness of Comparison Algorithms Between Binary64 and Decimal64 Floating-Point Numbers. NSV@CAV (2017)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Arthur Blot, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Hugo Pacheco, Benedikt Schmidt, Pierre-Yves Strub
Jasmin: High-Assurance and High-Speed Cryptography. CCS (2017)
Arthur Blot, Masaki Yamamoto, Tachio Terauchi
Compositional Synthesis of Leakage Resilient Programs. POST (2017)
Arthur Blot, Masaki Yamamoto, Tachio Terauchi
Compositional Synthesis of Leakage Resilient Programs. CoRR (2016)
Arthur Blot, Pierre-Évariste Dagand, Julia Lawall
From Sets to Bits in Coq. FLOPS (2016)