research
∙
10/27/2020
Verified Secure Compilation for Mixed-Sensitivity Concurrent Programs
Proving only over source code that programs do not leak sensitive data l...
research
∙
07/01/2019