Certifiers make neural networks vulnerable to availability attacks

Certifiers make neural networks vulnerable to availability attacks

To achieve reliable, robust, and safe AI systems, it is vital to implement fallback strategies when AI predictions cannot be trusted. Certifiers for neural networks are a reliable way to check the robustness of these predictions. They guarantee for some predictions that a certain class of manipulati...

书目详细资料
Main Authors:	Lorenz, T, Kwiatkowska, M, Fritz, M
格式:	Conference item
语言:	English
出版:	Association for Computing Machinery 2023

相似书籍

FullCert: deterministic end-to-end certification for training and inference of neural networks
由: Lorenz, T, et al.
出版: (2024)

Certified Robustness to Text Adversarial Attacks by Randomized [MASK]
由: Jiehang Zeng, et al.
出版: (2023-06-01)

Attack Vulnerability of Network Controllability.
由: Zhe-Ming Lu, et al.
出版: (2016-01-01)

Bayesian inference with certifiable adversarial robustness
由: Wicker, M, et al.
出版: (2021)

Vulnerability analysis on noise-injection based hardware attack on deep neural networks
由: Liu, Wenye, et al.
出版: (2020)

Uncertainty in vulnerability of networks under attack
由: Alireza Ermagun, et al.
出版: (2023-02-01)

Towards efficient and certified recovery from poisoning attacks in federated learning
由: Jiang, Yu, et al.
出版: (2025)

CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks
由: Boopathy, Akhilan, et al.
出版: (2021)

Attacks, vulnerabilities and security requirements in smart metering networks
由: Abdullah, Muhammad Daniel Hafiz, et al.
出版: (2015)

Classification of Attacks in Simulation Studies of Complex Networks Vulnerabilities
由: A. A. Tikhomirov, et al.
出版: (2012-03-01)

Reachability computation for switching diffusions: finite abstractions with certifiable and tuneable precision
由: Laurenti, L, et al.
出版: (2017)

Reachability computation for switching diffusions: Finite abstractions with certifiable and tuneable precision
由: Laurenti, L, et al.
出版: (2017)

Backdoor attacks in neural networks
由: Low, Wen Wen
出版: (2023)

Backdoor attacks in neural networks
由: Liew, Sher Yun
出版: (2024)

Interdependency and vulnerability of multipartite networks under target node attacks
由: Cai, Qing, et al.
出版: (2020)

Detection of vulnerability attack through wireless network on android platform
由: Muhamad Izhan Fakri, Imran
出版: (2014)

Interdependency and Vulnerability of Multipartite Networks under Target Node Attacks
由: Qing Cai, et al.
出版: (2019-01-01)

Automated Segmentation to Make Hidden Trigger Backdoor Attacks Robust against Deep Neural Networks
由: Saqib Ali, et al.
出版: (2023-04-01)

An assessment of the availability of cavities for secondary cavity-nesting birds in certified and conventionally-logged Neotropical rainforests
由: Schaaf AA, et al.
出版: (2020-08-01)

Demystifying adversarial attacks on neural networks
由: Yip, Lionell En Zhi
出版: (2020)

Adversarial attack defences for neural network
由: Singh Kirath
出版: (2022)

Adversarial attack defenses for neural networks
由: Puah, Yi Hao
出版: (2024)

Graph theory analysis reveals an assortative pain network vulnerable to attacks
由: Chong Chen, et al.
出版: (2023-12-01)

Examining indicators of complex network vulnerability across diverse attack scenarios
由: Ahmad F. Al Musawi, et al.
出版: (2023-10-01)

Vulnerability of Complex Networks under Approximate Longest Chain Attack Strategies
由: Hao Yao-Hui, et al.
出版: (2016-01-01)

Certified grasping
由: Aceituno-Cabezas, Bernardo, et al.
出版: (2024)

Certifiable AI
由: Jobst Landgrebe
出版: (2022-01-01)

Certified domination
由: Magda Dettlaff, et al.
出版: (2020-01-01)

Certified Computation
由: Arkoudas, Konstantine
出版: (2004)

Safety verification for deep neural networks with provable guarantees
由: Kwiatkowska, M
出版: (2019)

Embedded Systems and their Vulnerabilities to Hardware Attacks
由: Konrad Szczepankiewicz, et al.
出版: (2023-03-01)

Vulnerability of blockchain technologies to quantum attacks
由: Joseph J. Kearney, et al.
出版: (2021-07-01)

Indoor environmental quality in WELL-certified and LEED-certified buildings
由: Michael G. Kent, et al.
出版: (2024-07-01)

Code Switching Used by Certified and Non-Certified English Teachers
由: Selvianillah Azis, et al.
出版: (2023-04-01)

SIL Loop: Certified or Non Certified Equipment — The Way to Go!
由: I P Parry, et al.
出版: (2002-12-01)

Vulnerability of deep neural networks for detecting COVID-19 cases from chest X-ray images to universal adversarial attacks.
由: Hokuto Hirano, et al.
出版: (2020-01-01)

Assessment of water availability vulnerability in the Cerrado
由: Daniel Althoff, et al.
出版: (2021-10-01)

Investigating vulnerability of watermarking neural network
由: Chua, Viroy Sheng Yang
出版: (2020)

National Board-certified Teachers: Can They Make a Difference in Maine Schools?
由: Sarah V Mackenzie, et al.
出版: (2008-01-01)

Robustness guarantees for deep neural networks on videos
由: Kwiatkowska, M, et al.
出版: (2020)