Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
A systematic evaluation of automated tools for side-channel vulnerabilities detection in cryptographic libraries
To protect cryptographic implementations from side-channel vulnerabilities, developers must
adopt constant-time programming practices. As these can be error-prone, many side …
adopt constant-time programming practices. As these can be error-prone, many side …
Towards Efficient Verification of Constant-Time Cryptographic Implementations
Timing side-channel attacks exploit secret-dependent execution time to fully or partially
recover secrets of cryptographic implementations, posing a severe threat to software …
recover secrets of cryptographic implementations, posing a severe threat to software …
HyCaMi: High-Level Synthesis for Cache Side-Channel Mitigation
Cache side-channels are a major threat to cryptographic implementations, particularly block
ciphers. Traditional manual hardening methods transform block ciphers into Boolean …
ciphers. Traditional manual hardening methods transform block ciphers into Boolean …
CT-LLVM: Automatic Large-Scale Constant-Time Analysis
Constant-time (CT) is a popular programming discipline to protect cryptographic libraries
against micro-architectural timing attacks. One appeal of the CT discipline lies in its …
against micro-architectural timing attacks. One appeal of the CT discipline lies in its …
CipherGuard: Compiler-aided Mitigation against Ciphertext Side-channel Attacks
Cryptographic implementations bolster security against timing side-channel attacks by
integrating constant-time components. However, the new ciphertext side channels resulting …
integrating constant-time components. However, the new ciphertext side channels resulting …
[PDF][PDF] Automatic Performance Profiler for Security Analysis of Cryptographic Smart Cards
L Zaoral - 2023 - is.muni.cz
This thesis serves as a brief survey of contemporary approaches for the detection of source
code vulnerable to timing attacks and aims to assess their applicability to the JavaCard …
code vulnerable to timing attacks and aims to assess their applicability to the JavaCard …
Micro-architectural side channels: Studying the attack surface from hardware to browsers
C Maurice - 2023 - inria.hal.science
Hardware is often represented as an abstract layer that behaves correctly, executes
instructions and produces a result. However, side effects due to the execution of …
instructions and produces a result. However, side effects due to the execution of …
" These results must be false": A usability evaluation of constant-time analysis tools
“These results must be false”: A usability evaluation of constant-time analysis tools Page 1 This
paper is included in the Proceedings of the 33rd USENIX Security Symposium. August 14–16 …
paper is included in the Proceedings of the 33rd USENIX Security Symposium. August 14–16 …
[PDF][PDF] Human Factors in Open Source Security
M Fourné - 2024 - digital.ub.uni-paderborn.de
Software security research has begun to formalize attacks and defenses against commonly
deployed software, even the most optimized cryptography [38]. Newer programming …
deployed software, even the most optimized cryptography [38]. Newer programming …
瞬态执行攻击防御方法研究进展.
**扬， 高菲， 马自**， 苗莉 - Journal of Computer …, 2025 - search.ebscohost.com
瞬态执行攻击利用处理器微架构的实现特性窃取秘密, 并通过缓存侧信道泄露秘密相关信息,
对现代商用处理器的信息安全构成了极大威胁. 随着攻击研究的不断深入, 其防御方法也成为了 …
对现代商用处理器的信息安全构成了极大威胁. 随着攻击研究的不断深入, 其防御方法也成为了 …