Computer science/Security/Cryptography

Subject Classification

ACM: Security and privacy~Cryptography

AMS: Information and communication theory, circuits / Communication, information / Cryptography

2024

Babai's Nearest Plane Algorithm

by Eric Ren, Sage Binder and Katherine Kosaian

Sep 26

Formalizing Coppersmith's Method

by Katherine Kosaian and Yong Kiam Tan

Jun 10

2023

CRYSTALS-Kyber_Security

by Katharina Kreuzer

Dec 18

Cryptographic Standards

by A Whitley

Jun 06

Hardness of Lattice Problems

by Katharina Kreuzer

Feb 02

2021

Constructive Cryptography in HOL: the Communication Modeling Aspect

by Andreas Lochbihler and S. Reza Sefidgar

Mar 17

2019

Sigma Protocols and Commitment Schemes

by David Butler and Andreas Lochbihler

Oct 07

2018

Constructive Cryptography in HOL

by Andreas Lochbihler and S. Reza Sefidgar

Dec 17

2017

Game-based cryptography in HOL

by Andreas Lochbihler, S. Reza Sefidgar and Bhargav Bhatt

May 05

CryptHOL

by Andreas Lochbihler

May 05

The Group Law for Elliptic Curves

by Stefan Berghofer

Feb 28

2005

SHA1, RSA, PSS and more

by Christina Lindenberg and Kai Wirt

May 02