检索结果-内蒙古大学图书馆

44th ACM/IEEE International Conference on Software Engineering, ICSE 2024

作者： Gao, Yi Hu, Xing Xu, Tongtong Xia, Xin Lo, David Yang, Xiaohu Zhejiang University The State Key Laboratory of Blockchain and Data Security Hangzhou China Huawei Hangzhou China School of Computing and Information Systems Singapore Management University Hangzhou China

ISBN: (纸本)9798400702174

Test migration, which enables the reuse of test cases crafted with knowledge and creativity by testers across various platforms and programming languages, has exhibited effectiveness in mobile app testing. However, unit test migration at the source code level has not garnered adequate attention and exploration. In this paper, we propose a novel cross-language and cross-platform test migration methodology, named MUT, which consists of four modules: code mapping, test case filtering, test case translation, and test case adaptation. MUT initially calculates code mappings to establish associations between source and target projects, and identifies suitable unit tests for migration from the source project. Then, MUT's code translation component generates a syntax tree by parsing the code to be migrated and progressively converts each node in the tree, ultima tely generating the target tests, which are compiled and executed in the target project. Moreover, we develop a web tool to assist developers in test migration. The effectiveness of our approach has been validated on five prevalent functional domain projects within the open-source community. We migrate a total of 550 unit tests and submitted pull requests to augment test code in the target projects on GitHub. By the time of this paper submission, 253 of these tests have already been merged into the projects (including 197 unit tests in the Luliyucoordinate-LeetCode project and 56 unit tests in the Rangerlee-HtmlParser project). Through running these tests, we identify 5 bugs, and 2 functional defects, and submitted corresponding issues to the project. The evaluation substantiates that MUT's test migration is both viable and beneficial across programming languages and different projects. © 2024 ACM.

关键词： Mapping

来源：评论

学校读者我要写书评

暂无评论

Transformer Doctor: Diagnosing and Treating Vision Transformers 38

Transformer Doctor: Diagnosing and Treating Vision Transform...

引用

38th Conference on Neural Information Processing Systems, NeurIPS 2024

作者： Hu, Jiacong Chen, Hao Chen, Kejia Gao, Yang Ye, Jingwen Wang, Xingen Song, Mingli Feng, Zunlei College of Computer Science and Technology Zhejiang University China School of Software Technology Zhejiang University China National University of Singapore Singapore State Key Laboratory of Blockchain and Data Security Zhejiang University China Institute of Blockchain and Data Security China Bangsheng Technology Co. Ltd. China

Due to its powerful representational capabilities, Transformers have gradually become the mainstream model in the field of machine vision. However, the vast and complex parameters of Transformers impede researchers from gaining a deep understanding of their internal mechanisms, especially error mechanisms. Existing methods for interpreting Transformers mainly focus on understanding them from the perspectives of the importance of input tokens or internal modules, as well as the formation and meaning of features. In contrast, inspired by research on information integration mechanisms and conjunctive errors in the biological visual system, this paper conducts an in-depth exploration of the internal error mechanisms of Transformers. We first propose an information integration hypothesis for Transformers in the machine vision domain and provide substantial experimental evidence to support this hypothesis. This includes the dynamic integration of information among tokens and the static integration of information within tokens in Transformers, as well as the presence of conjunctive errors therein. Addressing these errors, we further propose heuristic dynamic integration constraint methods and rule-based static integration constraint methods to rectify errors and ultimately improve model performance. The entire methodology framework is termed as Transformer Doctor, designed for diagnosing and treating internal errors within transformers. Through a plethora of quantitative and qualitative experiments, it has been demonstrated that Transformer Doctor can effectively address internal errors in transformers, thereby enhancing model performance. For more information, please visit https://***/. © 2024 Neural information processing systems foundation. All rights reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Uncertainty-Aware Graph Structure Learning 25

Uncertainty-Aware Graph Structure Learning

引用

34th ACM Web Conference, WWW 2025

作者： Han, Shen Zhou, Zhiyao Chen, Jiawei Hao, Zhezheng Zhou, Sheng Wang, Gang Feng, Yan Chen, Chun Wang, Can The State Key Laboratory of Blockchain and Data Security Zhejiang University Hangzhou China Northwestern Polytechnical University Xi’an China Zhejiang University Hangzhou China Bangsun Technology Hangzhou China College of Computer Science and Technology Zhejiang University China Institute of Blockchain and Data Security China

