Tag
verification
- Oct 19, 2026 Hash Trees and the Root of Trust in a Checksummed Filesystem Why per-block checksums need a chain to a single trusted value, how Merkle trees make tampering localisable, and what the root itself has to be protected against. filesystems
- Aug 26, 2026 Exhaustive State Exploration and What a Bounded Model Proves How model checking enumerates reachable states, why a bound is a parameter of the claim rather than a shortcut, and how to read a counterexample as a requirement defect. software engineering
- Aug 14, 2026 Verifying a Backfill with Range Checksums Instead of Full Comparison How partitioning a dataset into key ranges and comparing per-range digests localises a skipped or double-written record, and why the digest must be order-independent. distributed systems
- Feb 17, 2026 Checksum Verification and Restore Drills Distinguishing repository integrity from data verification and from a real restore, how much sampling is statistically worth doing, and what no checksum can detect. devops
- Dec 15, 2025 Reproducible Builds and the Sources of Byte-Level Nondeterminism Why two builds of identical source produce different archives, which fields carry the difference, and what verification requires beyond a matching hash. language runtimes
- Nov 20, 2025 Bytecode Verification and Stack Map Frames How a verifier proves that operand stack depths and types are consistent at every branch target, and why stack map frames replaced full dataflow analysis. language runtimes
- Jun 18, 2025 Decomposing Generated Text into Atomic Claims for Factuality Scoring Sentence-level factual accuracy conflates several errors into one label. Splitting output into self-contained claims changes both the denominator and the failure modes. inference systems
- Apr 8, 2025 Gradient Checking by Finite Differences The truncation and round-off errors that bound how accurately a numerical derivative can be measured, how to choose the step size and the comparison metric, and why a check can pass on a broken derivative. deep learning
- Jan 27, 2025 Executing Provenance Records to Certify That a Result Still Reconstructs Turning a recorded dependency graph into a re-runnable pipeline that hashes outputs and compares them to stored digests, so a result carries continuous evidence that it is still reproducible. scientific computing
- Jan 17, 2025 The Release of Unverified Plaintext Problem in AEAD APIs Why a decryption function that returns plaintext before the tag is checked reintroduces chosen-ciphertext attacks, and how streaming interfaces force the verification decision into the caller. cryptography
- Jan 27, 2024 Stack Bytecode: Fixed Stack Effects and the Dispatch Loop How a stack machine encodes operands implicitly in the stack pointer, why verifiers care about static stack depth, and what the dispatch loop costs per instruction. programming languages
- Sep 9, 2022 Provenance Attestations and the Digest They Must Bind An attestation is a signed claim about a build. Its value depends on a subject digest that names the exact artifact, a predicate that names the process, and a verifier policy. security