中文
相关论文

相关论文: Michscan: Black-Box Neural Network Integrity Check…

200 篇论文

This paper presents for the first time, to our knowledge, a framework for verifying neural network behavior in power system applications. Up to this moment, neural networks have been applied in power systems as a black-box; this has…

系统与控制 · 电气工程与系统科学 2020-07-31 Andreas Venzke , Spyros Chatzivasileiadis

We propose PowerAlert, an efficient external integrity checker for untrusted hosts. Current attestation systems suffer from shortcomings in requiring complete checksum of the code segment, being static, use of timing information sourced…

密码学与安全 · 计算机科学 2017-02-13 Ahmed M. Fawaz , Mohammad Noureddine , William H. Sanders

Cyber-physical systems (CPSs) are widespread in critical domains, and significant damage can be caused if an attacker is able to modify the code of their programmable logic controllers (PLCs). Unfortunately, traditional techniques for…

密码学与安全 · 计算机科学 2021-08-24 Yuqi Chen , Christopher M. Poskitt , Jun Sun

In response to the growing popularity of Machine Learning (ML) techniques to solve problems in various industries, various malicious groups have started to target such techniques in their attack plan. However, as ML models are constantly…

密码学与安全 · 计算机科学 2025-03-25 Shahinul Hoque , Farhin Farhad Riya , Yingyuan Yang , Jinyuan Sun

Artificial Neural Networks (ANNs) are being deployed for an increasing number of safety-critical applications, including autonomous cars and medical diagnosis. However, concerns about their reliability have been raised due to their…

机器学习 · 计算机科学 2021-09-17 Luiz Sena , Xidan Song , Erickson Alves , Iury Bessa , Edoardo Manino , Lucas Cordeiro , Eddie de Lima Filho

As real-world images come in varying sizes, the machine learning model is part of a larger system that includes an upstream image scaling algorithm. In this paper, we investigate the interplay between vulnerabilities of the image scaling…

机器学习 · 计算机科学 2022-06-22 Yue Gao , Ilia Shumailov , Kassem Fawaz

This work introduces a novel blackbox optimization algorithm for computationally expensive constrained multi-fidelity problems. When applying a direct search method to such problems, the scarcity of feasible points may lead to numerous…

最优化与控制 · 数学 2025-04-09 Stéphane Alarie , Charles Audet , Miguel Diago , Sébastien Le Digabel , Xavier Lebeuf

We study the problem of finding a universal (image-agnostic) perturbation to fool machine learning (ML) classifiers (e.g., neural nets, decision tress) in the hard-label black-box setting. Recent work in adversarial ML in the white-box…

机器学习 · 计算机科学 2018-11-14 Thomas A. Hogan , Bhavya Kailkhura

As modern systems increasingly rely on GPUs for computationally intensive tasks such as machine learning acceleration, ensuring the integrity of GPU computation has become critically important. Recent studies have shown that GPU kernels are…

With the widespread use of deep neural networks (DNNs) in many areas, more and more studies focus on protecting DNN models from intellectual property (IP) infringement. Many existing methods apply digital watermarking to protect the DNN…

密码学与安全 · 计算机科学 2022-07-11 Lina Lin , Hanzhou Wu

Today, machine learning (ML) models are increasingly applied in decision making. This induces an urgent need for quality assurance of ML models with respect to (often domain-dependent) requirements. Monotonicity is one such requirement. It…

机器学习 · 计算机科学 2020-02-28 Arnab Sharma , Heike Wehrheim

Power is a primary objective in modern processor design, requiring accurate yet efficient power modeling techniques. Architecture-level power models are necessary for early power optimization and design space exploration. However, classical…

硬件体系结构 · 计算机科学 2025-12-17 Qijun Zhang , Shang Liu , Yao Lu , Mengming Li , Zhiyao Xie

Power consumption costs takes upto half of operational expenses of datacenters making power management a critical concern. Advances in processor technology provide fine-grained control over operating frequency and voltage of processors and…

分布式、并行与集群计算 · 计算机科学 2014-11-13 Swetha P. T. Srinivasan , Umesh Bellur

This paper presents ModelGuard, a sampling-based approach to runtime model validation for Lipschitz-continuous models. Although techniques exist for the validation of many classes of models the majority of these methods cannot be applied to…

系统与控制 · 电气工程与系统科学 2021-05-03 Taylor J. Carpenter , Radoslav Ivanov , Insup Lee , James Weimer

Artificial neural networks (ANNs) have gained significant popularity in the last decade for solving narrow AI problems in domains such as healthcare, transportation, and defense. As ANNs become more ubiquitous, it is imperative to…

机器学习 · 计算机科学 2021-06-16 Tommy Li , Cory Merkel

Deep learning has become popular, and numerous cloud-based services are provided to help customers develop and deploy deep learning applications. Meanwhile, various attack techniques have also been discovered to stealthily compromise the…

密码学与安全 · 计算机科学 2018-08-21 Zecheng He , Tianwei Zhang , Ruby B. Lee

Computer models are widely used to study complex real world physical systems. However, there are major limitations to their direct use including: their complex structure; large numbers of inputs and outputs; and long evaluation times.…

统计方法学 · 统计学 2025-05-05 Jonathan Owen , Ian Vernon

With the surge of inexpensive computational and memory resources, neural networks (NNs) have experienced an unprecedented growth in architectural and computational complexity. Introducing NNs to resource-constrained devices enables…

机器学习 · 计算机科学 2021-04-22 Lennart Heim , Andreas Biri , Zhongnan Qu , Lothar Thiele

Given that disturbances to the stable and normal operation of power systems have grown phenomenally, particularly in terms of unauthorized access to confidential and critical data, injection of malicious software, and exploitation of…

机器学习 · 计算机科学 2025-01-27 Mofe O. Jeje

Deep Neural Networks (DNNs) have been extensively used in many areas including image processing, medical diagnostics, and autonomous driving. However, DNNs can exhibit erroneous behaviours that may lead to critical errors, especially when…

软件工程 · 计算机科学 2023-04-21 Zohreh Aghababaeyan , Manel Abdellatif , Lionel Briand , Ramesh S , Mojtaba Bagherzadeh
‹ 上一页 1 2 3 10 下一页 ›