Section: Dissemination
Promoting Scientific Activities
Scientific events selection
Member of the conference program committees
-
ACM POPL – January 2015, Mumbai, India: Karthikeyan Bhargavan
-
ACM SEC@SAC – April 2015, Salamanca, Spain: Karthikeyan Bhargavan
Reviewer
-
Members of Prosecco reviewed papers for many major conferences and workshops including ACM CCS, ACM POPL, IEEE S&P, etc.