Marco Patrignani

CSF
Computer Security Foundations Symposium34th IEEE Computer Security Foundations Symposium

POPL
Proc. ACM Program. Lang.POPL 2021

PLDI
PLDIProceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation

ESOP
ESOPProgramming Languages and Systems

PriSC
47th ACM SIGPLAN Symposium on Principles of Programming LanguagesWorkshop on Principles of Secure Compilation

PriSC
PriSC 2020 - co-located with POPL

CSF
csf

ESOP
Programming Languages and Systems,ESOP