Send email Copy Email Address

Email

Address


66123 Saarbrücken (Germany)

Publications by Marco Patrignani

Year 2021

Conference / Medium

CSF
Computer Security Foundations Symposium34th IEEE Computer Security Foundations Symposium

Conference / Medium

POPL
Proc. ACM Program. Lang.POPL 2021

Year 2020

Conference / Medium

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

Conference / Medium

ESOP
ESOPProgramming Languages and Systems

Other

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

Conference / Medium

PriSC
PriSC 2020 - co-located with POPL

Year 2019

Conference / Medium

ESOP
Programming Languages and Systems,ESOP