Checking and Spot-Checking the Correctness of Priority Queues. - Matthew Chu; Sampath Kannan; Andrew McGregor 001 (ICALP, 2007)

Modeling Modern Network Attacks and Countermeasures Using Attack Graphs. - Kyle Ingols; Matthew Chu; Richard Lippmann; Seth E. Webster; Stephen W. Boyer (ACSAC, 2009)

Visualizing attack graphs, reachability, and trust relationships with NAVIGATOR. - Matthew Chu; Kyle Ingols; Richard Lippmann; Seth E. Webster; Stephen W. Boyer (VizSEC, 2010)