@mullana Klingt so als wäre es gut geworden; so lange du hinterher glücklich mit der PMS-Aktion bist freue ich mich für dich. Ich kenne dich mit haar in allen möglichen farben und es sah immer gut aus :)

@mullana Iro incoming?

I think I found the first use of AIs that would actually interest me: A lemma search engine.

You input a semi-formal lemma in whatever grammar and the search engine spits out papers and other resources that use, prove, or otherwise relate to the lemma.

We’re excited to share more details about the #SovereignTechFund’s investment in @rosenpass which enables quantum-safe, resilient encryption for internet infrastructure.
The commissioned work on the key-exchange protocol enhances stability, improves software production security, and prepares for the use of alternative post-quantum ciphers, enhancing cryptographic agility.
➝ https://www.sovereign.tech/tech/rosenpass
@kora

Wir freuen uns, mehr Details zur Investition des #SovereignTechFund in @rosenpass zu teilen. Rosenpass ermöglicht eine quantensichere Verschlüsselung für die moderne Internetinfrastruktur.
Die beauftragten Arbeiten am Schlüsselaustauschprotokoll erhöhen die Stabilität, verbessern die Sicherheit und bereiten den Einsatz alternativer Post-Quanten-Verschlüsselungsalgorithmen vor, um flexible kryptografische Anpassungen in Zukunft einfacher zu ermöglichen.
➞ https://www.sovereign.tech/de/tech/rosenpass
@kora

Our paper
"Agile, post-quantum secure cryptography in avionics"
was just released in open access! :D

https://link.springer.com/article/10.1007/s13272-025-00806-5?utm_source=rct_congratemailt&utm_medium=email&utm_campaign=oa_20250512&utm_content=10.1007%2Fs13272-025-00806-5

#PQC #cryptography

@julialuna If you do freelance and rust: We could use some help at Rosenpass (open source, high assurance cryptography).

Check out the code: https://github.com/rosenpass/rosenpass

If you are interested in doing some freelance work with us, you can mail me at karo@rosenpass.eu

@qch3n Correct decision

@djb You have to admit that, for kyber, it happens quite a bit more often. Less newsworthy :P

Our final panel today is about invisible bridges: digital infrastructure is present in all our digital interactions, yet often remains invisible.

"We're not the People who deliver the food: We build the metal wire that is used to build a bridge to have a car driven over it wich delivers the food - but this not so easy to communicate about."

With @vortex of the project sig0namectl, @kora of @rosenpass and Holger Levsen of @reproducible_builds.

@stf @Cookiemonster God troll, no offense taken :D

@stf I don't know. Their abstract makes kind of very little sense.

The core feature of this algorithm is that for any block, when a plaintext-ciphertext pair is known, any key in the key space is valid, that is, for each block, the plaintext-ciphertext pair and the key are independence, and the independence between blocks is also easy to construct

Have a look at theorem 6; I don't think this is correct.

Theorem 7 – where they claim to show that OWFs exist – uses T6 directly.

#eprint ProofFrog: A Tool For Verifying Game-Hopping Proofs by Ross Evans, Matthew McKague, Douglas Stebila (https://ia.cr/2025/418)

You can now jailbreak your AMD CPU! 🔥We've just released a full microcode toolchain, with source code and tutorials. https://bughunters.google.com/blog/5424842357473280/zen-and-the-art-of-microcode-hacking

@neingeist Stuff on salad

E.g. fried tofu on salad
E.g. fried seitan on salad
E.g. veganer bratling on salad

@sophieschmieg @dpiponi Having ADHD is hard and this is a good demo of why I should not do pen and paper.

not(x : Int) = (x-1)^2

@sophieschmieg @dpiponi …but…my evening 🤭 😬