Skip to content

A composable computational soundness notion.

Vronique Cortier, Bogdan Warinschi

VenueA*CCS
Year2011
ProceedingsCCS

Browse the full CCS paper archive.