1 citations · 1 across the 2 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2014
Type-Directed Compilation for Fault-Tolerant Non-Interference
Filippo Del Tedesco, David Sands, Alejandro Russo
Environmental noise (e.g.heat, ionized particles, etc.) causes transient faults in hardware, which lead to corruption of stored values. Mission-critical devices require such faults…
cs.CR2011★ 1 cited
A Semantic Hierarchy for Erasure Policies
Filippo Del Tedesco, Sebastian Hunt, David Sands
We consider the problem of logical data erasure, contrasting with physical erasure in the same way that end-to-end information flow control contrasts with access control. We presen…