Tessera
Folgen

Tianxin Tang

@koptxin.bsky.social

Cryptography researcher Lab assistant at Muppets Lab https://txin.dev

20 Posts53 Follower78 Folgt
Henry Yuen@henryyuen.bsky.social · 4d ago

Some initial thoughts, and a complicated mix of feelings. Wow. I mean, Erdos problems are cool (I genuinely mean that), I didn't know about the Jacobian conjecture before it got disproved. But this newest batch from OpenAI hits home in a way the previous announcements did not.

Quanta Magazine@quantamagazine.org · 2w ago

Every four years, the math world’s preeminent awards are given to the finest minds of a generation. The young Fields and Abacus Medal winners — all under 40 on the first day of the year — have reshaped mathematics and theoretical computer science. Here are the #ICM2026 winners:

Quanta Magazine@quantamagazine.org · last mo.

Researchers have long suspected that for some computational problems, checking a solution is only possible with an exotic mathematical object called a quantum proof — no ordinary written document will do. Now, a team of researchers has finally confirmed it. www.quantamagazine.org/researchers-...

Researchers Reveal the Power of ‘Quantum Proofs’ | Quanta Magazine

When checking that solutions to certain problems are correct, it turns out, you can’t get around the inherent complexity of the quantum world.

quantamagazine.org

Filippo Valsorda@filippo.abyssdomain.expert · last mo.

There we go. US Gov tightens post-quantum cryptography transition deadlines for high-value systems to 2030 for key exchange and 2031 for signatures. Also, speeding up the CMVP (FIPS 140 validation) processes. That’s how you know the rush is real. The quantum computers are (potentially) coming.

Securing the Nation Against Advanced Cryptographic Attacks

By the authority vested in me as President by the Constitution and the laws of the United States of America, it is hereby ordered: Section 1.  Background

whitehouse.gov

Miro Haller@mirohaller.bsky.social · 2mo ago

The Workshop on Attacks in Cryptography 8 (WAC8) website is finally up, and our call for talks is open. Submit your cool cryptanalysis before July 3! We'll also invite speakers. If you had a favorite cryptographic attack from the last two years that we should invite, please put it in the comments.

call for talks WAC accepts proposals for contributed talks. Submissions will be evaluated based on their relevance to the following topics: - Cryptanalysis of deployed cryptography - Cryptanalysis of recently suggested cryptographic schemes or primitives - New cryptoanalytic techniques - Systems attacks breaking cryptography or bypassing underlying assumptions Please include the following information in your contributed talk submission. - Title. - Description of the talk content, including: short abstract (to be published on the website on talk acceptance), and one of the following three: extended abstract describing the talk. [preferred option], a full paper and a short description of which aspects the talk will focus on. slides for a presentation, together with either speaker notes or a short outline of the non-visual content of the talk. - Speaker information: Name, Affiliation, Short bio (to be published on the website on talk acceptance), A brief description of the relevant experience of the speaker, e.g. links to previous talks. Submit your proposal by email to the organizers at wac@cryptanalysis.fun by July 3, 2026 AoE.
Marcel Keller@mkskeller.bsky.social · 2mo ago

UNSW Sydney is hiring an associate professor and a lecturer in cryptography, and the description explicitly mentions *secure computation*. Didn't you want to live in the sunniest of the most livable cities in the world?

Associate Professor in Cryptography

Join an organisation that is shaping the future direction of cryptography and secure computation in Australia, in a senior academic role that combines research leadership, strategic contribution, and ...

external-careers.jobs.unsw.edu.au

Nalini Joshi@monsoon0.bsky.social · 3mo ago

You may find the comments by Melanie Matchett Wood on the discovery of a counter example to Erdős’ Unit Distance Conjecture as interesting as I did 👇🏼(see previous post for a link)

A screenshot of p.17 of the paper available at https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf
Hetan Shah@hetanshah.bsky.social · 3mo ago

This 1952 memo from the Pentagon UFO files is superb There is no point preparing for aliens ‘because no one of consequence is going to take this rubbish seriously unless it happens. At that point, our policy will be determined in the traditional manner of grand panic.’ 🤣 www.war.gov/medialink/uf...

There likely is nothing to be done at the moment to prepare for these possibilities (the only body of writing on the subject available in an emergency is science fiction), because no one of consequence is going to take this rubbish seriously unless it happens. At that point, our policy will be determined in the traditional manner of grand panic. Maxwell W. Hunter, II Member, Professional Staff
Sabine Oechsner@proofnerd.bsky.social · 4mo ago

I'm looking for a PhD student to work with me on formal verification for cryptographic protocols. This is a 4-year position at VU Amsterdam, co-supervised with Kristina Sojakova. Send me an email if you want to know more!

Abdullah Talayhan@talayhan.bsky.social · 4mo ago

The Signal protocol is well documented but hard to grasp the first time. Especially what's happening under the hood while using a messaging app. I built an educational tool that lets you chat on a simulated phone and see protocol details in real time, completely offline. Enjoy!

BildBildBildBild