For those who are more into watching talks on YouTube than reading papers, and are interested in the low level hardware formalization aspect of this project, th

For those who are more into watching talks on YouTube than reading papers, and are interested in the low level hardware formalization aspect of this project, there is a recording of the ITP 2019 presentation here: "x86 verification from scratch" https://www.youtube.com/watch?v=7hAShC6K_vA https://www.youtube.com/watch?v=7hAShC6K_vA