71 citations
- Chinese Academy of SciencesCN9 papers
- Institute of Information EngineeringCN7 papers
- University of Chinese Academy of SciencesCN7 papers
- Nanjing University of Posts and TelecommunicationsCN4 papers
- Zhejiang UniversityCN4 papers
- National Astronomical ObservatoriesCN3 papers
- Nankai UniversityCN2 papers
- State Key Laboratory of Information Security2 papers
- Zhejiang Sci-Tech UniversityCN2 papers
- Advanced Digital Sciences CenterSG1 paper
- Baidu (China)CN1 paper
- Beijing Botanical GardenCN1 paper
23 papers
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…
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…
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…
ALEX:A Light Editing-knowledge Extractor
Minghu Wang, Shuliang Zhao, Yuanyuan Zhao +1
The static nature of knowledge within Large Language Models (LLMs) makes it difficult for them to adapt to evolving information, rendering knowledge editing a critical task. Howeve…
Automating Comment Generation for Smart Contract from Bytecode
Jianhang Xiang, Zhipeng Gao, Lingfeng Bao +3
Recently, smart contracts have played a vital role in automatic financial and business transactions. To help end users without programming background to better understand the logic…
Holistic Semantic Representation for Navigational Trajectory Generation
Ji Cao, Tongya Zheng, Qinghong Guo +6
Trajectory generation has garnered significant attention from researchers in the field of spatio-temporal analysis, as it can generate substantial synthesized human mobility trajec…