Application-Scale Secure Multiparty Computation. - John Launchbury; Dave Archer 001; Thomas DuBuisson; Eric Mertens (ESOP, 2014)

TrackOS: A Security-Aware Real-Time Operating System. - Lee Pike; Patrick C. Hickey; Trevor Elliott; Eric Mertens; Aaron Tomb (RV, 2016)

Continuous Formal Verification of Amazon s2n. - Andrey Chudnov; Nathan Collins; Byron Cook; Joey Dodds; Brian Huffman; Colm MacCárthaigh; Stephen Magill; Eric Mertens; Eric Mullen; Serdar Tasiran; Aaron Tomb; Eddy Westbrook (CAV (2), 2018)

Weird Machines as Insecure Compilation. - Jennifer Paykin; Eric Mertens; Mark Tullsen; Luke Maurer; Benoît Razet; Alexander Bakst; Scott Moore 001 (CoRR, 2019)

A Semantic Reference Model for Capturing System Development and Evaluation. - Abha Moitra; Paul Cuddihy; Kit Siu; Baoluo Meng; John Interrante; David W. Archer; Eric Mertens; Kevin Quick; Valentin Robert; Daniel Russell (ICSC, 2022)

RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence. - Abha Moitra; Paul Cuddihy; Kit Siu; David W. Archer; Eric Mertens; Daniel Russell; Kevin Quick; Valentin Robert; Baoluo Meng (SAFECOMP Workshops, 2023)

Aviation Certification Powered by the Semantic Web Stack. - Paul Cuddihy; Daniel Russell; Eric Mertens; Kit Siu; David W. Archer; Jenny Williams (ISWC, 2023)

Enabling Development of an Extensible, Multi-Perspective Ontology. - Abha Moitra; Kit Siu; Paul Cuddihy; Daniel Russell; Eric Mertens; Dave Archer 001; Kevin Quick (ICSC, 2024)