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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	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, κ.ά.
Έκδοση: (2024)

Certified Robustness to Text Adversarial Attacks by Randomized [MASK]
ανά: Jiehang Zeng, κ.ά.
Έκδοση: (2023-06-01)

Attack Vulnerability of Network Controllability.
ανά: Zhe-Ming Lu, κ.ά.
Έκδοση: (2016-01-01)

Bayesian inference with certifiable adversarial robustness
ανά: Wicker, M, κ.ά.
Έκδοση: (2021)

Vulnerability analysis on noise-injection based hardware attack on deep neural networks
ανά: Liu, Wenye, κ.ά.
Έκδοση: (2020)

Uncertainty in vulnerability of networks under attack
ανά: Alireza Ermagun, κ.ά.
Έκδοση: (2023-02-01)

Towards efficient and certified recovery from poisoning attacks in federated learning
ανά: Jiang, Yu, κ.ά.
Έκδοση: (2025)

CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks
ανά: Boopathy, Akhilan, κ.ά.
Έκδοση: (2021)

Attacks, vulnerabilities and security requirements in smart metering networks
ανά: Abdullah, Muhammad Daniel Hafiz, κ.ά.
Έκδοση: (2015)

Classification of Attacks in Simulation Studies of Complex Networks Vulnerabilities
ανά: A. A. Tikhomirov, κ.ά.
Έκδοση: (2012-03-01)

Reachability computation for switching diffusions: finite abstractions with certifiable and tuneable precision
ανά: Laurenti, L, κ.ά.
Έκδοση: (2017)

Reachability computation for switching diffusions: Finite abstractions with certifiable and tuneable precision
ανά: Laurenti, L, κ.ά.
Έκδοση: (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, κ.ά.
Έκδοση: (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, κ.ά.
Έκδοση: (2019-01-01)

Automated Segmentation to Make Hidden Trigger Backdoor Attacks Robust against Deep Neural Networks
ανά: Saqib Ali, κ.ά.
Έκδοση: (2023-04-01)

An assessment of the availability of cavities for secondary cavity-nesting birds in certified and conventionally-logged Neotropical rainforests
ανά: Schaaf AA, κ.ά.
Έκδοση: (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, κ.ά.
Έκδοση: (2023-12-01)

Examining indicators of complex network vulnerability across diverse attack scenarios
ανά: Ahmad F. Al Musawi, κ.ά.
Έκδοση: (2023-10-01)

Vulnerability of Complex Networks under Approximate Longest Chain Attack Strategies
ανά: Hao Yao-Hui, κ.ά.
Έκδοση: (2016-01-01)

Certified grasping
ανά: Aceituno-Cabezas, Bernardo, κ.ά.
Έκδοση: (2024)

Certifiable AI
ανά: Jobst Landgrebe
Έκδοση: (2022-01-01)

Certified domination
ανά: Magda Dettlaff, κ.ά.
Έκδοση: (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, κ.ά.
Έκδοση: (2023-03-01)

Vulnerability of blockchain technologies to quantum attacks
ανά: Joseph J. Kearney, κ.ά.
Έκδοση: (2021-07-01)

Indoor environmental quality in WELL-certified and LEED-certified buildings
ανά: Michael G. Kent, κ.ά.
Έκδοση: (2024-07-01)

Code Switching Used by Certified and Non-Certified English Teachers
ανά: Selvianillah Azis, κ.ά.
Έκδοση: (2023-04-01)

SIL Loop: Certified or Non Certified Equipment — The Way to Go!
ανά: I P Parry, κ.ά.
Έκδοση: (2002-12-01)

Vulnerability of deep neural networks for detecting COVID-19 cases from chest X-ray images to universal adversarial attacks.
ανά: Hokuto Hirano, κ.ά.
Έκδοση: (2020-01-01)

Assessment of water availability vulnerability in the Cerrado
ανά: Daniel Althoff, κ.ά.
Έκδοση: (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, κ.ά.
Έκδοση: (2008-01-01)

Robustness guarantees for deep neural networks on videos
ανά: Kwiatkowska, M, κ.ά.
Έκδοση: (2020)