✅ Formal Verification - mjjansen · Scour

Automated Conjecture Resolution with Formal Verification 🤖AI

arxiv.org·3d

Beyond Static Analysis: Proving Automotive Cybersecurity and Functional Safety 🔒Memory Safety

embedded.com·2d

lakestream-io/leaderless-log-protocol: The spec of leaderless log protocol used in Ursa 🎛️Fine-tuning

github.com·36m·Hacker News

OpenJDK Interim Policy on Generative AI 🤖LLMs

mail.openjdk.org·21h·Hacker News, r/java

Separator-Based Participation Commitments for Post-Quantum Attestation Aggregation 🎛️Fine-tuning

ethresear.ch·1d

PSA Crypto: The P is for Portability 🎛️Fine-tuning

danielmangum.com·8h·Hacker News

Automated Security Assertion Generation Using LLMs (U. of Florida) 🤖LLMs

semiengineering.com·6d

Building DocProof: Proving Documents Exist Without Sharing Them 🤖LLMs

docproof.org·23h·DEV

How agile practices ensure quality in GenAI-assisted development 🎛️Fine-tuning

infoworld.com·1d

Day 3: Null Safety [FREE] 🎛️Fine-tuning

kodeco.com·3h

EIP-8222: Lean Staking 🔒Memory Safety

ethereum-magicians.org·12h

Secure MSM Outsourcing Computation for Zero-knowledge Proof Generation 🎛️Fine-tuning

eprint.iacr.org·2d

Proof Before Execution: Nothing Runs Without Being Proven 🔒Memory Safety

medium.com·3d

Reproducing steering against evaluation awareness in a large open-weight model 🎛️Fine-tuning

lesswrong.com·5h

Soppo language: Go, with the features it's missing 🤖AI

soppolang.dev·6h·Hacker News

Program Analysis: A Pragmatic Approach 🎛️Fine-tuning

homes.cs.washington.edu·1d·Lobsters

Big Tech Races to Quantum Safety as Cyber Threat Clock Ticks Down 🎛️Fine-tuning

pymnts.com·45m

The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline 🎛️Fine-tuning

symbolic.software·3d

Trust But Canary: Configuration Safety at Scale 🎛️Fine-tuning

engineering.fb.com·1d

Benchmarks are the new stars 🎛️Fine-tuning

mercurialsolo.github.io·22h

Loading more...