3 ms·
FaCT was good work. The other one in this space is Jasmin for high-assurance, constant-time programming. https://acmccs.github.io/papers/p1807-almeidaA.pdf htt
by nickpsecurity 9y ago
FaCT was good work. The other one in this space is Jasmin for high-assurance, constant-time programming.
https://acmccs.github.io/papers/p1807-almeidaA.pdf https://acmccs.github.io/papers/p1807-almeidaA.pdf