71 citations
- Chinese Academy of SciencesCN5 papers
- Institute of Information EngineeringCN4 papers
- Zhejiang UniversityCN4 papers
- University of Chinese Academy of SciencesCN3 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 2026 · cs.CRShow all
2 papers · 2 filters
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.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…