@alwayscurious@infosec.exchange
2026-09-18 21:14 UTC
@sophieschmieg@infosec.exchange Still amazed, though, especially because the way I think doesn’t match what I see in eprints. Notably, I prefer direct proofs of security to ones based on reduction. I find the former to be much easier to follow and provide a better understanding for why a protocol is secure.
Replies (1)
-
@mei@donotsta.re 2026-09-18 21:17
@alwayscurious@infosec.exchange @sophieschmieg@infosec.exchange how do you prove security directly for anything more complex than a one time pad?