Archive

TrustedThings

A collaborative on vulnerability discovery combining systems, formal methods, and dynamic software testing.

TrustedThings is a collaboration between Shaanan Cohney, Toby Murray, and Thuan Pham focused on vulnerability discovery in systems that are difficult to test.

The work integrates systems thinking, formal methods, and dynamic testing, building on prior advances in scalable fuzzing and automated security testing. Current efforts include identifying excessive data exposures, improving end-to-end Web API fuzzing, and linking program structure to more effective test generation. The collaboration also supports joint student supervision and contract-funded Masters projects in software security.

Team

Researchers and PhD students

Masters students

Matthew Pham, Ryan Chen, Han Perry, Xiaocong Zhang, Qingyun Wu, Michael Maxwell Wenn, Haodong Gu, Zachary Duthie, and Simon Kelly.

Undergraduate students

Fane Ye and Ray Zhang.

Research

What we work on

  • Finding vulnerabilities in software systems that are hard to test with conventional methods.
  • Web APIs, stateful network protocols, and other systems with incomplete specifications, deep state, or weak bug oracles.
  • Automated testing methods that recover structure from real artefacts and use that structure to drive fuzzing.
  • Metamorphic fuzzing for excessive data exposure, end-to-end fuzzing for undocumented APIs, stronger stateful protocol fuzzing, and code-review-guided fuzzing.
  • Making vulnerability discovery work on systems that standard fuzzing handles poorly.

Activity

Shared supervision and project work

  • Joint PhD and Masters supervision, shared tool-building, and partner-linked project work in automated software security.
  • Recent student work spanning Web API security testing, protocol fuzzing and reverse engineering, and source-code- and review-guided test generation.

Outcomes

Selected publications, patent, and recognition

Funding

Joint support

CSA, Research Contract for 2x Masters Projects

$110,000 AUD · 2024 · with Van Thuan Pham and Toby Murray

Defense Science Technology Group, Research Contract for PhD Supervision

$30,000 AUD · 2024 · with Van Thuan Pham and Toby Murray

Feedback-Guided Security Testing for Embedded Systems

University CIS Competitive Grant · $35,000 AUD · 2023 · with Van Thuan Pham and Toby Murray