Tom Melham

Professor Tom Melham FRSE

Professor of Computer Science

Tutorial Fellow, Balliol College

T: +44 (0)1865 273824

Themes:

• Automated Verification

Completed Projects:

• Model Checking Partially Ordered State Spaces
• Verified Communication Protocols for Multicore/SoC Architectures
• Metacomputation

See Also:

• Personal Web Pages
• List of all Publications

Selected Publications

View AllManage publications

• Automatic Heap Layout Manipulation for Exploitation

  Sean Heelan‚ Tom Melham and Daniel Kroening

  In William Enck and Adrienne Porter Felt, editors, 27th USENIX Security Symposium‚ USENIX Security 18: Baltimore‚ MD‚ USA‚ August 15–17‚ 2018. Pages 763–779. USENIX Association. 2018.

  Details about Automatic Heap Layout Manipulation for Exploitation | BibTeX data for Automatic Heap Layout Manipulation for Exploitation | Download (pdf) of Automatic Heap Layout Manipulation for Exploitation

• Symbolic Trajectory Evaluation

  Tom Melham

  In Edmund M. Clarke‚ Thomas A. Henzinger‚ Helmut Veith and Roderick Bloem, editors, Handbook of Model Checking. Chapter 25. Pages 831–870. Springer International Publishing. 2018.

  Details about Symbolic Trajectory Evaluation | BibTeX data for Symbolic Trajectory Evaluation | DOI (10.1007/978-3-319-10575-8_25)

• Effective Verification for Low−Level Software with Competing Interrupts

  Lihao Liang‚ Tom Melham‚ Daniel Kroening‚ Peter Schrammel and Michael Tautschnig

  In ACM Transactions on Embedded Computing Systems. Vol. 17. No. 2. Pages 36:1–36:26. December, 2017.

  Details about Effective Verification for Low−Level Software with Competing Interrupts | BibTeX data for Effective Verification for Low−Level Software with Competing Interrupts | DOI (10.1145/3147432) | Download (pdf) of Effective Verification for Low−Level Software with Competing Interrupts

Activities

• Hardware Verification

Projects

• Effective Validation of Firmware

Current Students

Past Students