Diffusion afp-devel 11a3d3871dea

New entry CRYSTALS-Kyber
11a3d3871dea
Actions

Tags

None

Subscribers

None

Description

New entry CRYSTALS-Kyber

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP457e3b13987e: new email address for Maksym

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP11a3d3871dea: New entry CRYSTALS-Kyber.Sep 8 2022, 5:44 PM

Changes (51)

Path

Size

CRYSTALS-Kyber.toml

Crypto_Scheme.thy

Crypto_Scheme_NTT.thy

Kyber_NTT_Values.thy

Kyber_Values.thy

Mod_Plus_Minus.thy

Mod_Ring_Numeral.thy

authors/

kreuzer/

data/

berlekamp_zassenhaus/

number_theoretic_transform

Berlekamp_Zassenhaus.html

CRYSTALS-Kyber.html

Number_Theoretic_Transform.html

statistics/

topics/

computer-science/

security/

rAFP11a3d3871dea

metadata/entries/CRYSTALS-Kyber.toml

Loading...

thys/CRYSTALS-Kyber/Abs_Qr.thy

Loading...

thys/CRYSTALS-Kyber/Compress.thy

Loading...

thys/CRYSTALS-Kyber/Crypto_Scheme.thy

Loading...

thys/CRYSTALS-Kyber/Crypto_Scheme_NTT.thy

Loading...

thys/CRYSTALS-Kyber/Kyber_NTT_Values.thy

Loading...

thys/CRYSTALS-Kyber/Kyber_Values.thy

Loading...

thys/CRYSTALS-Kyber/Kyber_spec.thy

Loading...

thys/CRYSTALS-Kyber/Mod_Plus_Minus.thy

Loading...

thys/CRYSTALS-Kyber/Mod_Ring_Numeral.thy

Loading...

thys/CRYSTALS-Kyber/NTT_Scheme.thy

Loading...

thys/CRYSTALS-Kyber/Powers3844.thy

Loading...

thys/CRYSTALS-Kyber/ROOT

Loading...

thys/CRYSTALS-Kyber/document/root.bib

Loading...

thys/CRYSTALS-Kyber/document/root.tex

Loading...

thys/ROOTS

Loading...

web/authors/kreuzer/index.html

Loading...

web/authors/kreuzer/index.xml

Loading...

web/data/keywords.json

Loading...

web/dependencies/berlekamp_zassenhaus/index.html

Loading...

web/dependencies/berlekamp_zassenhaus/index.xml

Loading...

web/dependencies/index.html

Loading...

web/dependencies/index.json

Loading...

web/dependencies/number_theoretic_transform/index.html

Loading...

web/dependencies/number_theoretic_transform/index.xml

Loading...

web/entries/Berlekamp_Zassenhaus.html

Loading...

web/entries/CRYSTALS-Kyber.html

Loading...

web/entries/Number_Theoretic_Transform.html

Loading...

web/entries/index.html

Loading...

web/entries/index.xml

Loading...

web/index.html

Loading...

web/index.json

Loading...

web/index.xml

Loading...

web/sitemap.xml

Loading...

web/statistics/index.html

Loading...

web/theories/crystals-kyber/index.html

Loading...

web/theories/index.xml

Loading...

web/topics/computer-science/security/index.html

Loading...

web/topics/computer-science/security/index.xml

Loading...

web/topics/index.html

Loading...