Toby Murray

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 43

Top Topics

Multicore Processors

Information Flows

Top Venues

J. Funct. Program.

Publications

Pengbo Yan, Toby Murray, Olga Ohrimenko, Van-Thuan Pham, Robert Sison
Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms (Extended Version). CoRR (2024)
Aaron Bembenek, Toby Murray
Symbol Correctness in Deep Neural Networks Containing Symbolic Layers. CoRR (2024)
Mo Zhang, Eduard Marin, Mark Ryan, Vassilis Kostakos, Toby Murray, Benjamin Tag, David F. Oswald
OOBKey: Key Exchange with Implantable Medical Devices Using Out-Of-Band Channels. ARES (2024)
Jiankai Jin, Chitchanok Chuengsatiansup, Toby Murray, Benjamin I. P. Rubinstein, Yuval Yarom, Olga Ohrimenko
Elephants Do Not Forget: Differential Privacy with State Continuity for Privacy Budget. CoRR (2024)
Shing Hing William Cheng, Chitchanok Chuengsatiansup, Daniel Genkin, Dallas McNeil, Toby Murray, Yuval Yarom, Zhiyuan Zhang
Evict+Spec+Time: Exploiting Out-of-Order Execution to Improve Cache-Timing Attacks. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2024 (3) (2024)
Shing Hing William Cheng, Chitchanok Chuengsatiansup, Daniel Genkin, Dallas McNeil, Toby Murray, Yuval Yarom, Zhiyuan Zhang
Evict+Spec+Time: Exploiting Out-of-Order Execution to Improve Cache-Timing Attacks. IACR Cryptol. ePrint Arch. 2024 (2024)
Thanh Le-Cong, Dat Nguyen, Bach Le, Toby Murray
Evaluating Program Repair with Semantic-Preserving Transformations: A Naturalness Assessment. CoRR (2024)
Lianglu Pan, Shaanan Cohney, Toby Murray, Van-Thuan Pham
EDEFuzz: A Web API Fuzzer for Excessive Data Exposures. ICSE (2024)
Toby Murray, Mukesh Tiwari, Gidon Ernst, David A. Naumann
Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications (Extended Version). CoRR (2023)
Toby Murray, Mukesh Tiwari, Gidon Ernst, David A. Naumann
Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications. CCS (2023)
Toby Murray, Pengbo Yan, Gidon Ernst
Compositional Vulnerability Detection with Insecurity Separation Logic. ICFEM (2023)
Wentao Gao, Van-Thuan Pham, Dongge Liu, Oliver Chang, Toby Murray, Benjamin I. P. Rubinstein
Beyond the Coverage Plateau: A Comprehensive Study of Fuzz Blockers (Registered Report). FUZZING (2023)
Lianglu Pan, Shaanan Cohney, Toby Murray, Van-Thuan Pham
Detecting Excessive Data Exposures in Web Server Responses with Metamorphic Fuzzing. CoRR (2023)
Robert Sison, Scott Buckley, Toby Murray, Gerwin Klein, Gernot Heiser
Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems. FM (2023)
Scott Buckley, Robert Sison, Nils Wistoff, Curtis Millar, Toby Murray, Gerwin Klein, Gernot Heiser
Proving the Absence of Microarchitectural Timing Channels. CoRR (2023)
Dongge Liu, Van-Thuan Pham, Gidon Ernst, Toby Murray, Benjamin I. P. Rubinstein
State Selection Algorithms and Their Impact on The Performance of Stateful Network Protocol Fuzzing. SANER (2022)
Fabio Massacci, Antonino Sabetta, Jelena Mirkovic, Toby Murray, Hamed Okhravi, Mohammad Mannan, Anderson Rocha, Eric Bodden, Daniel E. Geer
"Free" as in Freedom to Protest? IEEE Secur. Priv. 20 (5) (2022)
Gidon Ernst, Alexander Knapp, Toby Murray
A Hoare Logic with Regular Behavioral Specifications. ISoLA (1) (2022)
Gidon Ernst, Alexander Knapp, Toby Murray
A Hoare Logic with Regular Behavioral Specifications. CoRR (2022)
Pengbo Yan, Toby Murray
SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency (Extended version with technical appendices). CoRR (2021)
Van-Thuan Pham, Manh-Dung Nguyen, Quang-Trung Ta, Toby Murray, Benjamin I. P. Rubinstein
Towards Systematic and Dynamic Task Allocation for Collaborative Parallel Fuzzing. ASE (2021)
Gidon Ernst, Johannes Blau, Toby Murray
Deductive Verification via the Debug Adapter Protocol. F-IDE@NFM (2021)
Graeme Smith, Nicholas Coughlin, Toby Murray
Information-flow control on ARM and POWER multicore processors. Formal Methods Syst. Des. 58 (1-2) (2021)
Dongge Liu, Van-Thuan Pham, Gidon Ernst, Toby Murray, Benjamin I. P. Rubinstein
State Selection Algorithms and Their Impact on The Performance of Stateful Network Protocol Fuzzing. CoRR (2021)
Robert Sison, Toby Murray
Verified secure compilation for mixed-sensitivity concurrent programs. J. Funct. Program. 31 (2021)
Toby Murray, Pengbo Yan, Gidon Ernst
Incremental Vulnerability Detection via Back-Propagating Symbolic Execution of Insecurity Separation Logic. CoRR (2021)
Pengbo Yan, Toby Murray
SecRSL: security separation logic for C11 release-acquire concurrency. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Liam O'Connor, Zilin Chen, Christine Rizkallah, Vincent Jackson, Sidney Amani, Gerwin Klein, Toby Murray, Thomas Sewell, Gabriele Keller
Cogent: uniqueness types and certifying compilation. J. Funct. Program. 31 (2021)
Robert Sison, Toby Murray
Verified Secure Compilation for Mixed-Sensitivity Concurrent Programs. CoRR (2020)
Daniel Schoepe, Toby Murray, Andrei Sabelfeld
VERONICA: Expressive and Precise Concurrent Information Flow Security. CSF (2020)
Daniel Schoepe, Toby Murray, Andrei Sabelfeld
VERONICA: Expressive and Precise Concurrent Information Flow Security (Extended Version with Technical Appendices). CoRR (2020)
Gernot Heiser, Toby Murray, Gerwin Klein
Towards Provable Timing-Channel Prevention. ACM SIGOPS Oper. Syst. Rev. 54 (1) (2020)
Toby Murray
An Under-Approximate Relational Logic: Heralding Logics of Insecurity, Incorrect Implementation & More. CoRR (2020)
Dongge Liu, Gidon Ernst, Toby Murray, Benjamin I. P. Rubinstein
LEGION: Best-First Concolic Testing. ASE (2020)
Dongge Liu, Gidon Ernst, Toby Murray, Benjamin I. P. Rubinstein
Legion: Best-First Concolic Testing (Competition Contribution). FASE (2020)
Toby Murray
An Under-Approximate Relational Logic. Arch. Formal Proofs 2020 (2020)
Dongge Liu, Gidon Ernst, Toby Murray, Benjamin I. P. Rubinstein
Legion: Best-First Concolic Testing. CoRR (2020)
Renlord Yang, Toby Murray, Paul Rimba, Udaya Parampalli
Empirically Analyzing Ethereum's Gas Mechanism. CoRR (2019)
Robert Sison, Toby Murray
Verifying That a Compiler Preserves Concurrent Value-Dependent Information-Flow Security. ITP (2019)
Graeme Smith, Nicholas Coughlin, Toby Murray
Value-Dependent Information-Flow Security on Weak Memory Models. FM (2019)
Gidon Ernst, Toby Murray
SecCSL: Security Concurrent Separation Logic. CAV (2) (2019)
Renlord Yang, Toby Murray, Paul Rimba, Udaya Parampalli
Empirically Analyzing Ethereum's Gas Mechanism. EuroS&P Workshops (2019)
Abdullah Issa, Toby Murray, Gidon Ernst
In search of perfect users: towards understanding the usability of converged multi-level secure user interfaces. OZCHI (2018)