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)

SideTrail: Verifying Time-Balancing of Cryptosystems. - Konstantinos Athanasiou; Byron Cook; Michael Emmi; Colm MacCárthaigh; Daniel Schwartz-Narbonne; Serdar Tasiran (VSTTE, 2018)

Restoring Uniqueness in MicroVM Snapshots. - Marc Brooker; Adrian Costin Catangiu; Mike Danilov; Alexander Graf; Colm MacCárthaigh; Andrei Sandu (CoRR, 2021)