Perentie: Modular Trace Refinement and Selective Value Tracking - (Competition Contribution). - Franck Cassez; Takashi Matsuoka; Edward Pierzchalski; Nathan Smyth (TACAS, 2015)

Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference. - Toby C. Murray; Robert Sison; Edward Pierzchalski; Christine Rizkallah (CSF, 2016)

A Dependent Security Type System for Concurrent Imperative Programs. - Toby C. Murray; Robert Sison; Edward Pierzchalski; Christine Rizkallah (Arch. Formal Proofs, 2016)

Compositional Security-Preserving Refinement for Concurrent Imperative Programs. - Toby C. Murray; Robert Sison; Edward Pierzchalski; Christine Rizkallah (Arch. Formal Proofs, 2016)