1. The GoPi Compiler.
https://github.com/marcogiunti/gopi
.
https://sites.fct.unl.pt/gopi
2. 4th Workshop on Principles of Secure Compilation. POPL (2020).
https://popl20.sigplan.org/home/prisc-2020
3. Lecture Notes in Computer Science;M Abadi,1998
4. Barrett, C., Fontaine, P., Tinelli, C.: The SMT-LIB Standard: Version 2.6. Technical report, Department of Computer Science, The University of Iowa (2017)
5. Bugliesi, M., Giunti, M.: Secure implementations of typed channel abstractions. In: POPL, pp. 251–262. ACM (2007)