6 citations · 6 across the 5 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2024
HasTEE+ : Confidential Cloud Computing and Analytics with Haskell
Abhiroop Sarkar, Alejandro Russo
Confidential computing is a security paradigm that enables the protection of confidential code and data in a co-tenanted cloud deployment using specialized hardware isolation units…
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…