Anton Permenev

According to our database, Anton Permenev authored at least 1 paper in 2020.

Collaborative distances:

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

2020

VerX: Safety Verification of Smart Contracts.

Anton Permenev, Dimitar K. Dimitrov, Petar Tsankov, Dana Drachsler-Cohen, Martin T. Vechev

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020