9 citations · 25 across the 11 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
cs.CR2009★ 1 cited
Specification and Verification of Side Channel Declassification
Josef Svenningsson, David Sands
Side channel attacks have emerged as a serious threat to the security of both networked and embedded systems -- in particular through the implementations of cryptographic operation…
cs.CR2009★ 2 cited
A User Model for Information Erasure
Filippo Del Tedesco, David Sands
Hunt and Sands (ESOP'08) studied a notion of information erasure for systems which receive secrets intended for limited-time use. Erasure demands that once a secret has fulfilled i…