Toby Murray
- COGENT: Certified Compilation for a Functional Systems Language
2016/01/21 by Liam O'Connor, Christine Rizkallah, O'Connor, Liam +19 · 2 voices
#cs.PL #cs.LO
- Can We Prove Time Protection?
2019/01/24 by Gernot Heiser, Gerwin Klein, Heiser, Gernot +3 · 1 voice
Computer Science · #Security and Verification in Computing #Cryptographic Implementations and Security #Cloud Data Security Solutions
- Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference
2025/02/22 by Thanh Le-Cong, Le-Cong, Thanh, Bach Le +3 · 1 voice · 7 citations
#cs.PL #cs.AI #cs.SE
- State Selection Algorithms and Their Impact on The Performance of Stateful Network Protocol Fuzzing
2021/12/24 by Dongge Liu, Liu, Dongge, Van-Thuan Pham +7 · 2 citations
Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Network Packet Processing and Optimization #Software Engineering (cs.SE) #Software System Performance and Reliability #Software Testing and Debugging Techniques
- Empirically Analyzing Ethereum's Gas Mechanism
2019/05/02 by Renlord Yang, Toby Murray, Yang, Renlord +5 · 1 citation
Computer Science · Engineering · #Blockchain Technology Applications and Security #Innovative Microfluidic and Catalytic Techniques Innovation #Peer-to-Peer Network Technologies