✅ Formal Verification - bassam_exe · Scour

The Final Form of Software Development 🔍Reverse Engineering

blog.zksecurity.xyz·1d·Lobsters, Hacker News

Towards System-Oriented Formal Verification of Local-First Access Control 🔢Homomorphic Encryption

Forging ZK proofs to mint arbitrary DUSK tokens 🔢Homomorphic Encryption

osec.io·9h·Hacker News

jessealama/thales: TypeScript compiler and JavaScript engine in Lean ⛓️Blockchain

github.com·16h·Hacker News

Leveraging Agentic AI Techniques to Improve Formal Verification (Infineon, et al.) 🔒Hardware Security

semiengineering.com·2d

GCC 16.1 released: C++26 reflection / contracts / safety hardening, C++20 by default, and more! 🔍Reverse Engineering

Formal Verification, Integration and Physical Evaluation of Prime-Field Masking on Silicon 🔒Hardware Security

eprint.iacr.org·6d

test (3) Linux Manual Page 📐Mathematical Logic

systutorials.com·9h

Specification-Driven Development framework for agent-native development 🔍Reverse Engineering

specdd.ai·1d·Hacker News

Animated Logical Graphs • 1 📐Mathematical Logic

stream.syscoi.com·13h

Verified by Spotify: New No AI badge— it appears for creators with steady listener activity, clean platform records, and real-world proof like live shows or mer... 🧬Cognitive Science

lemmy.world·5h

Replacing probabilistic AI with deterministic math and Dafny formal verification ⛓️Blockchain

gist.github.com·6d·Hacker News

The fall of the theorem economy (David Bessis) 📊Mathematics

lesswrong.com·1d

Timestamp Drift and Sensor Synchronization: Small Timing Errors, Big Safety Consequences 🔒Hardware Security

eetimes.com·14h

ECAPI-talizing on Conversions with the Final ECAPI spec 🔍Reverse Engineering

iabtechlab.com·2d

ethlambda: how we got a 3x speedup in signature aggregation 🔐Cryptography

blog.lambdaclass.com·9h

Functional Programming in Lean - Functional Programming in Lean 📐Mathematical Logic

leanprover.github.io·3d·Hacker News

Machine-Speed Defense for Lean Security Teams 🔒Hardware Security

malware.news·1d

Emulating PS2 Floating-Point Numbers: IEEE 754 Differences (Part 1) 🔍Reverse Engineering

gregorygaines.com·21h·Hacker News

How a retired technician handed EFF the proof of NSA mass spying 🕶️Privacy Tech

boingboing.net·5h

Log in to enable infinite scrolling