Runqing Xu

According to our database, Runqing Xu authored at least 9 papers between 2020 and 2023.

Collaborative distances:

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

2023

Quantum circuit implementations of SM4 block cipher based on different gate sets.

Da Lin, Zejun Xiang, Runqing Xu, Xiangyong Zeng, Shasha Zhang

Quantum Inf. Process., July, 2023

Optimized Quantum Implementation of AES.

Da Lin, Zejun Xiang, Runqing Xu, Shasha Zhang, Xiangyong Zeng

IACR Cryptol. ePrint Arch., 2023

Rotational-XOR Differential Rectangle Cryptanalysis on Simon-like Ciphers.

Siwei Chen, Mingming Zhu, Zejun Xiang, Runqing Xu, Xiangyong Zeng, Shasha Zhang

IACR Cryptol. ePrint Arch., 2023

Iscalc: An Interactive Symbolic Computation Framework (System Description).

Bohua Zhan, Yuheng Fan, Weiqiang Xiong, Runqing Xu

Proceedings of the Automated Deduction - CADE 29, 2023

2022

High-throughput block cipher implementations with SIMD.

Runqing Xu, Zejun Xiang, Da Lin, Shasha Zhang, Debiao He, Xiangyong Zeng

J. Inf. Secur. Appl., 2022

Active Learning of One-Clock Timed Automata Using Constraint Solving.

Runqing Xu, Jie An, Bohua Zhan

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Dominance Matrix of Hypergraph and Its Application in Cyclic Graph Judgement.

Runqing Xu, Shengling Geng, Banghe Han, Ruize Wu

Proceedings of the 16th International Conference on Intelligent Systems and Knowledge Engineering, 2021

Verified Interactive Computation of Definite Integrals.

Runqing Xu, Liming Li, Bohua Zhan

Proceedings of the Automated Deduction - CADE 28, 2021

2020

An Offline and Online Algorithm for All Minimal k|U| Parameter Subsets of a Soft Set Based on Integer Partition.

Shengling Geng, Banghe Han, Ruize Wu, Runqing Xu

IEEE Access, 2020