Explore projects

Attempt to implement "A formal specification for BIL: BIL Instruction Language" presented by BAP (https://github.com/BinaryAnalysisPlatform/bil) in Isabelle/HOL.

Test project Space for HTML pages

Translation of "A Formal Approach to Secure Speculation" to Isabelle.

localise Golang image for building