2 citations · 3 across the 5 of their papers we have counts for
4 papers · 1 filter
Verification of Bit-Flip Attacks against Quantized Neural Networks
Yedi Zhang, Lei Huang, Pengfei Gao +3
In the rapidly evolving landscape of neural network security, the resilience of neural networks against bit-flip attacks (i.e., an attacker maliciously flips an extremely small amo…
SAT-based Formal Fault-Resistance Verification of Cryptographic Circuits
Huiyu Tan, Pengfei Gao, Taolue Chen +2
Fault injection attacks represent a type of active, physical attack against cryptographic circuits. Various countermeasures have been proposed to thwart such attacks, the design an…
A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs
Pengfei Gao, Hongyi Xie, Fu Song +1
Side-channel attacks, which are capable of breaking secrecy via side-channel information, pose a growing threat to the implementation of cryptographic algorithms. Masking is an eff…
Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks
Pengfei Gao, Hongyi Xie, Jun Zhang +2
Power side-channel attacks, which can deduce secret data via statistical analysis, have become a serious threat. Masking is an effective countermeasure for reducing the statistical…