Colm MacCárthaigh

According to our database, Colm MacCárthaigh authored at least 3 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Restoring Uniqueness in MicroVM Snapshots.

Marc Brooker, Adrian Costin Catangiu, Mike Danilov, Alexander Graf, Colm MacCárthaigh, Andrei Sandu

CoRR, 2021

2018

SideTrail: Verifying Time-Balancing of Cryptosystems.

Konstantinos Athanasiou, Byron Cook, Michael Emmi, Colm MacCárthaigh, Daniel Schwartz-Narbonne, Serdar Tasiran

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

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

Proceedings of the Computer Aided Verification - 30th International Conference, 2018