Owen Arden

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