RT @_franziskus_: I wrote about how to ship verified crypto, i.e. how we ship parts of HACL* in NSS https://franziskuskiefer.de/post/hacl-nss-integration/ …
7:17 AM - 12 Apr 2018
from Paris, Ile-de-France
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.