Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Marco Stronati
conf.researchr.org general profile
POPL 2018 profile
Registered user since Thu 15 Dec 2016
Name:
Marco Stronati
Contributions
2018
PriSC
Author of Robust Hyperproperty Preservation for Secure Compilation within the PriSC 2018-track
Author of Formally Secure Compilation of Unsafe Low-Level Components within the PriSC 2018-track
Share
x
Tue 3 Dec 17:50