Alex Biryukov
LightNews LightNews
alexcryptan.bsky.social
Alex Biryukov
@alexcryptan.bsky.social
32 followers 18 following 8 posts
Backup account.
Posts Replies Media Videos
alexcryptan.bsky.social
Workshop on Transparency, Regulation, and Analytics in Crypto-Asset Ecosystems, deadline extended till 15 September 2025 brains.dnac.org/2025/trace/
TRACE - BRAINS 2025
Transparency, Regulation, and Analytics in Crypto-Asset … Continue reading →
brains.dnac.org
September 10, 2025 at 11:48 AM
alexcryptan.bsky.social
We are potentially interested in PET EU call HORIZON-CL3-2025-02-CS-ECCC-03. Drop me an e-mail if you are looking for partners.
August 28, 2025 at 3:19 PM
alexcryptan.bsky.social
Closes a decade of search for the exact formula.
eprint.ing.bot ePrint Updates @eprint.ing.bot · Mar 26
Exact Formula for RX-Differential Probability through Modular Addition for All Rotations (Alex Biryukov, Baptiste Lambin, Aleksei Udovenko) ia.cr/2025/550
Abstract. This work presents an exact and compact formula for the probability of rotation-xor differentials (RX-differentials) through modular addition, for arbitrary rotation amounts, which has been a long-standing open problem. The formula comes with a rigorous proof and is also verified by extensive experiments. Our formula uncovers error in a recent work from 2022 proposing a formula for rotation amounts bigger than 1. Surprisingly, it also affects correctness of the more studied and used formula for the rotation amount equal to 1 (from TOSC 2016). Specifically, it uncovers rare cases where the assumptions of this formula do not hold. Correct formula for arbitrary rotations now opens up a larger search space where one can often find better trails. For applications, we propose automated mixed integer linear programming (MILP) modeling techniques for searching optimal RX-trails based on our exact formula. They are consequently applied to several ARX designs, including Salsa, Alzette and a small-key variant of Speck, and yield many new RX-differential distinguishers, some of them based on provably optimal trails. In order to showcase the relevance of the RX-differential analysis, we also design Malzette, a 12-round Alzette-based permutation with maliciously chosen constants, which has a practical RX-differential distinguisher, while standard differential/linear security arguments suggest sufficient security. Image showing part 2 of abstract.
March 28, 2025 at 8:31 PM
alexcryptan.bsky.social
Cryptography is like a door lock, when all people will be good it will not be needed. When?
March 22, 2025 at 1:27 PM
Reposted by Alex Biryukov
stedziembowski.bsky.social
The videos and slides from the Warsaw IACR Summer School on Post-Quantum Cryptography 2024 are now live. YT playlist: www.youtube.com/playlist?lis... Website (with slides): ideas-ncbr.pl/en/events/pq...
Warsaw IACR Summer School on Post-Quantum Cryptography 2024 - YouTube
This playlist contains recordings of lectures from the Warsaw IACR Summer School on Post-Quantum Cryptography 2024. The event took place on July 15-19, 2024,...
www.youtube.com
January 21, 2025 at 11:56 AM
alexcryptan.bsky.social
Created and account here and was immediately followed by a bot, not sure it is a good sign.
December 29, 2024 at 9:08 AM