Protocol Verification

Feeds to Scour
SubscribedAll
Scoured 79 posts in 13.9 ms

Update cipher guidance to reflect current TLS best practices by sujalavnelavai · Pull Request #2207 · OWASP/CheatSheetSeries

 📡Network Protocol Design  Content type: Code
github.com·

P2P networking solutions

 🖥Self-Hosting  Content type: Blog
blog.birbpara.de·

Subversion-Resistance for Free from Formal Verification

 🌐NetworkProtocols
lesswrong.com·

Dayon!

 🌐Open Source
flathub.org·

Another Look at Non-Frameability in Group Signatures for Anonymous Auctions

 🔗Curry-Howard
eprint.iacr.org·

Beyond the Corporate Tunnel: Why WireGuard and DPNs Are Replacing the Centralised VPN

 🖥Self-Hosting  Content type: Blog
medium.com·

Arr stack and Mullvad VPN?

 🖥Self-Hosting  Content type: Discussion
lemmy.world·

Help needed: After upgrade to 26.05 initrd-ssh/network is no longer working.

 🖥Self-Hosting
wiki.nixos.org··r/NixOS

Design Reliable, Scalable Distributed Systems

 🏗️System Design
fizzbee.io·

AWS can now mathematically prove your VMs are isolated

 🛡️seL4
thenewstack.io·

Proof of Source of Funds: Efficient On-chain Provenance of Cryptoassets

 🔄Reproducible Builds  Content type: Academic
arxiv.org·

FreeBSD 15.1-RC3 Available

 🖥Self-Hosting
discoverbsd.com·

NetExp: Post-mortem on VXLAN overlay and Post-Quantum Encryption

 🖥Self-Hosting  Content type: Blog
yuetau.bearblog.dev·

Mudi 7 (GL-E5800) 5G NR Wi-Fi 7 travel router supports up to 4.67 Gbps link rate - CNX Software

 🖥Self-Hosting  Content type: News
cnx-software.com·

Zcash Developers Weigh New Shielded Pool After Orchard Bug

 🌐NetworkProtocols
cointelegraph.com·

klauscam/BastionRoute: An outbound-initiated WebSocket relay fabric for UDP datagram binary streams that operates with zero-inbound port architecture

 🖥Self-Hosting  Content type: Code
github.com··Hacker News

Security experts warn advanced AI is about to spark a hacking crisis for both crypto and banks

 🔐Cybersecurity  Content type: News
coindesk.com·

I made Jellyfin remote streaming reliable without opening everything to the internet

 🖥Self-Hosting
xda-developers.com·

NetBSD Foundation 2026 Annual General Meeting: Board, Core, and Team Reports

 🖥Self-Hosting
discoverbsd.com·

[eCHO News] Episode #106: Writing eBPF in Haskell. Cilium and Star Wars

 ⎈Kubernetes
isovalent-9197153.hs-sites.com·

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help