Vol-3055⫷ Vol-3056 ⫸Vol-3057
urn:nbn:de:0074-3056-0


Vol-3056/keynote-01⫷Vol-3056/paper-01⫸Vol-3056/paper-02
Nicolas BELLEVILLEDamien COUROUSSÉEmmanuelle ENCRENAZKarine HEYDEMANNQuentin MEUNIER

PROSECCO: Formally-Proven Secure Compiled Code