#верификация
-
ASMC: Wiring Ghidra to CBMC for Assembly Model Checking
Philip Zucker has released ASMC, a tool that lifts Ghidra's assembly semantics into the CBMC model checker. Notably, most of the glue code was written by AI.
-
EU Age Verification Project to Require Hardware-Bound Attestation
Judging by its requirements, the European age-verification project for online users will rely on device-bound hardware attestation.