Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring
arxiv.org·1d
22.00.0180 Backups aren't enough: create 'restore points'
johnnydecimal.com·2h
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·21h
CodeSOD: Validation Trimmed Away
thedailywtf.com·1d
BPF Verifier State Pruning: Timeline
pchaigno.github.io·2d
Saving The Elfeed Database
irreal.org·17h
Values of the world, unite!
jemarch.net·1d
Software Heritage Archive recognized as a digital public good
softwareheritage.org·1d
Redacting Faces, People, Vehicles, and Plates with Amped Replay Assisted Redaction
blog.ampedsoftware.com·18h
Loading...Loading more...