Towards a Framework for Developing Verified Assemblers for the ELF Format.

Jinhua Wu, Yuting Wang, Meng Sun, Xiangzhe Xu, Yichen Song

Browse the full APLAS paper archive.