71 citations
- Chinese Academy of SciencesCN5 papers
- Institute of Information EngineeringCN4 papers
- University of Chinese Academy of SciencesCN3 papers
- Zhejiang UniversityCN3 papers
- Nanjing University of Posts and TelecommunicationsCN2 papers
- National Astronomical ObservatoriesCN2 papers
- Zhejiang Sci-Tech UniversityCN2 papers
- Advanced Digital Sciences CenterSG1 paper
- China Information Technology Security Evaluation CenterCN1 paper
- Communication University of ZhejiangCN1 paper
- Harbin Institute of TechnologyCN1 paper
- Hebei Normal UniversityCN1 paper
Showing 2026Show all
3 papers · 1 filter
cs.CR2026★ 4 cited
Enforcing Access Control in Distributed Version Control Systems
Xin Xu, Quanwei Cai, Jingqiang Lin +2
Version control systems (VCS), including central VCS (CVCS) and distributed VCS (DVCS), are widely adopted to manage the changes to various types of data. Unlike the CVCS where all…
cs.SE2026
Demystifying Solana Bots: From GitHub Blueprints to On-Chain Fingerprints
Xiaoye Zheng, Yujing Chen, Minghao Wu +5
Solana is an emerging blockchain platform designed for high throughput and low transaction fees, making it inexpensive to submit transactions at scale and, consequently, increasing…
cs.CR2026
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes
Zhaoxuan Li, Qionglu Zhang, Hengyuan Liu +8
Manual formal analysis of cryptographic schemes is labor-intensive and requires substantial expertise. While model-checking tools (e.g., Scyther and Tamarin) and computational-secu…