Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Roberto Guanciale
conf.researchr.org general profile
POPL 2019 profile
SPLASH 2023 profile
Not registered as user yet
Name:
Roberto Guanciale
Affiliation:
KTH
Contributions
2023
SPLASH
Author of P4R-Type: a Verified API for P4 Control Plane Programs within the OOPSLA-track
2019
PriSC
Author of Confidentiality-Preserving Refinement within the PriSC 2019-track
Share
x
Sun 24 Sep 23:03