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...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Lorenz, T, Kwiatkowska, M, Fritz, M
Formáid:	Conference item
Teanga:	English
Foilsithe / Cruthaithe:	Association for Computing Machinery 2023

Míreanna comhchosúla

FullCert: deterministic end-to-end certification for training and inference of neural networks
de réir: Lorenz, T, et al.
Foilsithe / Cruthaithe: (2024)

Certified Robustness to Text Adversarial Attacks by Randomized [MASK]
de réir: Jiehang Zeng, et al.
Foilsithe / Cruthaithe: (2023-06-01)

Attack Vulnerability of Network Controllability.
de réir: Zhe-Ming Lu, et al.
Foilsithe / Cruthaithe: (2016-01-01)

Bayesian inference with certifiable adversarial robustness
de réir: Wicker, M, et al.
Foilsithe / Cruthaithe: (2021)

Vulnerability analysis on noise-injection based hardware attack on deep neural networks
de réir: Liu, Wenye, et al.
Foilsithe / Cruthaithe: (2020)

Uncertainty in vulnerability of networks under attack
de réir: Alireza Ermagun, et al.
Foilsithe / Cruthaithe: (2023-02-01)

Towards efficient and certified recovery from poisoning attacks in federated learning
de réir: Jiang, Yu, et al.
Foilsithe / Cruthaithe: (2025)

CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks
de réir: Boopathy, Akhilan, et al.
Foilsithe / Cruthaithe: (2021)

Attacks, vulnerabilities and security requirements in smart metering networks
de réir: Abdullah, Muhammad Daniel Hafiz, et al.
Foilsithe / Cruthaithe: (2015)

Classification of Attacks in Simulation Studies of Complex Networks Vulnerabilities
de réir: A. A. Tikhomirov, et al.
Foilsithe / Cruthaithe: (2012-03-01)

Reachability computation for switching diffusions: finite abstractions with certifiable and tuneable precision
de réir: Laurenti, L, et al.
Foilsithe / Cruthaithe: (2017)

Reachability computation for switching diffusions: Finite abstractions with certifiable and tuneable precision
de réir: Laurenti, L, et al.
Foilsithe / Cruthaithe: (2017)

Backdoor attacks in neural networks
de réir: Low, Wen Wen
Foilsithe / Cruthaithe: (2023)

Backdoor attacks in neural networks
de réir: Liew, Sher Yun
Foilsithe / Cruthaithe: (2024)

Interdependency and vulnerability of multipartite networks under target node attacks
de réir: Cai, Qing, et al.
Foilsithe / Cruthaithe: (2020)

Detection of vulnerability attack through wireless network on android platform
de réir: Muhamad Izhan Fakri, Imran
Foilsithe / Cruthaithe: (2014)

Interdependency and Vulnerability of Multipartite Networks under Target Node Attacks
de réir: Qing Cai, et al.
Foilsithe / Cruthaithe: (2019-01-01)

Automated Segmentation to Make Hidden Trigger Backdoor Attacks Robust against Deep Neural Networks
de réir: Saqib Ali, et al.
Foilsithe / Cruthaithe: (2023-04-01)

An assessment of the availability of cavities for secondary cavity-nesting birds in certified and conventionally-logged Neotropical rainforests
de réir: Schaaf AA, et al.
Foilsithe / Cruthaithe: (2020-08-01)

Demystifying adversarial attacks on neural networks
de réir: Yip, Lionell En Zhi
Foilsithe / Cruthaithe: (2020)

Adversarial attack defences for neural network
de réir: Singh Kirath
Foilsithe / Cruthaithe: (2022)

Adversarial attack defenses for neural networks
de réir: Puah, Yi Hao
Foilsithe / Cruthaithe: (2024)

Graph theory analysis reveals an assortative pain network vulnerable to attacks
de réir: Chong Chen, et al.
Foilsithe / Cruthaithe: (2023-12-01)

Examining indicators of complex network vulnerability across diverse attack scenarios
de réir: Ahmad F. Al Musawi, et al.
Foilsithe / Cruthaithe: (2023-10-01)

Vulnerability of Complex Networks under Approximate Longest Chain Attack Strategies
de réir: Hao Yao-Hui, et al.
Foilsithe / Cruthaithe: (2016-01-01)

Certified grasping
de réir: Aceituno-Cabezas, Bernardo, et al.
Foilsithe / Cruthaithe: (2024)

Certifiable AI
de réir: Jobst Landgrebe
Foilsithe / Cruthaithe: (2022-01-01)

Certified domination
de réir: Magda Dettlaff, et al.
Foilsithe / Cruthaithe: (2020-01-01)

Certified Computation
de réir: Arkoudas, Konstantine
Foilsithe / Cruthaithe: (2004)

Safety verification for deep neural networks with provable guarantees
de réir: Kwiatkowska, M
Foilsithe / Cruthaithe: (2019)

Embedded Systems and their Vulnerabilities to Hardware Attacks
de réir: Konrad Szczepankiewicz, et al.
Foilsithe / Cruthaithe: (2023-03-01)

Vulnerability of blockchain technologies to quantum attacks
de réir: Joseph J. Kearney, et al.
Foilsithe / Cruthaithe: (2021-07-01)

Indoor environmental quality in WELL-certified and LEED-certified buildings
de réir: Michael G. Kent, et al.
Foilsithe / Cruthaithe: (2024-07-01)

Code Switching Used by Certified and Non-Certified English Teachers
de réir: Selvianillah Azis, et al.
Foilsithe / Cruthaithe: (2023-04-01)

SIL Loop: Certified or Non Certified Equipment — The Way to Go!
de réir: I P Parry, et al.
Foilsithe / Cruthaithe: (2002-12-01)

Vulnerability of deep neural networks for detecting COVID-19 cases from chest X-ray images to universal adversarial attacks.
de réir: Hokuto Hirano, et al.
Foilsithe / Cruthaithe: (2020-01-01)

Assessment of water availability vulnerability in the Cerrado
de réir: Daniel Althoff, et al.
Foilsithe / Cruthaithe: (2021-10-01)

Investigating vulnerability of watermarking neural network
de réir: Chua, Viroy Sheng Yang
Foilsithe / Cruthaithe: (2020)

National Board-certified Teachers: Can They Make a Difference in Maine Schools?
de réir: Sarah V Mackenzie, et al.
Foilsithe / Cruthaithe: (2008-01-01)

Robustness guarantees for deep neural networks on videos
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2020)