ISBN: (纸本)9798400712746

Graph Neural Networks (GNNs) have become a prominent approach for learning from graph-structured data. However, their effectiveness can be significantly compromised when the graph structure is suboptimal. To address this issue, Graph Structure Learning (GSL) has emerged as a promising technique that refines node connections adaptively. Nevertheless, we identify two key limitations in existing GSL methods: 1) Most methods primarily focus on node similarity to construct relationships, while overlooking the quality of node information. Blindly connecting low-quality nodes and aggregating their ambiguous information can degrade the performance of other nodes. 2) The constructed graph structures are often constrained to be symmetric, which may limit the model’s flexibility and effectiveness. To overcome these limitations, we propose an Uncertainty-aware Graph Structure Learning (UnGSL) strategy. UnGSL estimates the uncertainty of node information and utilizes it to adjust the strength of directional connections, where the influence of nodes with high uncertainty is adaptively reduced. Importantly, UnGSL serves as a plug-in module that can be seamlessly integrated into existing GSL methods with minimal additional computational cost. In our experiments, we implement UnGSL into six representative GSL methods, demonstrating consistent performance improvements. © 2025 Copyright held by the owner/author(s).

关键词： Graphic methods

来源：评论

学校读者我要写书评

暂无评论

Automating Comment Generation for Smart Contract from Bytecode

arXiv

引用

arXiv 2025年

作者： Xiang, Jianhang Gao, Zhipeng Bao, Lingfeng Hu, Xing Chen, Jiayuan Xia, Xin The State Key Laboratory of Blockchain and Data Security Zhejiang University Hangzhou China The State Key Laboratory of Blockchain and Data Security Zhejiang University Shanghai China Blockchain and Data Security Research Institute Hangzhou China The Ohio State Univeristy Columbus United States

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 of smart contracts, previous studies have proposed models for automatically translating smart contract source code into their corresponding code summaries. However, in practice, only 13% of smart contracts deployed on the Ethereum blockchain are associated with source code. The practical usage of these existing tools is significantly restricted. Considering that bytecode is always necessary when deploying smart contracts, in this paper, we first introduce the task of automatically generating smart contract code summaries from bytecode. We propose a novel approach, named SmartBT (Smart contract Bytecode Translator) for automatically translating smart contract bytecode into fine-grained natural language description directly. Two key challenges are posed for this task: structural code logic hidden in bytecode and the huge semantic gap between bytecode and natural language descriptions. To address the first challenge, we transform bytecode into CFG (Control-Flow Graph) to learn code structural and logic details. Regarding the second challenge, we introduce an information retrieval component to fetch similar comments for filling the semantic gap. Then the structural input and semantic input are used to build an attentional sequence-to-sequence neural network model. The copy mechanism is employed to copy rare words directly from similar comments and the coverage mechanism is employed to eliminate repetitive outputs. The automatic evaluation results show that SmartBT outperforms a set of baselines by a large margin, and the human evaluation results show the effectiveness and potential of SmartBT in producing meaningful and accurate comments for smart contract code from bytecode directly. Copyright © 2025, The Authors. All rights reserved.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Robust Watermarks Leak: Channel-Aware Feature Extraction Enables Adversarial Watermark Manipulation

arXiv

引用

arXiv 2025年

作者： Ba, Zhongjie Zhang, Yitao Cheng, Peng Gong, Bin Zhang, Xinyu Wang, Qinglong Ren, Kui The State Key Laboratory of Blockchain and Data Security Zhejiang University Hangzhou China

Watermarking plays a key role in the provenance and detection of AI-generated content. While existing methods prioritize robustness against real-world distortions (e.g., JPEG compression and noise addition), we reveal a fundamental tradeoff: such robust watermarks inherently improve the redundancy of detectable patterns encoded into images, creating exploitable information leakage. To leverage this, we propose an attack framework that extracts leakage of watermark patterns through multi-channel feature learning using a pre-trained vision model. Unlike prior works requiring massive data or detector access, our method achieves both forgery and detection evasion with a single watermarked image. Extensive experiments demonstrate that our method achieves a 60% success rate gain in detection evasion and 51% improvement in forgery accuracy compared to state-of-the-art methods while maintaining visual fidelity. Our work exposes the robustness-stealthiness paradox: current "robust" watermarks sacrifice security for distortion resistance, providing insights for future watermark design. Copyright © 2025, The Authors. All rights reserved.

