• Sign in
  • Sign up
conf.researchr.org / Roberto Guanciale
  • 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
xSun 24 Sep 23:03
using conf.researchr.org (v1.61.2)
Support page
Sign Up