Log in to Zulip
Secure Compilation
https://secure-compilation.zulipchat.com
Efficient Formally Secure Compilation to a Tagged Architecture
https://secure-compilation.github.io
https://github.com/secure-compilation