blob: 326bfff9ba959488e93c6e0eb70985b3f5c980bf (
plain)
1
2
3
4
5
6
7
8
|
# Security
1. [A Brief Tour of Formally Secure Compilation](http://ceur-ws.org/Vol-2315/paper03.pdf)
# Framework
1. [Nanopass Framework: Clean Compiler Creation Language](http://nanopass.org/)
|