Dan O'Keeffe
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
8
Active years
2004–2026
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FORTE | RustMC : Automated Verification of Real-World Concurrent Rust. | Oliver Pearce, Julien Lange, Dan O'Keeffe |
| 2024 | USENIX | Mangosteen: Fast Transparent Durability for Linearizable Applications using NVM. | Sergey Egorov, Gregory V. Chockler, Brijesh Dongol, Dan O'Keeffe, Sadegh Keshavarzi |
| 2023 | ICTAI | A Knowledge Representation Framework for Evolutionary Simulations with Cognitive Agents. | Nausheen Saba Shahid, Dan O'Keeffe, Kostas Stathis |
| 2021 | ICTAI | Game-theoretic Simulations with Cognitive Agents. | Nausheen Saba Shahid, Dan O'Keeffe, Kostas Stathis |
| 2020 | EuroSys | PAIGE: towards a hybrid-edge design for privacy-preserving intelligent personal assistants. | Yilei Liang, Dan O'Keeffe, Nishanth Sastry |
| 2020 | IC2E | 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 |
| 2018 | EuroSys | 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 |
| 2017 | USENIX | 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, Rdiger Kapitza, Christof Fetzer, Peter R. Pietzuch |
| 2016 | OSDI | 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, Rdiger Kapitza, Peter R. Pietzuch, Christof Fetzer |
| 2015 | CCS | FlowWatcher: Defending against Data Disclosure Vulnerabilities in Web Applications. | Divya Muthukumaran, Dan O'Keeffe, Christian Priebe, David M. Eyers, Brian Shand, Peter R. Pietzuch |
| 2014 | CCS | CloudSafetyNet: Detecting Data Leakage between Cloud Tenants. | Christian Priebe, Divya Muthukumaran, Dan O'Keeffe, David M. Eyers, Brian Shand, Rdiger Kapitza, Peter R. Pietzuch |
| 2004 | MASS | Event dissemination in mobile wireless sensor networks. | Salman Taherian, Dan O'Keeffe, Jean Bacon |