Vadim Zaliva (PhD. thesis, Electrical and Computer Engineering, Carnegie Mellon University, 2020)
HELIX: From Math to Verified Code
Published paper (link to publisher)
Bibtex

Keywords:
Coding/Decoding, Verification, HELIX