jose-blockchain/ledger-threat-modelling
Ledger Hardwallet Threat Modelling and Attack Planning
1 best points · 1 comments · 1 Hacker News post · 1 GitHub stars · View on GitHub
Hacker News discussions
- Formal Threat Modelling for Ledger Hardware Wallets with PDDL and Alloy (1 points, 1 comments, by jose-hn, 2026-03-19)