Alex Biryukov
@alexcryptan
Followers
793
Following
734
Media
43
Statuses
1K
Nothing digital is true Backup: https://t.co/soUr4msIbD
Luxembourg
Joined July 2014
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.
0
0
3
"It was a special performance just for this publication, because he (the dog) understands the importance of evidence-based science.".
0
0
2
RT @yajinzhou: Join us at DeFi’25: Workshop on Decentralized Finance & Security, Co-located with ACM CCS 2025 on October 17, 2025. Submiss….
0
12
0
Interesting interview with Tao, especially on AI-assisted theorem proving and Human mathematicians vs AI.
Here's my conversation with Terence Tao, one of the greatest mathematicians in history. We talk about the hardest problems in mathematics & physics, and how AI might help us humans to solve them. This conversation was a huge honor for me. I can't quite put it into words, but
0
0
1
RT @Istvan_A_Seres: It's amazing how easy and cheap to steal LLM models. Defending is hard! Prediction poisoning degrades accuracy at unde….
0
1
0
In cryptanalysis never say never.
ChaCha8 will never be broken in a meaningful way (= a way that reduces the security of any real system). [ but academics might say it's broken if there's an attack in 2^200 "operations" and 2^150 "memory" requiring chosen nonces ].
2
0
7
RT @Lhree: [Revised] Exact Formula for RX-Differential Probability through Modular Addition for All Rotations (Alex Biryukov and Baptiste L….
eprint.iacr.org
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...
0
1
0
We are looking for 6-7 month of a research associate for the blockchain data analytics project till EoY 2025. Someone from EU (due to paperwork). DM me if interested.
2
0
2
RT @genzcash: > be Sean Bowe.> drops out of high school.> self-taught cryptography nerd.> can’t open a paypal account cuz 13.> uses bitcoin….
0
24
0
RT @lexfridman: "The problem with the world is that fools and fanatics are always so certain of themselves, and wiser people so full of dou….
0
2K
0
RT @jianying_zhou: Zhou's ranking of 2024 top cybersecurity conferences released -- No change: IEEE S&P has always….
0
17
0
RT @matthew_d_green: Some neat results from the automated mathematical prover AlphaPtoof. I would love to see this applied to cryptographic….
rishimehta.xyz
Here I’ll try to explain the coolest ideas in each of AlphaProof’s IMO 2024 solutions. AlphaProof produces proofs in Lean, and each Lean proof is composed of a series of tactics. So I’ll pick out the...
0
6
0
We are hiring two postdoc in Cryptography and Privacy. One is in symmetric crypto (cryptanalysis and design of algebraic, ultra-lightweight or post-quantum primitives) another in applied crypto (financial crypto and privacy). MATH+ALGOs. More details:
0
0
7
Now that physics and chemistry are solved next year's Nobel prize in literature will be given to GPT-5.
0
0
2
Isn't it a good time to create Nobel prize for Computer Science? Instead of awarding physics prize to CS people?.
4
4
25