Huiyu Tan

According to our database, Huiyu Tan authored at least 4 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

SAT-based Formal Verification of Fault Injection Countermeasures for Cryptographic Circuits.

Huiyu Tan, Pengfei Gao, Fu Song, Taolue Chen, Zhilin Wu

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024

Study on the Effect of H₂ on SF₆ Degradation and its Product Distribution in Tandem DBD.

Ying Zhang, Mingwei Wang, Yalong Li, Lei Yu, Huiyu Tan, Kun Wan, Zhaodi Yang, Zhe Huang, Xiang Li, Yin Zhang

IEEE Access, 2024

Compositional Verification of Cryptographic Circuits Against Fault Injection Attacks.

Huiyu Tan, Xi Yang, Fu Song, Taolue Chen, Zhilin Wu

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

SAT-based Formal Fault-Resistance Verification of Cryptographic Circuits.

Huiyu Tan, Pengfei Gao, Taolue Chen, Fu Song, Zhilin Wu

CoRR, 2023