Jacob Payne

According to our database, Jacob Payne authored at least 1 paper in 2019.

Collaborative distances:

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

2019

Formal Specification of a Security Framework for Smart Contracts.

Mikhail Mandrykin, Jake O'Shannessy, Jacob Payne, Ilya Shchepetkov

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019