
tamago
Framework for compiling and executing Go applications on bare metal processors, enabling secure firmware development with reduced attack surface…
embedded-systems-securityfirmware-analysishardware-security+1
2.0k

Framework for compiling and executing Go applications on bare metal processors, enabling secure firmware development with reduced attack surface…

Automated reasoning tool based on the SMACK verifier that detects SGX enclave bugs from trusted boundary violations, including invalid pointer…

Reimplementation of CVE-2017-15361 checker in C