🌐 NetworkProtocols - matmat · Scour

Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition 🌐Protocol Synthesis

Additive Cryptography for TLS 🌐DNS Security

sigma-rs: A Modular Approach for Keyed-Verification Anonymous Credentials 🔐PAKE Protocols

eprint.iacr.org·4d

arian-gogani/nobulex: The accountability primitive for AI agents. Cryptographic behavioral commitments with trustless verification. 🌳Archive Merkle Trees

github.com·5d·Hacker News, Hacker News

Capacity oracles 🎯Performance Proofs

ethresear.ch·3d

LemmaScript: A Verification Toolchain for TypeScript via Dafny ✅Format Verification

midspiral.com·5d·Lobsters, Hacker News

LibreSSL 4.3.1 Released 🔤DSLs

undeadly.org·5d·Hacker News

midspiral/LemmaScript: verification toolchain for TypeScript (Tech Preview) 🛡️Proof-Carrying Archives

github.com·5d·Hacker News

Process-Mining of Hypertraces: Enabling Scalable Formal Security Verification of (Automotive) Network Architectures 🔧Hardware Verification

Mbed-TLS/TF-PSA-Crypto: Reference implementation of the PSA Cryptography API ✅Checksum Validation

Certified Program Synthesis with a Multi-Modal Verifier ⚖️Verification Calculi

Crash-free Deductive Verifiers 🛡️Proof-Carrying Archives

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification ⚖️Verification Calculi

Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure ⚖️Verification Calculi

TLSCheck 2.0: An Enhanced Memory Forensics Approach to Efficiently Detect TLS Callbacks 🧠Memory Forensics

From Finite Enumeration to Universal Proof: Ring-Theoretic Foundations for PQC Hardware Masking Verification ⚡Circuit Verification

SpecPylot: Python Specification Generation using Large Language Models 📝ABNF Parsing

FUSE: Ensembling Verifiers with Zero Labeled Data 🧪Binary Fuzzing

Extending Contract Verification for Parallel Programming Models to Fortran ⚡Parallel Computing

Deductive Verification of Weak Memory Programs with View-based Protocols (extended version) 🧠Separation Logic

Log in to enable infinite scrolling