Kegan McIlwaine

According to our database, Kegan McIlwaine authored at least 1 paper in 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Verifying Smart Contract Transformations Using Bisimulations.

Kegan McIlwaine, James L. Caldwell

Proceedings of the 6th International Workshop on Formal Methods for Blockchains, 2025