Runqing Xu

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 12

Top Topics

Constraint Solvers

Top Venues

IACR Cryptol. ePrint Arch.

Quantum Inf. Process.

Publications

Siwei Chen, Mingming Zhu, Zejun Xiang, Runqing Xu, Xiangyong Zeng, Shasha Zhang
Rotational-XOR Differential Rectangle Cryptanalysis on Simon-Like Ciphers. CT-RSA (2023)
Da Lin, Zejun Xiang, Runqing Xu, Shasha Zhang, Xiangyong Zeng
Optimized quantum implementation of AES. Quantum Inf. Process. 22 (9) (2023)
Da Lin, Zejun Xiang, Runqing Xu, Shasha Zhang, Xiangyong Zeng
Optimized Quantum Implementation of AES. IACR Cryptol. ePrint Arch. 2023 (2023)
Bohua Zhan, Yuheng Fan, Weiqiang Xiong, Runqing Xu
Iscalc: An Interactive Symbolic Computation Framework (System Description). CADE (2023)
Da Lin, Zejun Xiang, Runqing Xu, Xiangyong Zeng, Shasha Zhang
Quantum circuit implementations of SM4 block cipher based on different gate sets. Quantum Inf. Process. 22 (7) (2023)
Siwei Chen, Mingming Zhu, Zejun Xiang, Runqing Xu, Xiangyong Zeng, Shasha Zhang
Rotational-XOR Differential Rectangle Cryptanalysis on Simon-like Ciphers. IACR Cryptol. ePrint Arch. 2023 (2023)
Runqing Xu, Jie An, Bohua Zhan
Active Learning of One-Clock Timed Automata using Constraint Solving. CoRR (2022)
Runqing Xu, Jie An, Bohua Zhan
Active Learning of One-Clock Timed Automata Using Constraint Solving. ATVA (2022)
Runqing Xu, Zejun Xiang, Da Lin, Shasha Zhang, Debiao He, Xiangyong Zeng
High-throughput block cipher implementations with SIMD. J. Inf. Secur. Appl. 70 (2022)
Runqing Xu, Liming Li, Bohua Zhan
Verified Interactive Computation of Definite Integrals. CADE (2021)
Runqing Xu, Shengling Geng, Banghe Han, Ruize Wu
Dominance Matrix of Hypergraph and Its Application in Cyclic Graph Judgement. ISKE (2021)
Shengling Geng, Banghe Han, Ruize Wu, Runqing Xu
An Offline and Online Algorithm for All Minimal k|U| Parameter Subsets of a Soft Set Based on Integer Partition. IEEE Access 8 (2020)