• Sign in
  • Sign up
conf.researchr.org / Pierpaolo Degano
  • ECOOP 2016 profile
  • ETAPS 2019 profile
  • POPL 2019 profile
  • POPL 2020 profile

Registered user since Tue 18 Sep 2018

Name:Pierpaolo Degano
Affiliation:Università di Pisa - Dipartimento di Informatica

Contributions

2020

PriSC

  • Author of Securing Interruptible Enclaves within the Principles of Secure Compilation 2020-track

2019

POST

  • Committee Member in Program Committee within the POST 2019-track

PriSC

  • Author of Translation Validation for Security Properties within the PriSC 2019-track

2016

COP

  • Committee Member in Program Committee within the COP-track
Share
xMon 16 Jun 11:22
using conf.researchr.org (v1.69.0)
Support page
Sign Up