Owen Arden

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 24

Top Topics

Open Distributed Systems

Quantifier Elimination

Information Flow Control

Top Venues

J. Comput. Secur.

Publications

Roy Shadmon, Daniel Spencer, Owen Arden
Proximal Byzantine Consensus. CoRR (2024)
Tuan Tran, Faisal Nawab, Peter Alvaro, Owen Arden
Unstick Yourself: Recoverable Byzantine Fault Tolerant Services. ICBC (2023)
Priyanka Mondal, Maximilian Algehed, Owen Arden
Flow-limited authorization for consensus, replication, and secret sharing. J. Comput. Secur. 31 (5) (2023)
Tuan Tran, Haofan Zheng, Peter Alvaro, Owen Arden
Payment Channels Under Network Congestion. ICBC (2022)
Priyanka Mondal, Maximilian Algehed, Owen Arden
Applying consensus and replication securely with FLAQR. CoRR (2022)
Priyanka Mondal, Maximilian Algehed, Owen Arden
Applying consensus and replication securely with FLAQR. CSF (2022)
John Henry Castellanos, Martín Ochoa, Alvaro A. Cárdenas, Owen Arden, Jianying Zhou
AttkFinder: Discovering Attack Vectors in PLC Programs using Information Flow Analysis. RAID (2021)
Haofan Zheng, Tuan Tran, Owen Arden
Total Eclipse of the Enclave: Detecting Eclipse Attacks From Inside TEEs. IEEE ICBC (2021)
Haofan Zheng, Owen Arden
Secure Distributed Applications the Decent Way. ASSS@AsiaCCS (2021)
Owen Arden, Anitha Gollamudi, Ethan Cecchetti, Stephen Chong, Andrew C. Myers
A Calculus for Flow-Limited Authorization. CoRR (2021)
Haofan Zheng, Owen Arden
Building secure distributed applications the DECENT way. CoRR (2020)
Daniel J. Abadi, Owen Arden, Faisal Nawab, Moshe Shadmon
AnyLog: a Grand Unification of the Internet of Things. CIDR (2020)
Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti, Ross Tate, Owen Arden
First-Order Logic for Flow-Limited Authorization. CoRR (2020)
Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti, Ross Tate, Owen Arden
First-Order Logic for Flow-Limited Authorization. CSF (2020)
Anitha Gollamudi, Stephen Chong, Owen Arden
Information Flow Control for Distributed Trusted Execution Environments. CSF (2019)
Tuan Tran, Priyanka Mondal, Roy Shadmon, Manthan Mallikarjun, Peter Alvaro, Owen Arden
Vote Them Out: Detecting and Eliminating Byzantine Peers. SoCC (2019)
Priyanka Mondal, Owen Arden, Tuan Tran, Manthan Mallikarjun, Roy Shadmon, Peter Alvaro
Vote Them Out: Detecting and Eliminating Byzantine Peers. SoCC (2019)
Elisavet Kozyri, Owen Arden, Andrew C. Myers, Fred B. Schneider
JRIF: Reactive Information Flow Control for Java. Foundations of Security, Protocols, and Equational Reasoning (2019)
Ethan Cecchetti, Andrew C. Myers, Owen Arden
Nonmalleable Information Flow Control. CCS (2017)
Lucas Waye, Pablo Buiras, Owen Arden, Alejandro Russo, Stephen Chong
Cryptographically Secure Information Flow Control on Key-Value Stores. CCS (2017)
Ethan Cecchetti, Andrew C. Myers, Owen Arden
Nonmalleable Information Flow: Technical Report. CoRR (2017)
Lucas Waye, Pablo Buiras, Owen Arden, Alejandro Russo, Stephen Chong
Cryptographically Secure Information Flow Control on Key-Value Stores. CoRR (2017)
Jed Liu, Owen Arden, Michael D. George, Andrew C. Myers
Fabric: Building open distributed systems securely by construction. J. Comput. Secur. 25 (4-5) (2017)
Owen Arden, Andrew C. Myers
A Calculus for Flow-Limited Authorization. CSF (2016)
Owen Arden, Jed Liu, Andrew C. Myers
Flow-Limited Authorization. CSF (2015)
Jed Liu, Tom Magrino, Owen Arden, Michael D. George, Andrew C. Myers
Warranties for Faster Strong Consistency. NSDI (2014)
Alvin Cheung, Samuel Madden, Armando Solar-Lezama, Owen Arden, Andrew C. Myers
Using Program Analysis to Improve Database Applications. IEEE Data Eng. Bull. 37 (1) (2014)
Alvin Cheung, Owen Arden, Samuel Madden, Armando Solar-Lezama, Andrew C. Myers
StatusQuo: Making Familiar Abstractions Perform Using Program Analysis. CIDR (2013)
Alvin Cheung, Owen Arden, Samuel Madden, Andrew C. Myers
Speeding up database applications with Pyxis. SIGMOD Conference (2013)
Alvin Cheung, Owen Arden, Samuel Madden, Andrew C. Myers
Automatic Partitioning of Database Applications. Proc. VLDB Endow. 5 (11) (2012)
Owen Arden, Michael D. George, Jed Liu, K. Vikram, Aslan Askarov, Andrew C. Myers
Sharing Mobile Code Securely with Information Flow Control. IEEE Symposium on Security and Privacy (2012)
Alvin Cheung, Owen Arden, Samuel Madden, Andrew C. Myers
Automatic Partitioning of Database Applications CoRR (2012)