🔢 Modular Arithmetic - beachlorn · Scour

Going in Circles: Fourier, Primes, and the Quantum Threat to Cryptography 🔤Type Theory

medium.com

·5d

OpenAI: Short proofs in combinatorics, probability and number theory II 🔷Agda

arxiv.org·1d·Hacker News

PSA Crypto: The P is for Portability 💾Embedded Systems

danielmangum.com·13h·Hacker News

A Cryptography Engineer’s Perspective on Quantum Computing Timelines ⚡Concurrency

discuss.privacyguides.net

·1d

The Joy Of Cryptography (MIT Press) 🎾Racket

i-programmer.info·4d

Towards Post-Quantum Cryptography in TLS (2019) λLambda Calculus

blog.cloudflare.com·2d·Hacker News

Zeal: PIR for Non-Cooperative Databases ⚡Concurrency

eprint.iacr.org·2d

The Visible Key 🔀Modal Logic

aperceptualdrifter.substack.com·5d·Substack

German implementation of eIDAS will require an Apple/Google account to function 🗂️PKM

bmi.usercontent.opencode.de·5d·Hacker News

Cryptography's "Five Worlds" [video] ⊢Logic

youtube.com·6d·Hacker News

Formalizing building-up constructions of self-dual codes through isotropic lines in Lean 🔍Refinement Types

arxiv.org·17h

There Are Constant Numbers in the Universe: How an Indian Mathematician Discovered the Mystery of 6174 🦥Haskell

labrujulaverde.com·3d

How Quantum Computing Affects Cryptography ⚡Concurrency

thequantuminsider.com·4d

A Cryptography Engineer’s Perspective on Quantum Computing Timelines ⚡Concurrency

words.filippo.io·4d·Lobsters, Hacker News, r/crypto

Non-RS type cyclic MDS codes over finite fields via cyclotomic field reduction λLambda Calculus

arxiv.org·1d

Applications of Bruhat-Chevalley-Renner Decomposition to Metric-Aware Code-Based Cryptography 🔤Type Theory

eprint.iacr.org·4d

Game Theory Does Not Always Help: The Case of Statistical Multi-Party Coin Tossing ⚡Concurrency

eprint.iacr.org·6d

Generalized Numerical Construction of MUBs: A Group Theoretical Investigation 🧩SMT Solvers

arxiv.org·3d

Direct Integer Division in RNS and its Hardware Solutions 🔊Faust

arxiv.org·3d

CIPHR: Cryptography Inspired IP Protection through Fine-Grain Hardware Redaction 🔌WASI

arxiv.org·3d

Loading more...