We introduce SecWasm, the first general purpose information-flow control system for
WebAssembly (Wasm), thus extending the safety guarantees offered by Wasm with …

Languages with gradual information-flow control combine static and dynamic techniques to
prevent security leaks. Gradual languages should satisfy the gradual guarantee: programs …

This paper presents the first machine-checked proof of noninterference for a language with
gradual information-flow control, thereby establishing a rock solid foundation for secure …

In this paper, we introduce Harpocrates, a compiler plugin and a framework pair for Scala
that binds the privacy policies to the data during data creation in form of oblivious …

The internet has become a vital part of our everyday lives. With people relying on web
application for getting their groceries, booking trips, scheduling doctor's appointments …