From Theory to Code: Identifying Logical Flaws in Cryptographic Implementations in C/C++
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Transactions on Dependable and Secure Computing"
DOI: 10.1109/tdsc.2021.3108031
Abstract: Cryptographic protocols are often expected to be provably secure. However, this security guarantee often falls short in practice due to various implementation flaws. We propose a new paradigm called cryptographic program analysis (CPA) which prescribes… read more here.
Keywords: cryptographic implementations; level properties; level; flaws cryptographic ... See more keywords