Directory
Published directory entries matching your search.
The first edition of the Verification Handbook is a reference book on verifying digital content for emergency coverage. It covers separating rumor from fact, verifying user-generated content, images and video, putting human and computer crowds to work, preparing for disaster coverage, and creating verification processes and checklists, with chapters on verification tools and additional materials.
Amnesty tool for extracting YouTube video metadata useful in verification and open-source research.
High Assurance Rust is a book about developing secure and robust software. It presents a project-based approach to systems programming and low-level software security, teaching Rust by re-implementing a major dynamic collection from its standard library. It discusses using open-source software assurance tools, including rustc, libFuzzer, rr, qemu, differential fuzzing and deductive verification.
HKMDB — Click the button below to complete a quick verification (takes 5–15 seconds). Once done, you'll have full access.
