5 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.PL2015
Featherweight PINQ
Hamid Ebadi, David Sands
Differentially private mechanisms enjoy a variety of composition properties. Leveraging these, McSherry introduced PINQ (SIGMOD 2009), a system empowering non-experts to construct…
cs.CR2015★ 5 cited
Very Static Enforcement of Dynamic Policies
Bart van Delft, Sebastian Hunt, David Sands
Security policies are naturally dynamic. Reflecting this, there has been a growing interest in studying information-flow properties which change during program execution, including…
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…