HYIP-Man: A Verified, Efficient Embedding of a Verifiable Assembly Language [pdf]
Saturday, January 19, 2019
A Verified, Efficient Embedding of a Verifiable Assembly Language [pdf]
A Verified, Efficient Embedding of a Verifiable Assembly Language [pdf]

more