The Machine Independent Language (MIL) captures microarchitectural features such as out-of-order execution. MIL can be used as a form of abstract microcode language, e.g., as a target language for translating Instruction Set Architecture (ISA) instructions, and for reasoning about microarchitectural features that may cause unwanted information flows, e.g., side channels leaking secret information.


Profile picture
Mads Dam
Professor, KTH
Profile picture
Roberto Guanciale
Associate Professor, KTH
Profile picture
Karl Palmskog
Lecturer, KTH
Profile picture
Ning Dong
PhD student, KTH