Sharing Mobile Code Securely with Information Flow Control. - Owen Arden; Michael D. George; Jed Liu; K. Vikram; Aslan Askarov; Andrew C. Myers (IEEE Symposium on Security and Privacy, 2012)

Automatic Partitioning of Database Applications. - Alvin Cheung; Owen Arden; Samuel Madden 001; Andrew C. Myers (Proc. VLDB Endow., 2012)

StatusQuo: Making Familiar Abstractions Perform Using Program Analysis. - Alvin Cheung; Owen Arden; Samuel Madden 001; Armando Solar-Lezama; Andrew C. Myers (CIDR, 2013)

Speeding up database applications with Pyxis. - Alvin Cheung; Owen Arden; Samuel Madden 001; Andrew C. Myers (SIGMOD Conference, 2013)

Warranties for Faster Strong Consistency. - Jed Liu; Tom Magrino; Owen Arden; Michael D. George; Andrew C. Myers (NSDI, 2014)

Using Program Analysis to Improve Database Applications. - Alvin Cheung; Samuel Madden 001; Armando Solar-Lezama; Owen Arden; Andrew C. Myers (IEEE Data Eng. Bull., 2014)

Flow-Limited Authorization. - Owen Arden; Jed Liu; Andrew C. Myers (CSF, 2015)

A Calculus for Flow-Limited Authorization. - Owen Arden; Andrew C. Myers (CSF, 2016)

Nonmalleable Information Flow Control. - Ethan Cecchetti; Andrew C. Myers; Owen Arden (CCS, 2017)

Cryptographically Secure Information Flow Control on Key-Value Stores. - Lucas Waye; Pablo Buiras; Owen Arden; Alejandro Russo; Stephen Chong (CCS, 2017)

Nonmalleable Information Flow: Technical Report. - Ethan Cecchetti; Andrew C. Myers; Owen Arden (CoRR, 2017)

Fabric: Building open distributed systems securely by construction. - Jed Liu; Owen Arden; Michael D. George; Andrew C. Myers (J. Comput. Secur., 2017)

Flow-Limited Authorization. - Owen Arden (2017)

JRIF: Reactive Information Flow Control for Java. - Elisavet Kozyri; Owen Arden; Andrew C. Myers; Fred B. Schneider (Foundations of Security, Protocols, and Equational Reasoning, 2019)

Vote Them Out: Detecting and Eliminating Byzantine Peers. - Tuan Tran; Priyanka Mondal; Roy Shadmon; Manthan Mallikarjun; Peter Alvaro; Owen Arden (SoCC, 2019)

Information Flow Control for Distributed Trusted Execution Environments. - Anitha Gollamudi; Stephen Chong; Owen Arden (CSF, 2019)

AnyLog: a Grand Unification of the Internet of Things. - Daniel J. Abadi; Owen Arden; Faisal Nawab; Moshe Shadmon (CIDR, 2020)

First-Order Logic for Flow-Limited Authorization. - Andrew K. Hirsch; Pedro H. Azevedo de Amorim; Ethan Cecchetti; Ross Tate; Owen Arden (CSF, 2020)

Building secure distributed applications the DECENT way. - Haofan Zheng; Owen Arden (CoRR, 2020)

Secure Distributed Applications the Decent Way. - Haofan Zheng; Owen Arden (ASSS@AsiaCCS, 2021)

Total Eclipse of the Enclave: Detecting Eclipse Attacks From Inside TEEs. - Haofan Zheng; Tuan Tran; Owen Arden (IEEE ICBC, 2021)

AttkFinder: Discovering Attack Vectors in PLC Programs using Information Flow Analysis. - John Henry Castellanos; Martín Ochoa; Alvaro A. Cárdenas; Owen Arden; Jianying Zhou 001 (RAID, 2021)

A Calculus for Flow-Limited Authorization. - Owen Arden; Anitha Gollamudi; Ethan Cecchetti; Stephen Chong; Andrew C. Myers (CoRR, 2021)

Applying consensus and replication securely with FLAQR. - Priyanka Mondal; Maximilian Algehed; Owen Arden (CSF, 2022)

Payment Channels Under Network Congestion. - Tuan Tran; Haofan Zheng; Peter Alvaro; Owen Arden (ICBC, 2022)

Unstick Yourself: Recoverable Byzantine Fault Tolerant Services. - Tuan Tran; Faisal Nawab; Peter Alvaro; Owen Arden (ICBC, 2023)

Flow-limited authorization for consensus, replication, and secret sharing. - Priyanka Mondal; Maximilian Algehed; Owen Arden (J. Comput. Secur., 2023)

Decentagram: Highly-Available Decentralized Publish/Subscribe Systems. - Haofan Zheng; Tuan Tran; Roy Shadmon; Owen Arden (DSN, 2024)

Proximal Byzantine Consensus. - Roy Shadmon; Daniel Spencer; Owen Arden (CoRR, 2024)

Enhancing Accuracy in Approximate Byzantine Agreement with Bayesian Inference. - Roy Shadmon; Owen Arden (DSN-S, 2025)