32 citations · 43 across the 7 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.CR2017★ 32 cited
Nonmalleable Information Flow: Technical Report
Ethan Cecchetti, Andrew C. Myers, Owen Arden
Noninterference is a popular semantic security condition because it offers strong end-to-end guarantees, it is inherently compositional, and it can be enforced using a simple secur…
cs.CR2017★ 9 cited
Cryptographically Secure Information Flow Control on Key-Value Stores
Lucas Waye, Pablo Buiras, Owen Arden +2
We present Clio, an information flow control (IFC) system that transparently incorporates cryptography to enforce confidentiality and integrity policies on untrusted storage. Clio…