Not registered as user yet

Name: Roberto Guanciale

Affiliation: KTH

Contributions

PriSC 2019Author of Confidentiality-Preserving Refinement within the PriSC 2019-track