Live data from Hacker News

Attacking NIST SP 800-108 (Loss of Key Control Security)

scottarc.blog

1–4 of 4 posts

Re: Attacking NIST SP 800-108 (Loss of Key Control Security)

#3
Another good post. I thought that reduction-based security proofs were supposed to save us from this kind of thing. What happened? I also got the impression, back when I was into this stuff, that these proofs are quite hard to formalize. I never understood why. Otherwise, maybe model checking could find such attacks.