DOI,IST REx ID,Title of publication
10.1145/3519939.3523434,17502,Islaris: Verification of machine code against authoritative ISA semantics