cryptography

Post-Quantum VPN Based on QUIC https://lobste.rs/s/ewpr4z #cryptography #networking #rust #security
https://github.com/quincy-rs/quincy

minipgp6: A very lean interpretation of modern OpenPGP https://lobste.rs/s/yfuber #cryptography #security
https://codeberg.org/minipgp6/minipgp6

How not to format a private key via @RunxiYu https://lobste.rs/s/ufuiv4 #cryptography
https://keymaterial.net/2025/02/19/how-not-to-format-a-private-key/

Some people do not want to have sex and consider it rape. However, the system's people they all want sex. The system should keep the people in the system. The system should be just. They consider them innocent and the others guilty. But how. They all pretend to be the exact opposite and create fake evidence for the innocents.

◇ Maria Truth
...Always Innocent

#sciencenonfiction #historicalnonfiction #cryptology #cryptography #linguistics #art #math #irony #tragicirony #wit #legalnonfiction

hpke-ng: Faster, Smaller, Harder HPKE for Rust https://lobste.rs/s/fap65c #cryptography #rust
https://symbolic.software/blog/2026-05-08-hpke-ng/

A Polynomial-Time Quantum Algorithm for the Dihedral Coset Problem https://lobste.rs/s/mfylx2 #pdf #cryptography
https://eprint.iacr.org/2026/1591.pdf

We are excited to share our latest work on making secure messaging more decentralized!

We've developed DMLS – a new approach that brings fork resilience to the MLS protocol, solving a key challenge in distributed systems while maintaining Forward Secrecy.

This work was made possible by eQualitie, who funded it as part of the SplinterCon Breakout program.

#Cryptography #MessagingLayerSecurity #DecentralizedMessaging #Messaging #OpenSource #Security #E2EE #Encryption

https://blog.phnx.im/making-mls-more-decentralized/

A blueprint for formal verification of Apple corecrypto https://lobste.rs/s/7crjja #cryptography #formalmethods
https://security.apple.com/blog/formal-verification-corecrypto/

Bringing Post-Quantum Cryptography to Java LTS Releases via @fs111 https://lobste.rs/s/oihm9i #cryptography #java
https://blogs.oracle.com/java/post-quantum-cryptography-in-long-term-support-jdk-releases

Accumulated Test Vectors https://lobste.rs/s/bwckmz #cryptography #testing
https://words.filippo.io/accumulated/

Announcing Isabelle support for SAW https://lobste.rs/s/xha7ff #cryptography #formalmethods
https://www.galois.com/articles/announcing-isabelle-support-for-saw

Feeding a PRF its own tail via @fanf https://lobste.rs/s/kzq2dz #cryptography
https://00f.net/2026/06/16/feeding-a-prf-its-own-tail/

A bet on whether ML-KEM-768 or X25519 will break first https://lobste.rs/s/sxvq6g #cryptography
https://github.com/FiloSottile/ecc-vs-lattices-long-bet

Blowing Out the Candles on the Birthday Bound via @RunxiYu https://lobste.rs/s/zn03lh #cryptography
https://soatok.blog/2024/07/01/blowing-out-the-candles-on-the-birthday-bound/

https://github.com/seccode/Sha256

#sha256 #vulnerability #hash #cryptography

Hardware Attestation as Monopoly Enabler via @RunxiYu https://lobste.rs/s/j7wksg #cryptography #rant
https://grapheneos.social/@GrapheneOS/116550899908879585

Reed Specification or Better Prefix Authentication (2023) https://lobste.rs/s/memnyj #cryptography #merkle-trees
https://worm-blossom.github.io/reed/

We beat Google’s zero-knowledge proof of quantum cryptanalysis https://lobste.rs/s/d55yj0 #cryptography #science
https://blog.trailofbits.com/2026/04/17/we-beat-googles-zero-knowledge-proof-of-quantum-cryptanalysis/

Project Wycheproof tests crypto libraries against known attacks https://lobste.rs/s/b39dpz #cryptography #security
https://github.com/C2SP/wycheproof

I am looking for profiles to follow. Currently I am interested in following users who have an interest in or work in:

#Cryptography #Cryptology #Ciphers #Codes #Puzzles #TrapDoorMaths #Algorithms #MixNets #Encryption #HandCiphers #FieldCiphers

... and arcane math problems or trying to find a way to use them for securing information or messages. Any recommendations will be appreciated.

I'm looking for interesting new ideas and models from people who like to tinker rather than more rehashed, industry standard cryptography.

@crypto@a.gup.pe @patentbuddy

This is a must-read.

https://cryptography.io/en/latest/statements/state-of-openssl/

#python #cryptography #crypto #openssl #opensource

Encrypted Spaces https://lobste.rs/s/8v2hjz #cryptography
https://encryptedspaces.org

1/

One way ActivityPub can be extended is — through JSON-LD namespaces.

For example, many Fediverse servers use the following JSON-LD namespace to specify cryptographic public-key(s) for the user.

https://w3id.org/security/v1

(This particular namespace is an HTTPS URL.)

...

But, does extant Fediverse software support cryptographic public-key(s) well?

...

#ActivityPub #Cryptography #Fedidev #Fedidevs #Fediverse #JSONLD

Go is FIPS 140-3 certified via @RunxiYu https://lobste.rs/s/feqwqw #cryptography #go
https://csrc.nist.gov/projects/cryptographic-module-validation-program/certificate/5247

I submitted a Pull Request to update MacPorts' signify to 1.62 here:

https://github.com/macports/macports-ports/pull/31080

GitHub Continuous Integration checks queued.

Hopefully they will run without issue?

If so, it's up to someone else with commit access to merge it.

This isn't very significant from the last PR I submitted from late October 2025 (upstream has a commit from early September 2025 so I am trailing by many months with this one) however, remarkable to me:

MacPorts' signify's version is now in alignment with upstream's versioning!

Yay!

I have no idea if that was true previously? My guess is: no, since I think jpouellet/Jean-Philippe Ouellet branched that out a long time ago and seemed to have iterated version tags haphazardly? Maybe I am mistaken though! There's a completely different Linuxism fork of signify which seems to have evolved (and versioned) very differently too.

That in particular has confused me with spurious repology.org out of date error messages for many months. I dunno if it has confused others, or if this version sync will make things less confusing, but hopefully? It makes things less confusing for me at least.

In tangential news, since I saw tedu in the man page, someone was wondering where he got off to a while ago and I don't think I saw a response. Hopefully he's doin OK? Please?

#signify #MacPorts #macOS #OpenSource #OpenBSD #cryptography