Feeds to Scour
SubscribedAll
Scoured 24566 posts in 13.2 ms
A Readable Specification of TLS 1.3  🔑Cryptographic Protocols
davidwong.fr·3d·Hacker News·
Sal: Multi-modal Verification of Replicated Data Types  🛡️Archive Verification
arxiv.org·2d·
RFC 9949: BUSA-TLS: Mandatory Audio Component (MAC) Pre-Shared Key (PSK) Derivation for TLS 1.3 Using 2 Live Crew's "Banned in the U.S.A."  🏺Protocol Archaeology
rfc-editor.org·7h·Hacker News·
NUS-Program-Verification/AutoRocq: Agentic Theorem Prover for Rocq for Program Verification  📐Proof Assistants
github.com·5d·Hacker News·
Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification  ⚔️Lean Tactics
goedelcodeprover.github.io·6d·Hacker News·
QSCS Trust Layer – Why We Require Identity Before TLS  🌐DNS over QUIC
spooksystems.io·5d·Hacker News·
When Verified Source Lies  🌳Archive Merkle Trees
hackernoon.com·5d·
Noise Inference by Recycling Test Rounds in Verification Protocols  🔧Hardware Verification
arxiv.org·1d·
From a Silent Math Error to Certificate Bypass: Uncovering an Integer Overflow in a TLS Parser  🧪Binary Fuzzing
infosecwriteups.com·4d·
WybeCoder: Verified Imperative Code Generation  ⚔️Lean Tactics
arxiv.org·1d·
Red-MIRROR: Agentic LLM-based Autonomous Penetration Testing with Reflective Verification and Knowledge-augmented Interaction  🧮Z3 Solver
arxiv.org·2d·
OE-GOD/world-zk-compute: Cryptographic proof that AI models produce correct outputs. Verify ML inference with zero-knowledge proofs. REST API, Python/Rust/TS/Go SDKs, on-chain verification.  🧮Z3 Solver
github.com·3d·Hacker News·
Compositional Reasoning for Probabilistic Automata with Uncertainty  ⚙Automata Theory
arxiv.org·1d·
From Inference Routing to Agent Orchestration: Declarative Policy Compilation with Cross-Layer Verification  🔄Session Type Inference
arxiv.org·2d·
Decentralized Proof-of-Location for Content Provenance: Towards Capture-Time Authenticity  🔐PKI Archaeology
arxiv.org·2d·
GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra  🧮SMT Solvers
arxiv.org·1d·
UCAgent: An End-to-End Agent for Block-Level Functional Verification  🔧Hardware Verification
arxiv.org·3d·
Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems  ⏰Temporal Logic
arxiv.org·6d·
Decidable By Construction: Design-Time Verification for Trustworthy AI  ⚖️Verification Calculi
arxiv.org·6d·
On the Foundations of Trustworthy Artificial Intelligence  ⚖️Hoare Logic
arxiv.org·6d·

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
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