Not registered as user yet

Name:Emmanuel Hainry
Country:France
Affiliation:Université de Lorraine; CNRS; Inria; LORIA

Contributions

POPL 2023 Author of A General Noninterference Policy for Polynomial Time within the POPL-track