Explore projects
-
Docker file for PyMAFX: https://github.com/HongwenZhang/PyMAF-X
UpdatedUpdated -
Attempt to implement "A formal specification for BIL: BIL Instruction Language" presented by BAP (https://github.com/BinaryAnalysisPlatform/bil) in Isabelle/HOL.
Updated -
-
Performance and Energy consuption study on concurrent programming focused on Transactional Memory.
Updated -
Updated