Darin Verheijke

According to our database, Darin Verheijke authored at least 2 papers in 2022.

Collaborative distances:

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

2022

An exploratory study on solidity guards and ether exchange constructs.

Darin Verheijke, Henrique Rocha

Proceedings of the 5th International Workshop on Emerging Trends in Software Engineering for Blockchain, 2022

Refactoring Solidity Smart Contracts to Protect Against Reentrancy Exploits.

Serge Demeyer, Henrique Rocha, Darin Verheijke

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022