diff options
Diffstat (limited to '')
-rw-r--r-- | documentation/research/cryptography.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/documentation/research/cryptography.md b/documentation/research/cryptography.md index 8176bbcf7..bd3ec0d87 100644 --- a/documentation/research/cryptography.md +++ b/documentation/research/cryptography.md @@ -1,5 +1,7 @@ # Constant-time programming +1. [Verifying Constant-Time Implementations](https://michael-emmi.github.io/papers/conf-uss-AlmeidaBBDE16.pdf) +1. https://www.bearssl.org/ctmul.html 1. [FaCT: A Flexible, Constant-Time Programming Language](https://cseweb.ucsd.edu/~dstefan/pubs/cauligi:2017:fact.pdf) 1. [FaCT: A DSL for Timing-Sensitive Computation](https://ranjitjhala.github.io/static/fact_dsl.pdf) 1. ["FaCT: A New Language for Constant-Time Programming" by Sunjay Cauligi](https://www.youtube.com/watch?v=kbn9UCRK2Qg) |