Skip to content

Compositional Security for Reentrant Applications.

Ethan Cecchetti, Siqiu Yao, Haobin Ni, Andrew C. Myers

VenueA*SP
Year2021
ProceedingsSP

Browse the full SP paper archive.