关键词： Information leakage

来源：评论

学校读者我要写书评

暂无评论

SELF-EXPLAINED keyWORDS EMPOWER LARGE LANGUAGE MODELS FOR CODE GENERATION

arXiv

引用

arXiv 2024年

作者： Fan, Lishui Chen, Mouxiang Liu, Zhongxin The State Key Laboratory of Blockchain and Data Security Zhejiang University China

Large language models (LLMs) have achieved impressive performance in code generation. However, due to the long-tail distribution of LLMs’ training data, low-frequency terms are typically underrepresented in the training process. Consequently, LLMs often misunderstand or overlook problem-specific, low-frequency keywords during code generation, compromising the accuracy of the generated code. To address this, we propose a novel technique named SEK (Self-Explained keywords), which empowers an LLM for better code generation by extracting and explaining the key terms in the problem description with the LLM itself and ranking them based on frequency. Comprehensive experiments across three benchmarks, i.e., HumanEval(+), MBPP(+), and APPS, with five representative LLMs, show that SEK can significantly improve LLMs in code generation, yielding substantial and consistent gains. For instance, SEK improves the Pass@1 of DeepSeek-Coder-V2-Instruct from 85.4% to 93.3% on the Humaneval benchmark. Further analysis confirms that SEK enables the LLMs to shift their attention from low-frequency keywords to their corresponding high-frequency counterparts. Copyright © 2024, The Authors. All rights reserved.

关键词： Codes (symbols)

来源：评论

学校读者我要写书评

暂无评论

SWAT: ASystem-Wide Approach to Tunable Leakage Mitigation in Encrypted data Stores 50th

SWAT: ASystem-Wide Approach to Tunable Leakage Mitigation in...

引用

50th International Conference on Very Large data Bases, VLDB 2024

作者： Zheng, Leqian Xu, Lei Wang, Cong Wang, Sheng Hu, Yuke Qin, Zhan Li, Feifei Ren, Kui City University of Hong Kong Hong Kong Nanjing University of Science and Technology China Alibaba Group China Zhejiang University The State Key Laboratory of Blockchain and Data Security China

Numerous studies have underscored the significant privacy risks associated with various leakage patterns in encrypted data stores. While many solutions have been proposed to mitigate these leak ages, they either (1) incur substantial overheads, (2) focus on specific subsets of leakage patterns, or (3) apply the same security notion across various workloads, thereby impeding the attainment of ne-tuned privacy efficiency trade-o s. In light of various detrimental leakage patterns, this paper starts with an investigation into which specific leakage patterns require our focus in the contexts of key-value, range-query, and dynamic workloads, respectively. Sub sequently, we introduce newsecurity notions tailored to the specfic privacy requirements of these workloads. Accordingly, we propose and instantiate Swat, an efficient construction that progressively enables these workloads, while provably mitigating system-wide leakage via a suite of algorithms with tunable privacy-efficiency trade-offs. We conducted extensive experiments and compiled a de tailed result analysis, showing the efficiency of our solution. Swat is about an order of magnitude slower than an encryption-only data store that reveals various leakage patterns and is two orders of magnitude faster than a trivial zero-leakage solution. Meanwhile, the performance of Swat remains highly competitive compared to other designs that mitigate specific types of leakage. © 2024, VLDB Endowment. All rights reserved.

关键词： Information leakage

来源：评论

学校读者我要写书评

暂无评论

Locally Private Estimator for Degree Distribution with Laplacian Mechanism 10

Locally Private Estimator for Degree Distribution with Lapla...

引用

10th IEEE Smart World Congress, SWC 2024

