All Stories

  1. Automatically Generate x86 Assembly--Formally Correct, Side-Channel Secure, Faster than Hand-Written

    Article • Proceedings of the ACM on Programming Languages, June 2023, ACM (Association for Computing Machinery)

    Markus Wagner, Joel Kuepper