Live briefing
Everything about File verification
Operation of checking the integrity of file
File verification is the process of using an algorithm for verifying the integrity of a computer file, usually by checksum. This can be done by comparing two files bit-by-bit, but requires two copies of the same file, and may miss systematic corruptions which might occur to both files. A more popular approach is to generate a hash of the copied file and comparing that to the hash of the original file. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: File verificationA 5-minute orientation
- Skim a recent paper: Blockchain and Inter Planetary File System based Secured KYC Document Verification for Banking SystemInfluential work since 2022
- Pick up a classic book: Model Checking SoftwareThe most-reprinted book on the subject
- Read the landmark paper: Verification of dynamic and segmental IMRT delivery by dynamic log file analysisCited 181 times
- Go sideways: Simple file verificationA closely related topic
- Go sideways: Cryptographic hash functionA closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
Verification of dynamic and segmental IMRT delivery by dynamic log file analysis
The design and verification of the Rio file cache
Avoiding data loss and corruption for file transfers with Fast Integrity Verification
3D VMAT Verification Based on Monte Carlo Log File Simulation with Experimental Feedback from Film Dosimetry
RIVA: Robust Integrity Verification Algorithm for High-Speed File Transfers
A method for patient‐specific DVH verification using a high‐sampling‐rate log file in an Elekta linac
File systems deserve verification too!
Verification of Crashsafe Caching in a Virtual File System Switch
🆕 Influential since 2022
Blockchain and Inter Planetary File System based Secured KYC Document Verification for Banking System
A Verification Method for a Bay Configuration File of Intelligent Substation Renovation and Expansion in Power Systems
Implementation of file hashing and verification using HMAC-SHA3
Shared file protection against unauthorised encryption using a Buffer-Based Signature Verification Method
Research on the Construction of High-Trust Root Zone File Based on Multi-Source Data Verification
📚 Books worth reading
Model Checking SoftwareEzio Bartocci, C. R. Ramakrishnan · 2013
Model Checking SoftwareMatthew Dwyer · 2001
Model Checking SoftwareAntti Valmari · 2006
Statistical techniques for analytical review in auditingKenneth W. Stringer · 1986
Model Checking SoftwareAlex Groce · 2011
Gradle in ActionBenjamin Muschko · 2014
Principles of the Spin model checkerM. Ben-Ari · 2008- 📕Model Checking SoftwareThomas Ball, Sriram K. Rajamani · 2003
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Simple file verification Simple file verification (SFV) is a file format for storing CRC-32 checksums of files to verify the integrity of files. SFV is used to verify that a file…
- Cryptographic hash function A cryptographic hash function (CHF) is a hash algorithm (a map of an arbitrary binary string to a binary string with a fixed size of n bits) that has special…
- MD5 The MD5 message-digest algorithm is a widely used hash function producing a 128-bit hash value. MD5 was designed by Ronald Rivest in 1991 to replace an…
- Sha1sum sha1sum is a computer program that calculates and verifies SHA-1 hashes. It is commonly used to verify the integrity of files. It (or a variant) is installed…
- Md5sum md5sum is a computer program that calculates and verifies 128-bit MD5 hashes, as described in RFC 1321. The MD5 hash functions as a compact digital fingerprint…
- Collision attack In cryptography, a collision attack on a cryptographic hash tries to find two inputs producing the same hash value, i.e. a hash collision. This is in contrast…
- HMAC In cryptography, an HMAC (sometimes expanded as hash-based message authentication code or keyed-hash message authentication code) is a specific type of…
- Fingerprint (computing) In computer science, a fingerprinting algorithm is a procedure that maps an arbitrarily large data item (such as a computer file) to a much shorter bit…