作者： Li, Jiayu Hu, Yuke Li, Xiaoguang Zhou, Shiqi Wang, Yuxiang Li, Fenghua Niu, Ben Institute of Information Engineering Chinese Academy of Sciences China University of Chinese Academy of Sciences School of Cyber Security China Key Laboratory of Cyberspace Security Defense China Zhejiang University The State Key Laboratory of Blockchain and Data Security China Xidian University School of Cyber Engineering China

ISBN: (纸本)9798331520861

Local differential privacy (LDP) provides a solution such that an untrusted server can achieve privacy-preserving data analysis. Node degree is one of the most fundamental metrics in graph data analysis. Existing LDP-based methods can not balance degree distribution estimation and degree distribution characteristic estimation. In this paper, we propose a local private estimator for degree distribution with Laplacian mechanism (LEDL), which uses elastic net regression to estimate the degree distribution, selects the regularization weight to prevent overfitting or underfitting. We can aslo adopt the existing method to calculate degree distribution characteristics according to data with Laplacian noise. Experiments demonstrate the effectiveness of LEDL in degree distribution and Laplacian mechanism in degree distribution characteristic estimation, six metrics are applied across four datasets. © 2024 IEEE.

关键词： Differential privacy

来源：评论

学校读者我要写书评

暂无评论

Fast ODE-based Sampling for Diffusion Models in Around 5 Steps

Fast ODE-based Sampling for Diffusion Models in Around 5 Ste...

引用

Conference on Computer Vision and Pattern Recognition (CVPR)

作者： Zhenyu Zhou Defang Chen Can Wang Chun Chen The State Key Laboratory of Blockchain and Data Security Zhejiang University China

ISBN: (数字)9798350353006

ISBN: (纸本)9798350353013

Sampling from diffusion models can be treated as solving the corresponding ordinary differential equations (ODEs), with the aim of obtaining an accurate solution with as few number of function evaluations (NFE) as possible. Recently, various fast samplers utilizing higher-order ODE solvers have emerged and achieved better performance than the initial first-order one. However, these numerical methods inherently result in certain approximation errors, which significantly degrades sample quality with extremely small NFE (e.g., around 5). In contrast, based on the geometric observation that each sampling trajectory almost lies in a two-dimensional subspace embedded in the ambient space, we propose Approximate MEan-Direction Solver (AMED-Solver) that eliminates truncation errors by directly learning the mean direction for fast diffusion sampling. Besides, our method can be easily used as a plugin to further improve existing ODE-based samplers. Extensive experiments on image synthesis with the resolution ranging from 32 to 512 demonstrate the effectiveness of our method. With only 5 NFE, we achieve 6.61 FID on CIFAR-10, 10.74 FID on ImageNet $64\times 64$ , and 13.20 FID on LSUN Bedroom. Our code is available at https:/***/zju-pi/diff-sampler.

关键词： Degradation Computer vision Image resolution Image synthesis Ordinary differential equations Diffusion models Distance measurement

来源：评论

学校读者我要写书评

暂无评论

Imperceptible but Forgeable: Practical Invisible Watermark Forgery via Diffusion Models

arXiv

引用

arXiv 2025年

作者： Dong, Ziping Shuai, Chao Ba, Zhongjie Cheng, Peng Qin, Zhan Wang, Qinglong Ren, Kui The State Key Laboratory of Blockchain and Data Security Zhejiang University Hangzhou China

Invisible watermarking is critical for content provenance and accountability in Generative AI. Although commercial companies have increasingly committed to using watermarks, the robustness of existing watermarking schemes against forgery attacks is understudied. This paper proposes DiffForge, the first watermark forgery framework capable of forging imperceptible watermarks under a no-box setting. We estimate the watermark distribution using an unconditional diffusion model and introduce shallow inversion to inject the watermark into a non-watermarked image seamlessly. This approach facilitates watermark injection while preserving image quality by adaptively selecting the depth of inversion steps, leveraging our key insight that watermarks degrade with added noise during the early diffusion phases. Comprehensive evaluations show that DiffForge deceives open-source watermark detectors with a 96.38% success rate and misleads a commercial watermark system with over 97% success rate, achieving high confidence.1 This work reveals fundamental security limitations in current watermarking paradigms. The experimental results and code are available at https://***/r/PIFW-F6EA. © 2025, CC BY.

关键词： Open source software

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：