Mikael Brockman

According to our database, Mikael Brockman authored at least 1 paper in 2024.

Collaborative distances:

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

2024

Hevm, a Fast Symbolic Execution Framework for EVM Bytecode.

Dxo, Mate Soos, Zoe Paraskevopoulou, Martin Lundfall, Mikael Brockman

Proceedings of the Computer Aided Verification - 36th International Conference, 2024