corpus.blog
43,134 blogs · 5,445,103 posts Claim your blog
Record · corpus.blog/posts/01a08790-169f-712c-8462-3b41d4058fd4

5 Years of Meta-Programming Cryptography

Jonathan Protzenko | Google Information Security Engineering (Seattle) · published 22 May 2022

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at jonathan.protzenko.fr Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
15
Words captured
3,397

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://project-everest.github.io/
project-everest.github.io
https://arxiv.org/abs/1703.00053
arxiv.org
https://github.com/FStarLang/kremlin/
github.com
https://eprint.iacr.org/2017/536
eprint.iacr.org
https://github.com/project-everest/hacl-star/blob/896546b1c0c63eedcdc36662cad37b15febb3b03/code/salsa-family/Hacl.Impl.Chacha20.fst
github.com
https://github.com/project-everest/hacl-star/blob/924ab395f8aa3cc8cd8a2281ba98eb99c36a947f/code/chacha20/Hacl.Impl.Chacha20.Core32.fst
github.com
https://en.cppreference.com/w/c/types/integer
en.cppreference.com
https://github.com/project-everest/hacl-star/blob/master/lib/Lib.IntTypes.fsti
github.com
https://eprint.iacr.org/2020/572
eprint.iacr.org
https://github.com/project-everest/hacl-star/blob/d2a252358cadfa8e793d701616ba6d324ab90593/code/hash/Hacl.Hash.MD.fst
github.com
https://eprint.iacr.org/2019/757
eprint.iacr.org
https://arxiv.org/abs/2102.01644
arxiv.org
https://noiseprotocol.org/noise.html
noiseprotocol.org
https://en.wikipedia.org/wiki/Partial_evaluation
en.wikipedia.org
https://eprint.iacr.org/2022/607
eprint.iacr.org
Elsewhere on jonathan.protzenko.fr (1)