Folgen
Owen Arden
Owen Arden
Assistant Professor of Computer Science UCSC
Bestätigte E-Mail-Adresse bei soe.ucsc.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Automatic partitioning of database applications
A Cheung, O Arden, S Madden, AC Myers
arXiv preprint arXiv:1208.0271, 2012
912012
Sharing mobile code securely with information flow control
O Arden, MD George, J Liu, K Vikram, A Askarov, AC Myers
2012 IEEE Symposium on Security and Privacy, 191-205, 2012
912012
Nonmalleable information flow control
E Cecchetti, AC Myers, O Arden
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
632017
Fabric: Building open distributed systems securely by construction
J Liu, O Arden, MD George, AC Myers
Journal of Computer Security 25 (4-5), 367-426, 2017
542017
Flow-limited authorization
O Arden, J Liu, AC Myers
2015 IEEE 28th Computer Security Foundations Symposium, 569-583, 2015
482015
System and apparatus to manage data using a peer-to-peer network and the blockchain
M Shadmon, L Cohen, D Abadi, O Arden
US Patent 10,868,865, 2020
432020
Warranties for faster strong consistency
J Liu, T Magrino, O Arden, MD George, AC Myers
11th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2014
392014
StatusQuo: Making Familiar Abstractions Perform Using Program Analysis.
A Cheung, O Arden, S Madden, A Solar-Lezama, AC Myers
CIDR, 2013
382013
Using Program Analysis to Improve Database Applications.
A Cheung, S Madden, A Solar-Lezama, O Arden, AC Myers
IEEE Data Eng. Bull. 37 (1), 48-59, 2014
352014
A calculus for flow-limited authorization
O Arden, AC Myers
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 135-149, 2016
282016
Anylog: a grand unification of the internet of things
D Abadi, O Arden, F Nawab, M Shadmon
Conference on Innovative Data Systems Research (CIDR ‘20), 2020
212020
Cryptographically secure information flow control on key-value stores
L Waye, P Buiras, O Arden, A Russo, S Chong
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
202017
JRIF: reactive information flow control for java
E Kozyri, O Arden, AC Myers, FB Schneider
Foundations of Security, Protocols, and Equational Reasoning: Essays …, 2019
192019
Information flow control for distributed trusted execution environments
A Gollamudi, S Chong, O Arden
2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 304-30414, 2019
182019
Speeding up database applications with pyxis
A Cheung, O Arden, S Madden, AC Myers
Proceedings of the 2013 ACM SIGMOD International Conference on Management of …, 2013
92013
Total Eclipse of the enclave: detecting Eclipse attacks from inside TEEs
H Zheng, T Tran, O Arden
2021 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 1-5, 2021
82021
AttkFinder: Discovering attack vectors in PLC programs using information flow analysis
JH Castellanos, M Ochoa, AA Cardenas, O Arden, J Zhou
Proceedings of the 24th International Symposium on Research in Attacks …, 2021
72021
Jif 3.5: Java information flow
T Magrino, J Liu, O Arden, C Isradisaikul, AC Myers
software release, 2016
62016
Fabric 0.3. Software release
O Arden, J Liu, T Magrino, AC Myers
52016
Secure distributed applications the decent way
H Zheng, O Arden
Proceedings of the 2021 International Symposium on Advanced Security on …, 2021
42021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20