Xinghao Peng

According to our database, Xinghao Peng authored at least 4 papers between 2024 and 2025.

Collaborative distances:

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

2025

ConsCS: Effective and Efficient Verification of Circom Circuits.

Jinan Jiang, Xinghao Peng, Jinzhao Chu, Xiapu Luo

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

2024

PEBTrack: A Performance-Efficiency Balance Tracker for Aerial Scenario.

Xuesen Ma, Xiuxuan Yu, Xinghao Peng

Proceedings of the Neural Information Processing - 31st International Conference, 2024

DoubleUp Roll: Double-spending in Arbitrum by Rolling It Back.

Zhiyuan Sun, Zihao Li, Xinghao Peng, Xiapu Luo, Muhui Jiang, Hao Zhou, Yinqian Zhang

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

fAmulet: Finding Finalization Failure Bugs in Polygon zkRollup.

Zihao Li, Xinghao Peng, Zheyuan He, Xiapu Luo, Ting Chen

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024