conf.researchr.org / Emmanuel Hainry
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 |