A Verified, Efficient Embedding of a Verifiable Assembly Language. Fromherz, A., Giannarakis, N., Hawblitzel, C., Parno, B., Rastogi, A., & Swamy, N. PACMPL, 2019.
A Verified, Efficient Embedding of a Verifiable Assembly Language [pdf]Paper  bibtex   

Downloads: 0