diff options
| author | Eduardo Julian | 2019-07-31 21:54:53 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-07-31 21:54:53 -0400 |
| commit | d0c938888b3dd00cfdb27bb9444401b9e5913490 (patch) | |
| tree | 925c81616a87b0998d66fa0664923be491cfacba /documentation/research/cryptography.md | |
| parent | a0889b2ee76c1ae7a9a5bbe2eec9f051b4f341e4 (diff) | |
Ported JVM reference generation to the new JVM bytecode machinery.
Diffstat (limited to 'documentation/research/cryptography.md')
| -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) |