Abstract: Due to the increasing threats from possible large-scale quantum computers, post-quantum cryptography (PQC) has drawn significant attention from various communities recently. In particular, ...
Abstract: We develop foundations and several constructions for security protocols that can automatically detect, without false positives, if a secret (such as a key or password) has been misused. Such ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback