60 citations · 71 across the 5 of their papers we have counts for
1 paper · 1 filter
Carmine Abate, Matteo Busi, Stelios Tsampas
The most prominent formal criterion for secure compilation is full abstraction, the preservation and reflection of contextual equivalence. Recent work introduced robust compilation…