|
|
|
|
|
|
by nokcha
2495 days ago
|
|
|
>Is there any programming language at all which allows sensitive data to be annotated in such a way that the compiler will promise not to leak it to memory indefinitely in some sense? Somewhat related: there's a recent paper that develops a language with syntax for marking data as secret; the compiler then goes even further and avoids timing side-channel leaks: Cauligi, Sunjay, et al. "FaCT: A flexible, constant-time programming language." 2017 IEEE Cybersecurity Development (SecDev). IEEE, 2017.
http://www.sysnet.ucsd.edu/~bjohanne/assets/papers/2017secde... |
|
|