🌐 NetworkProtocols - tiferrei · Scour

Modelling Distributed Applications with Mixed-Choice Stateful Typestates 🔠Type-Level Programming

arxiv.org·5d

Multi-agent AI orchestration built for governance, in Rust 🌐ActivityPub

broodlink.ai·4h·Hacker News

OranproAi/open-qa-protocol: The open standard for agentic software verification: query business rules, assess release risk, and execute autonomous testing workflows. 🔒Protocol Verification

github.com·20h·Hacker News

Show HN: AI Content Attestation & Verification w/ Revocable Signatures 🔒Protocol Verification

lyfe.ninja·1d·Hacker News

Critical flaw in wolfSSL library enables forged certificate use 🔒Protocol Verification

bleepingcomputer.com·23h·Hacker News

Show HN: I built an open protocol for Agent-to-agent commercial negotiation 🔒Protocol Verification

a2cn.io·6d·Hacker News

NK-CAPTCHA - Nation State Actor Verification 🔒Protocol Verification

nkcaptcha.com·12h·Hacker News

Towards Post-Quantum Cryptography in TLS (2019) 🔒Protocol Verification

blog.cloudflare.com·6d·Hacker News

How Anthropic detects third-party clients: system prompt analysis, not headers or TLS 🛡️macOS Security

gist.github.com·4d·Hacker News

Free domain SEC scanner – DMARC, MTA-STS, subdomain takeover, credential leaks 🛡️macOS Security

mydomainrisk.com·6d·Hacker News

brigalss-a/decision-passport-core: Append-only trust layer for AI agent actions with offline verification, tamper detection, and portable proof bundles. 🔒Protocol Verification

github.com·2d·Hacker News

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs 🔍CBMC

arxiv.org·1d

pandaadir05/snoop: A modern syscall tracer built on eBPF. Think strace, but with a real TUI, smart filters, TLS decryption, and output that's actually readable. 📦Unikernel Systems

github.com·1d·Hacker News, r/compsci, r/rust

From Indiscriminate to Targeted: Efficient RTL Verification via Functionally Key Signal-Driven LLM Assertion Generation 🔍Formal Verification

arxiv.org·1d

explainers-by-googlers/private-verification-tokens: Private Verification Tokens (PVT) is a low-entropy mechanism for users to transfer the trust they have established in regular browsing into private browsing mode to reduce their experienced friction 🔒Protocol Verification

github.com·17h·Hacker News

Case-Grounded Evidence Verification: A Framework for Constructing Evidence-Sensitive Supervision 🧠Automated Reasoning

arxiv.org·1d

AeneasVerif/aeneas: A verification toolchain for Rust programs 🏗️Dune

github.com·2d·Hacker News

The Art of Building Verifiers for Computer Use Agents 🔒Protocol Verification

arxiv.org·5d

Unauthenticated Object Write via Missing Signature Verification in Unsigned-Trailer Uploads 🛡️macOS Security

github.com·2d·Hacker News

lakestream-io/leaderless-log-protocol: The spec of leaderless log protocol used in Ursa 🔍Formal Verification

github.com·4d·Hacker News

Loading more...