Skip to content

Type-directed Program Transformation for Constant-Time Enforcement.

Gautier Raimondi, Frdric Besson, Thomas P. Jensen

VenueCPPDP
Year2023
ProceedingsPPDP

Browse the full PPDP paper archive.