# 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/)