🛡️ Archive Verification - matmat · Scour

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

⚖️Verification Calculi

Lessons from Formally Verified Deployed Software Systems (Extended version)

arxiv.org·1d

⚖️Verification Calculi

Hint-Based SMT Proof Reconstruction

arxiv.org·4h

🧮SMT Solvers

FEATURE - Building Frameworks for Long-Term Digital Preservation

infotoday.com·1d

🏛️OAIS Implementation

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·21h

📊Static Analysis

22.00.0180 Backups aren't enough: create 'restore points'

johnnydecimal.com·2h

💿Backup Strategies

Treat Data Like Hazardous Material: Risks of Over-Collection and Retention

lmgsecurity.com·5h

🔗Data Provenance

Privacy-Preserving Active Learning for heritage language revitalization programs with zero-trust governance guarantees

dev.to·1d·

Discuss: DEV

BPF Verifier State Pruning: Timeline

pchaigno.github.io·2d

🛡️Error Boundaries

The challenges of soft delete

atlas9.dev·2d·

Discuss: Hacker News

🧬PostgreSQL Forensics

Redacting Faces, People, Vehicles, and Plates with Amped Replay Assisted Redaction

blog.ampedsoftware.com·18h

🧪Archive Fuzzing

CodeSOD: Well Timed Double Checking

thedailywtf.com·2d

🧪Binary Fuzzing

SLSA: Safeguarding artifact integrity across any software supply chain

sam.roque-worcel.com·1d·

Discuss: Hacker News

🔗Supply Chain

Filtering as domain logic

blog.ploeh.dk·2d·

Discuss: r/programming

🗄️Database Internals

Nukeproof: Manifesto for European Data Sovereignty

nukeproof.org·21h·

Discuss: Hacker News

🏷️Metadata Standards

Building Modern Databases with the FDAP Stack • Andrew Lamb & Olimpiu Pop

youtube.com·1d

🦀Rusty Databases

Software Heritage Archive recognized as a digital public good

softwareheritage.org·1d

🏺Format Archaeology

One part of me wonders whether this would’ve been caught earlier if I spent some more time analizing the possible approaches for this refactor. Honestl...

lmika.org·5h

🔓Reverse engineering

Accessing SMF Real Time data.

colinpaice.blog·2h

🌊Stream Processing

Subterms Modulo Theories I

philipzucker.com·3d

🎯Automata theory

Loading more...