Dan O'Keeffe

According to our database, Dan O'Keeffe authored at least 30 papers between 2004 and 2026.

Collaborative distances:

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

2026

RustMC : Automated Verification of Real-World Concurrent Rust.

Oliver Pearce, Julien Lange, Dan O'Keeffe

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2026

Hacking Voice-Controllable Devices

Sergio Esposito, Daniele Sgandurra, Giampaolo Bella, Daniel O'Keeffe

Springer, ISBN: 978-3-031-88144-2, 2026

2025

RustMC: Extending the GenMC stateless model checker to Rust.

Oliver Pearce, Julien Lange, Dan O'Keeffe

CoRR, February, 2025

CloudFlow: Identifying Security-sensitive Data Flows in Serverless Applications.

Giuseppe Raffa, Jorge Blasco, Daniel O'Keeffe, Santanu Kumar Dash

Proceedings of the 34th USENIX Security Symposium, 2025

Links Between Package Popularity, Criticality, and Security in Software Ecosystems.

Alexis Butler, Daniel O'Keeffe, Santanu Kumar Dash

Proceedings of the IEEE International Conference on Software Analysis, 2025

Measuring Software Resilience Using Socially Aware Truck Factor Estimation.

Alexis Butler, Daniel O'Keeffe, Santanu Kumar Dash

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

Fast Durably Linearizable Data Structures for Free.

Sergey Egorov, Gregory V. Chockler, Brijesh Dongol, Dan O'Keeffe

Proceedings of the Advanced tools, 2025

2024

Securing Monolithic Kernels using Compartmentalization.

Soo-Yee Lim, Sidhartha Agrawal, Xueyuan Han, David M. Eyers, Dan O'Keeffe, Thomas Pasquier

CoRR, 2024

Towards Inter-Service Data Flow Analysis of Serverless Applications.

Giuseppe Raffa, Jorge Blasco, Daniel O'Keeffe, Santanu Kumar Dash

Proceedings of the IEEE International Conference on Software Analysis, 2024

Mangosteen: Fast Transparent Durability for Linearizable Applications using NVM.

Sergey Egorov, Gregory V. Chockler, Brijesh Dongol, Dan O'Keeffe, Sadegh Keshavarzi

Proceedings of the 2024 USENIX Annual Technical Conference, 2024

Revoke: Mitigating Ransomware Attacks Against Ethereum Validators.

Alpesh Bhudia, Daniel O'Keeffe, Darren Hurley-Smith

Proceedings of the Computer Security - ESORICS 2024, 2024

2023

AWSomePy: A Dataset and Characterization of Serverless Applications.

Giuseppe Raffa, Jorge Blasco Alís, Daniel O'Keeffe, Santanu Kumar Dash

Proceedings of the 1st Workshop on SErverless Systems, Applications and MEthodologies, 2023

A Knowledge Representation Framework for Evolutionary Simulations with Cognitive Agents.

Nausheen Saba Shahid, Dan O'Keeffe, Kostas Stathis

Proceedings of the 35th IEEE International Conference on Tools with Artificial Intelligence, 2023

2022

Hack the Heap: Heap Layout Manipulation made Easy.

Jordy Gennissen, Daniel O'Keeffe

Proceedings of the 43rd IEEE Security and Privacy, 2022

Evaluating Anti-Virus Effectiveness in Linux.

Giuseppe Raffa, Daniele Sgandurra, Daniel O'Keeffe

Proceedings of the IEEE International Conference on Big Data, 2022

2021

Spons & Shields: practical isolation for trusted execution.

Vasily A. Sartakov, Daniel O'Keeffe, David M. Eyers, Lluís Vilanova, Peter R. Pietzuch

Proceedings of the VEE '21: 17th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2021

Game-theoretic Simulations with Cognitive Agents.

Nausheen Saba Shahid, Dan O'Keeffe, Kostas Stathis

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

RansomClave: Ransomware Key Management using SGX.

Alpesh Bhudia, Daniel O'Keeffe, Daniele Sgandurra, Darren Hurley-Smith

Proceedings of the ARES 2021: The 16th International Conference on Availability, 2021

2020

Facilitating plausible deniability for cloud providers regarding tenants' activities using trusted execution.

Dan O'Keeffe, Asma Vranaki, Thomas F. J.-M. Pasquier, David M. Eyers

Proceedings of the 2020 IEEE International Conference on Cloud Engineering, 2020

PAIGE: towards a hybrid-edge design for privacy-preserving intelligent personal assistants.

Yilei Liang, Dan O'Keeffe, Nishanth Sastry

Proceedings of the 3rd International Workshop on Edge Systems, Analytics and Networking, 2020

2018

Frontier: Resilient Edge Processing for the Internet of Things.

Dan O'Keeffe, Theodoros Salonidis, Peter R. Pietzuch

Proc. VLDB Endow., 2018

LibSEAL: revealing service integrity violations using trusted execution.

Pierre-Louis Aublin, Florian Kelbert, Dan O'Keeffe, Divya Muthukumaran, Christian Priebe, Joshua Lind, Robert Krahn, Christof Fetzer, David M. Eyers, Peter R. Pietzuch

Proceedings of the Thirteenth EuroSys Conference, 2018

2017

Glamdring: Automatic Application Partitioning for Intel SGX.

Joshua Lind, Christian Priebe, Divya Muthukumaran, Dan O'Keeffe, Pierre-Louis Aublin, Florian Kelbert, Tobias Reiher, David Goltzsche, David M. Eyers, Rüdiger Kapitza, Christof Fetzer, Peter R. Pietzuch

Proceedings of the 2017 USENIX Annual Technical Conference, 2017

2016

SCONE: Secure Linux Containers with Intel SGX.

Sergei Arnautov, Bohdan Trach, Franz Gregor, Thomas Knauth, André Martin, Christian Priebe, Joshua Lind, Divya Muthukumaran, Dan O'Keeffe, Mark Stillwell, David Goltzsche, David M. Eyers, Rüdiger Kapitza, Peter R. Pietzuch, Christof Fetzer

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

2015

Network-aware stream query processing in mobile ad-hoc networks.

Dan O'Keeffe, Theodoros Salonidis, Peter R. Pietzuch

Proceedings of the 34th IEEE Military Communications Conference, 2015

FlowWatcher: Defending against Data Disclosure Vulnerabilities in Web Applications.

Divya Muthukumaran, Dan O'Keeffe, Christian Priebe, David M. Eyers, Brian Shand, Peter R. Pietzuch

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

2014

CloudSafetyNet: Detecting Data Leakage between Cloud Tenants.

Christian Priebe, Divya Muthukumaran, Dan O'Keeffe, David M. Eyers, Brian Shand, Rüdiger Kapitza, Peter R. Pietzuch

Proceedings of the 6th edition of the ACM Workshop on Cloud Computing Security, 2014

2010

Distributed complex event detection for pervasive computing.

Daniel Brendan O'Keeffe

PhD thesis, 2010

Reliable complex event detection for pervasive computing.

Dan O'Keeffe, Jean Bacon

Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems, 2010

2004

Event dissemination in mobile wireless sensor networks.

Salman Taherian, Dan O'Keeffe, Jean Bacon

Proceedings of the 2004 IEEE International Conference on Mobile Ad-hoc and Sensor Systems, 2004