Metaprogramming Madness Post date October 9, 2023 ← Arbeiten zu Netzsicherheit, Malware, Reverse Engineering und Exploitation → Formal Proof Methodology for Memory Safety of a SUBLEQ based OISC and Case-Study