49 citations · 223 across the 35 of their papers we have counts for
5 papers · 1 filter
Assessing and Improving Syntactic Adversarial Robustness of Pre-trained Models for Code Translation
Guang Yang, Yu Zhou, Xiangyu Zhang +3
Context: Pre-trained models (PTMs) have demonstrated significant potential in automatic code translation. However, the vulnerability of these models in translation tasks, particula…
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…
Automated Verification of Correctness for Masked Arithmetic Programs
Mingyang Liu, Fu Song, Taolue Chen
Masking is a widely-used effective countermeasure against power side-channel attacks for implementing cryptographic algorithms. Surprisingly, few formal verification techniques hav…
A Syntax-Guided Multi-Task Learning Approach for Turducken-Style Code Generation
Guang Yang, Yu Zhou, Xiang Chen +4
Due to the development of pre-trained language models, automated code generation techniques have shown great promise in recent years. However, the generated code is difficult to me…
Test Reuse Based on Adaptive Semantic Matching across Android Mobile Applications
Shuqi Liu, Yu Zhou, Tingting Han +1
Automatic test generation can help verify and develop the behavior of mobile applications. Test reuse based on semantic similarities between applications of the same category has b…