Statistics
Publications
2
Citations
64
H-Index
2
Active since
2015
Affiliations
Maxime Dénès is an author at National Technical University of Athens specializing in computer science, memory integrity protection, and algebra.
Publications per year
2015–2016
2
2
Micro-Policies: Formally Verified, Tag-Based Security Monitors
Arthur Azevedo de Amorim, Maxime Dénès, Nick Giannarakis et al. · 2015 · 51 citations · Full text
Formalized linear algebra over Elementary Divisor Rings in Coq
Guillaume Cano, Cyril Cohen, Maxime Dénès et al. · Logical Methods in Computer Science · 2016 · 13 citations · Full text
1–2 of 2