Security Standardisation Research 2018
Mozilla Security Research Summit London 2018
Shipping (some) HACL*
The HACL* approach
Introducing HacSpec
1
2
3
4
…
6
