selected publications conference paper Islaris: verification of machine code against authoritative ISA semantics. . 2022