Owen Arden

According to our database, Owen Arden authored at least 28 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Proximal Byzantine Consensus.

Roy Shadmon, Daniel Spencer, Owen Arden

CoRR, 2024

2023

Flow-limited authorization for consensus, replication, and secret sharing.

Priyanka Mondal, Maximilian Algehed, Owen Arden

J. Comput. Secur., 2023

Unstick Yourself: Recoverable Byzantine Fault Tolerant Services.

Tuan Tran, Faisal Nawab, Peter Alvaro, Owen Arden

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2023

2022

Payment Channels Under Network Congestion.

Tuan Tran, Haofan Zheng, Peter Alvaro, Owen Arden

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2022

Applying consensus and replication securely with FLAQR.

Priyanka Mondal, Maximilian Algehed, Owen Arden

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

2021

A Calculus for Flow-Limited Authorization.

Owen Arden, Anitha Gollamudi, Ethan Cecchetti, Stephen Chong, Andrew C. Myers

CoRR, 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

Proceedings of the RAID '21: 24th International Symposium on Research in Attacks, 2021

Total Eclipse of the Enclave: Detecting Eclipse Attacks From Inside TEEs.

Haofan Zheng, Tuan Tran, Owen Arden

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2021

Secure Distributed Applications the Decent Way.

Haofan Zheng, Owen Arden

Proceedings of the ASSS '21: Proceedings of the 2021 International Symposium on Advanced Security on Software and Systems, 2021

2020

Building secure distributed applications the DECENT way.

Haofan Zheng, Owen Arden

CoRR, 2020

First-Order Logic for Flow-Limited Authorization.

Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti, Ross Tate, Owen Arden

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

AnyLog: a Grand Unification of the Internet of Things.

Daniel J. Abadi, Owen Arden, Faisal Nawab, Moshe Shadmon

Proceedings of the 10th Conference on Innovative Data Systems Research, 2020

2019

Information Flow Control for Distributed Trusted Execution Environments.

Anitha Gollamudi, Stephen Chong, Owen Arden

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

Vote Them Out: Detecting and Eliminating Byzantine Peers.

Tuan Tran, Priyanka Mondal, Roy Shadmon, Manthan Mallikarjun, Peter Alvaro, Owen Arden

Proceedings of the ACM Symposium on Cloud Computing, SoCC 2019, 2019

JRIF: Reactive Information Flow Control for Java.

Elisavet Kozyri, Owen Arden, Andrew C. Myers, Fred B. Schneider

Proceedings of the Foundations of Security, Protocols, and Equational Reasoning, 2019

2017

Flow-Limited Authorization.

Owen Arden

PhD thesis, 2017

Fabric: Building open distributed systems securely by construction.

Jed Liu, Owen Arden, Michael D. George, Andrew C. Myers

J. Comput. Secur., 2017

Nonmalleable Information Flow: Technical Report.

Ethan Cecchetti, Andrew C. Myers, Owen Arden

CoRR, 2017

Cryptographically Secure Information Flow Control on Key-Value Stores.

Lucas Waye, Pablo Buiras, Owen Arden, Alejandro Russo, Stephen Chong

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

Nonmalleable Information Flow Control.

Ethan Cecchetti, Andrew C. Myers, Owen Arden

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016

A Calculus for Flow-Limited Authorization.

Owen Arden, Andrew C. Myers

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2015

Flow-Limited Authorization.

Owen Arden, Jed Liu, Andrew C. Myers

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

2014

Using Program Analysis to Improve Database Applications.

Alvin Cheung, Samuel Madden, Armando Solar-Lezama, Owen Arden, Andrew C. Myers

IEEE Data Eng. Bull., 2014

Warranties for Faster Strong Consistency.

Jed Liu, Tom Magrino, Owen Arden, Michael D. George, Andrew C. Myers

Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, 2014

2013

Speeding up database applications with Pyxis.

Alvin Cheung, Owen Arden, Samuel Madden, Andrew C. Myers

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2013

StatusQuo: Making Familiar Abstractions Perform Using Program Analysis.

Alvin Cheung, Owen Arden, Samuel Madden, Armando Solar-Lezama, Andrew C. Myers

Proceedings of the Sixth Biennial Conference on Innovative Data Systems Research, 2013

2012

Automatic Partitioning of Database Applications.

Alvin Cheung, Owen Arden, Samuel Madden, Andrew C. Myers

Proc. VLDB Endow., 2012

Sharing Mobile Code Securely with Information Flow Control.

Owen Arden, Michael D. George, Jed Liu, K. Vikram, Aslan Askarov, Andrew C. Myers

Proceedings of the IEEE Symposium on Security and Privacy, 2012