Formal Threat Modelling for Ledger Hardware Wallets with PDDL and Alloy

(github.com) by jose-hn | Mar 19, 2026 | 1 comments on HN