Post-Quantum VPN Based on QUIC https://lobste.rs/s/ewpr4z #cryptography #networking #rust #security
https://github.com/quincy-rs/quincy
cryptography
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
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/
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
#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
Edited 1y ago
This is a must-read.
https://cryptography.io/en/latest/statements/state-of-openssl/
Encrypted Spaces https://lobste.rs/s/8v2hjz #cryptography
https://encryptedspaces.org
Everything is a Trust Decision https://lobste.rs/s/fjljdg #cryptography #math #nix #science
https://nrd.sh/blog/everything-is-a-trust-decision.html
How Trail of Bits helps verify the integrity of your Signal chats https://lobste.rs/s/zjklvq #cryptography
https://blog.trailofbits.com/2026/08/11/how-trail-of-bits-helps-verify-the-integrity-of-your-signal-chats/
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.
(This particular namespace is an HTTPS URL.)
...
But, does extant Fediverse software support cryptographic public-key(s) well?
...
#ActivityPub #Cryptography #Fedidev #Fedidevs #Fediverse #JSONLD