Arthur Blot

According to our database, Arthur Blot authored at least 4 papers between 2016 and 2017.

Collaborative distances:

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

2017

Compositional Synthesis of Leakage Resilient Programs.

Arthur Blot, Masaki Yamamoto, Tachio Terauchi

Proceedings of the Principles of Security and Trust - 6th International Conference, 2017

Jasmin: High-Assurance and High-Speed Cryptography.

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Arthur Blot, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Hugo Pacheco, Benedikt Schmidt, Pierre-Yves Strub

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

Formal Correctness of Comparison Algorithms Between Binary64 and Decimal64 Floating-Point Numbers.

Arthur Blot, Jean-Michel Muller, Laurent Théry

Proceedings of the Numerical Software Verification - 10th International Workshop, 2017

2016

From Sets to Bits in Coq.

Arthur Blot, Pierre-Évariste Dagand, Julia Lawall

Proceedings of the Functional and Logic Programming - 13th International Symposium, 2016