Toby Murray

61 papers A* 5A 2B 6C 1Misc 1Journal 36Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
Bit-Vector CHC Solving for Binary Analysis and Binary Analysis for Bit-Vector CHC Solving.
CoRR
Aaron Bembenek, Toby Murray
2026 J jnl
Following Dragons: Code Review-Guided Fuzzing.
CoRR
Viet Hoang Luu, Amirmohammad Pasdar, Wachiraphan Charoenwet, Toby Murray, Shaanan Cohney, Van-Thuan Pham
2026 J jnl
Lipschitz-Based Robustness Certification Under Floating-Point Execution.
CoRR
Toby Murray
2026 J jnl
PatchGuru: Patch Oracle Inference from Natural Language Artifacts with Large Language Models.
CoRR
Thanh Le-Cong, Bach Le, Toby Murray, Michael Pradel, Cristian Cadar
2025 J jnl
A Formally Verified Robustness Certifier for Neural Networks (Extended Version).
CoRR
James Tobler, Hira Taqdees Syeda, Toby Murray
2025 — conf
A Formally Verified Robustness Certifier for Neural Networks.
CAV (2)
James Tobler, Hira Taqdees Syeda, Toby Murray
2025 — conf
Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference.
ACL (1)
Thanh Le-Cong, Bach Le, Toby Murray
2025 J jnl
Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference.
CoRR
Thanh Le-Cong, Bach Le, Toby Murray
2025 J jnl
DynamiQ: Unlocking the Potential of Dynamic Task Allocation in Parallel Fuzzing.
CoRR
Wenqi Yan, Toby Murray, Benjamin I. P. Rubinstein, Van-Thuan Pham
2025 J jnl
PhantomLint: Principled Detection of Hidden LLM Prompts in Structured Documents.
CoRR
Toby Murray
2025 J jnl
Towards Reliable Evaluation of Neural Program Repair with Natural Robustness Testing.
ACM Trans. Softw. Eng. Methodol.
Thanh Le-Cong, Dat Nguyen, Bach Le, Toby Murray
2025 — conf
Trailblazer: Practical End-to-end Web API Fuzzing (Registered Report).
ISSTA Companion
Lianglu Pan, Shaanan Cohney, Toby Murray, Van-Thuan Pham
2025 J jnl
UIXPOSE: Mobile Malware Detection via Intention-Behaviour Discrepancy Analysis.
CoRR
Amirmohammad Pasdar, Toby Murray, Van-Thuan Pham
2024 B conf
A Generalised Union of Rely-Guarantee and Separation Logic Using Permission Algebras.
ITP
Vincent Jackson, Toby Murray, Christine Rizkallah
2024 J jnl
Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms (Extended Version).
CoRR
Pengbo Yan, Toby Murray, Olga Ohrimenko, Van-Thuan Pham, Robert Sison
2024 — conf
Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms.
FM (1)
Pengbo Yan, Toby Murray, Olga Ohrimenko, Van-Thuan Pham, Robert Sison
2024 A* conf
EDEFuzz: A Web API Fuzzer for Excessive Data Exposures.
ICSE
Lianglu Pan, Shaanan Cohney, Toby Murray, Van-Thuan Pham
2024 A* conf
Elephants Do Not Forget: Differential Privacy with State Continuity for Privacy Budget.
CCS
Jiankai Jin, Chitchanok Chuengsatiansup, Toby Murray, Benjamin I. P. Rubinstein, Yuval Yarom, Olga Ohrimenko
2024 J jnl
Elephants Do Not Forget: Differential Privacy with State Continuity for Privacy Budget.
CoRR
Jiankai Jin, Chitchanok Chuengsatiansup, Toby Murray, Benjamin I. P. Rubinstein, Yuval Yarom, Olga Ohrimenko
2024 J jnl
Evaluating Program Repair with Semantic-Preserving Transformations: A Naturalness Assessment.
CoRR
Thanh Le-Cong, Dat Nguyen, Bach Le, Toby Murray
2024 J jnl
Evict+Spec+Time: Exploiting Out-of-Order Execution to Improve Cache-Timing Attacks.
IACR Cryptol. ePrint Arch.
Shing Hing William Cheng, Chitchanok Chuengsatiansup, Daniel Genkin, Dallas McNeil, Toby Murray, Yuval Yarom, Zhiyuan Zhang
2024 J jnl
Evict+Spec+Time: Exploiting Out-of-Order Execution to Improve Cache-Timing Attacks.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
Shing Hing William Cheng, Chitchanok Chuengsatiansup, Daniel Genkin, Dallas McNeil, Toby Murray, Yuval Yarom, Zhiyuan Zhang
2024 B conf
OOBKey: Key Exchange with Implantable Medical Devices Using Out-Of-Band Channels.
ARES
Mo Zhang, Eduard Marin, Mark Ryan, Vassilis Kostakos, Toby Murray, Benjamin Tag, David F. Oswald
2024 J jnl
Semantic-guided Search for Efficient Program Repair with Large Language Models.
CoRR
Thanh Le-Cong, Bach Le, Toby Murray
2024 J jnl
Symbol Correctness in Deep Neural Networks Containing Symbolic Layers.
CoRR
Aaron Bembenek, Toby Murray
2023 J jnl
Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications (Extended Version).
CoRR
Toby Murray, Mukesh Tiwari, Gidon Ernst, David A. Naumann
2023 A* conf
Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications.
CCS
Toby Murray, Mukesh Tiwari, Gidon Ernst, David A. Naumann
2023 — conf
Beyond the Coverage Plateau: A Comprehensive Study of Fuzz Blockers (Registered Report).
FUZZING
Wentao Gao, Van-Thuan Pham, Dongge Liu, Oliver Chang, Toby Murray, Benjamin I. P. Rubinstein
2023 C conf
Compositional Vulnerability Detection with Insecurity Separation Logic.
ICFEM
Toby Murray, Pengbo Yan, Gidon Ernst
2023 J jnl
Detecting Excessive Data Exposures in Web Server Responses with Metamorphic Fuzzing.
CoRR
Lianglu Pan, Shaanan Cohney, Toby Murray, Van-Thuan Pham
2023 B conf
Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems.
FM
Robert Sison, Scott Buckley, Toby Murray, Gerwin Klein, Gernot Heiser
2023 J jnl
Proving the Absence of Microarchitectural Timing Channels.
CoRR
Scott Buckley, Robert Sison, Nils Wistoff, Curtis Millar, Toby Murray, Gerwin Klein, Gernot Heiser
2022 J jnl
"Free" as in Freedom to Protest?
IEEE Secur. Priv.
Fabio Massacci, Antonino Sabetta, Jelena Mirkovic, Toby Murray, Hamed Okhravi, Mohammad Mannan, Anderson Rocha, Eric Bodden, Daniel E. Geer
2022 — conf
A Hoare Logic with Regular Behavioral Specifications.
ISoLA (1)
Gidon Ernst, Alexander Knapp, Toby Murray
2022 J jnl
A Hoare Logic with Regular Behavioral Specifications.
CoRR
Gidon Ernst, Alexander Knapp, Toby Murray
2022 A conf
State Selection Algorithms and Their Impact on The Performance of Stateful Network Protocol Fuzzing.
SANER
Dongge Liu, Van-Thuan Pham, Gidon Ernst, Toby Murray, Benjamin I. P. Rubinstein
2021 J jnl
Cogent: uniqueness types and certifying compilation.
J. Funct. Program.
Liam O'Connor, Zilin Chen, Christine Rizkallah, Vincent Jackson, Sidney Amani, Gerwin Klein, Toby Murray, Thomas Sewell, Gabriele Keller
2021 — conf
Deductive Verification via the Debug Adapter Protocol.
F-IDE@NFM
Gidon Ernst, Johannes Blau, Toby Murray
2021 J jnl
Incremental Vulnerability Detection via Back-Propagating Symbolic Execution of Insecurity Separation Logic.
CoRR
Toby Murray, Pengbo Yan, Gidon Ernst
2021 J jnl
Information-flow control on ARM and POWER multicore processors.
Formal Methods Syst. Des.
Graeme Smith, Nicholas Coughlin, Toby Murray
2021 J jnl
SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency (Extended version with technical appendices).
CoRR
Pengbo Yan, Toby Murray
2021 J jnl
SecRSL: security separation logic for C11 release-acquire concurrency.
Proc. ACM Program. Lang.
Pengbo Yan, Toby Murray
2021 J jnl
State Selection Algorithms and Their Impact on The Performance of Stateful Network Protocol Fuzzing.
CoRR
Dongge Liu, Van-Thuan Pham, Gidon Ernst, Toby Murray, Benjamin I. P. Rubinstein
2021 A* conf
Towards Systematic and Dynamic Task Allocation for Collaborative Parallel Fuzzing.
ASE
Van-Thuan Pham, Manh-Dung Nguyen, Quang-Trung Ta, Toby Murray, Benjamin I. P. Rubinstein
2021 J jnl
Verified secure compilation for mixed-sensitivity concurrent programs.
J. Funct. Program.
Robert Sison, Toby Murray
2020 J jnl
An Under-Approximate Relational Logic.
Arch. Formal Proofs
Toby Murray
2020 J jnl
An Under-Approximate Relational Logic: Heralding Logics of Insecurity, Incorrect Implementation & More.
CoRR
Toby Murray
2020 A* conf
LEGION: Best-First Concolic Testing.
ASE
Dongge Liu, Gidon Ernst, Toby Murray, Benjamin I. P. Rubinstein
2020 B conf
Legion: Best-First Concolic Testing (Competition Contribution).
FASE
Dongge Liu, Gidon Ernst, Toby Murray, Benjamin I. P. Rubinstein
2020 J jnl
Legion: Best-First Concolic Testing.
CoRR
Dongge Liu, Gidon Ernst, Toby Murray, Benjamin I. P. Rubinstein
2020 J jnl
Towards Provable Timing-Channel Prevention.
ACM SIGOPS Oper. Syst. Rev.
Gernot Heiser, Toby Murray, Gerwin Klein
2020 J jnl
VERONICA: Expressive and Precise Concurrent Information Flow Security (Extended Version with Technical Appendices).
CoRR
Daniel Schoepe, Toby Murray, Andrei Sabelfeld
2020 A conf
VERONICA: Expressive and Precise Concurrent Information Flow Security.
CSF
Daniel Schoepe, Toby Murray, Andrei Sabelfeld
2020 J jnl
Verified Secure Compilation for Mixed-Sensitivity Concurrent Programs.
CoRR
Robert Sison, Toby Murray
2019 — conf
Empirically Analyzing Ethereum's Gas Mechanism.
EuroS&P Workshops
Renlord Yang, Toby Murray, Paul Rimba, Udaya Parampalli
2019 J jnl
Empirically Analyzing Ethereum's Gas Mechanism.
CoRR
Renlord Yang, Toby Murray, Paul Rimba, Udaya Parampalli
2019 — ed.
Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2019, London, United Kingdom, July 15, 2019
FTfJP@ECOOP
Toby Murray, Gidon Ernst
2019 — conf
SecCSL: Security Concurrent Separation Logic.
CAV (2)
Gidon Ernst, Toby Murray
2019 B conf
Value-Dependent Information-Flow Security on Weak Memory Models.
FM
Graeme Smith, Nicholas Coughlin, Toby Murray
2019 B conf
Verifying That a Compiler Preserves Concurrent Value-Dependent Information-Flow Security.
ITP
Robert Sison, Toby Murray
2018 Misc conf
In search of perfect users: towards understanding the usability of converged multi-level secure user interfaces.
OZCHI
Abdullah Issa, Toby Murray, Gidon Ernst