9 citations · 9 across the 4 of their papers we have counts for
5 papers
Applying consensus and replication securely with FLAQR
Priyanka Mondal, Maximilian Algehed, Owen Arden
Availability is crucial to the security of distributed systems, but guaranteeing availability is hard, especially when participants in the system may act maliciously. Quorum replic…
A Calculus for Flow-Limited Authorization
Owen Arden, Anitha Gollamudi, Ethan Cecchetti +2
Real-world applications routinely make authorization decisions based on dynamic computation. Reasoning about dynamically computed authority is challenging. Integrity of the system…
First-Order Logic for Flow-Limited Authorization
Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti +2
We present the Flow-Limited Authorization First-Order Logic (FLAFOL), a logic for reasoning about authorization decisions in the presence of information-flow policies. We formalize…
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…
Automatic Partitioning of Database Applications
Alvin Cheung, Owen Arden, Samuel Madden +1
Database-backed applications are nearly ubiquitous in our daily lives. Applications that make many small accesses to the database create two challenges for developers: increased la…