2 papers
cs.PL2015
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version)
Stefan Heule, Deian Stefan, Edward Z. Yang +2
Many important security problems in JavaScript, such as browser extension security, untrusted JavaScript libraries and safe integration of mutually distrustful websites (mash-ups),…
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…