Posts
Template and CPA Side Channel Attacks on the Kyber/ML-KEM Pair-Pointwise Multiplication
I've no idea how relevant the *"40 traces to recover the [attacked part of] secret key"* is, but what interested me was that publication of power traces dataset enabled this paper. *"One of the drawbacks of the ongoing side channel analysis research related to PQC schemes is the availability of …
IETF wants non-hybrid lattice key exchanges in TLS
We've expected that lattice KEMs would only be used in hybrid combination with establish elliptic curve key exchanges, which ameliorates any weakness in the lattice KEM. In particular, there exist worse side channel attacks upon lattice KEMs than upon elliptic curves, because of how the sampling code works in lattice …
Coq vs F* vs Lean
i want to create formal verification for my rust project. i see that signal uses hax to extract rust code into F\* when searching online it looks like Coq seems popular, but i dont know enough to understand why signal would use F\*. both seem pretty capable, so id like …
Carelessness versus craftsmanship in cryptography
Cryptographic Issues in Matrix’s Rust Library Vodozemac
Don't pass on small block ciphers
How can I get an approximate answer to this simple exponentiation algorithm so the end result fits in memory?
I ve a loop applying y_tmp=y y=x x=y_tmp+((x+c[i])^5)%21888242871839275222246405745257275088548364400416034343698204186575808495617 219 times, where `x` and `y` are longint inputs and `c` is a static array of 220 255-bit integers. I would like to find an input `y` given an input and an ouput `x`. A would be possibility is to not apply …
Zero Knowledge (About) Encryption: A Comparative Security Analysis of Three Cloud-based Password Managers
[Research] Guardian: Role-Gated MPC Wallets for AI Agents
We're a group of researchers and have just prepared a draft addressing a gap in cryptographic custody for autonomous agents. The problem: agents executing autonomously need key custody, but are the least trustworthy entities to hold keys alone. Existing solutions (hot wallets, smart accounts, TEEs, standard MPC) have fundamental gaps …
Deterministic path-walking cipher over a keyed permutation grid — looking for structural analysis
I’ve published an experimental symmetric construction and would appreciate technical critique. GitHub: [https://github.com/alt160/Zifika](https://github.com/alt160/Zifika) # Model summary Zifika is a deterministic keyed path-walking cipher defined over a 2D permutation grid: * The key consists of `N` rows, each a permutation of bytes 0..255. * A PRF-derived jump stream updates `(row, col)` …