Feeds to Scour
SubscribedAll
Scoured 52 posts in 12.1 ms
Control Flow Graph Recovery for Dynamically Loaded Code via Symbolic Library Resolution  🔍KLEE
arxiv.org·3d
Location: New York City area, USA Remote: Yes, also open to on-site Willing to r...  🏠Home Automation
news.ycombinator.com·5h·Hacker News
Simplifying Alignment by Expanding Scope  💫Effect Systems
lesswrong.com·5d
Apple open-sources quantum-resistant encryption code  🔢Homomorphic Encryption
cyberscoop.com·6d
Apple Publishes Source Code for Their Cryptography on GitHub  🏷️Memory Tagging
discuss.privacyguides.net
·4d
Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code  🏗️Cranelift
csail.mit.edu·5d
Automating Formal Verification with Reinforcement Learning and Recursive Inference  🧮SMT Solvers
arxiv.org·16h
Apple makes its quantum-resistant encryption open source  🔢Homomorphic Encryption
helpnetsecurity.com·5d
Aspects of Coherence in Dependence Logic  🌊CALM Theorem
arxiv.org·16h
A proof-theoretic approach to abstract interpretation  ✓Formal Verification
arxiv.org·5d
Automating Formal Verification with Agent-Guided Tree Search  📐TLA+
arxiv.org·4d
Methods for Formal Verification of Agent Skills: Three Layers Toward a Mechanically Checkable Capability-Containment Proof  ✅Model Checking
arxiv.org·6d
ESBMC: A Survey of Its Evolution, Integration, and Future Directions in Formal Software Verification  📐TLA+
arxiv.org·5d
ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification  ✅Model Checking
arxiv.org·5d
Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin  🔒Tetragon
arxiv.org·3d
SpecAlign: A Semantic Alignment Framework for SystemVerilog Assertion Generation  🏗️MLIR
arxiv.org·6d
Formalizing Mathematics at Scale  🔗Dependent Types
arxiv.org·3d
A Rust-to-Lean Verification Pipeline with AI Provers: An Experience Report  🦀Rust
arxiv.org·3d
Verifying Adversarial Robustness in Quantum Machine Learning: from theory to physical validation via a software tool  ⚛️Quantum Computing
arxiv.org·3d
Heimdall: Formally Verified Automated Migration of Legacy eBPF Programs to Rust  🔀Crossbeam
arxiv.org·6d·Hacker News

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