Integrity Checker
Defense · Refined (cyan) · Formal Methods corpus
Cryptographic file-fingerprint tool that watches for change — was this binary altered since the last known-good state? Anomaly Detector watches behaviour; this watches state.
Defense · Refined (cyan) · Formal Methods corpus
Cryptographic file-fingerprint tool that watches for change — was this binary altered since the last known-good state? Anomaly Detector watches behaviour; this watches state.