#

verifier

https://static.github-zh.com/github_avatars/hfiref0x?size=40

Defeating Windows User Account Control

翻译击败Windows用户帐户控制

C 6.5 k
https://static.github-zh.com/github_avatars/smackers?size=40

SMACK Software Verifier and Verification Toolchain

C 433
https://static.github-zh.com/github_avatars/baro77?size=40

Zero-Knowledge Proofs "for (not too much 😉 ) dummies"

119
https://static.github-zh.com/github_avatars/serokell?size=40

Check cross-references in repository documents

Haskell 56
https://static.github-zh.com/github_avatars/Aiden-Price?size=40

A university project with the focus on a simplified DNS infrastructure that contains a DNS recursor, some DNS servers, a launcher program that generates configurations for the DNS servers and a verifi...

Python 1
https://static.github-zh.com/github_avatars/Dabolus?size=40

A web-based EUDCC (aka Green Pass) reader and verifier.

TypeScript 0
Website
Wikipedia