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

Detaylı Bibliyografya
Asıl Yazarlar:	Lorenz, T, Kwiatkowska, M, Fritz, M
Materyal Türü:	Conference item
Dil:	English
Baskı/Yayın Bilgisi:	Association for Computing Machinery 2023

Benzer Materyaller

FullCert: deterministic end-to-end certification for training and inference of neural networks
Yazar:: Lorenz, T, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Certified Robustness to Text Adversarial Attacks by Randomized [MASK]
Yazar:: Jiehang Zeng, ve diğerleri
Baskı/Yayın Bilgisi: (2023-06-01)

Attack Vulnerability of Network Controllability.
Yazar:: Zhe-Ming Lu, ve diğerleri
Baskı/Yayın Bilgisi: (2016-01-01)

Bayesian inference with certifiable adversarial robustness
Yazar:: Wicker, M, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Vulnerability analysis on noise-injection based hardware attack on deep neural networks
Yazar:: Liu, Wenye, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Uncertainty in vulnerability of networks under attack
Yazar:: Alireza Ermagun, ve diğerleri
Baskı/Yayın Bilgisi: (2023-02-01)

Towards efficient and certified recovery from poisoning attacks in federated learning
Yazar:: Jiang, Yu, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks
Yazar:: Boopathy, Akhilan, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Attacks, vulnerabilities and security requirements in smart metering networks
Yazar:: Abdullah, Muhammad Daniel Hafiz, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Classification of Attacks in Simulation Studies of Complex Networks Vulnerabilities
Yazar:: A. A. Tikhomirov, ve diğerleri
Baskı/Yayın Bilgisi: (2012-03-01)

Reachability computation for switching diffusions: finite abstractions with certifiable and tuneable precision
Yazar:: Laurenti, L, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Reachability computation for switching diffusions: Finite abstractions with certifiable and tuneable precision
Yazar:: Laurenti, L, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Backdoor attacks in neural networks
Yazar:: Low, Wen Wen
Baskı/Yayın Bilgisi: (2023)

Backdoor attacks in neural networks
Yazar:: Liew, Sher Yun
Baskı/Yayın Bilgisi: (2024)

Interdependency and vulnerability of multipartite networks under target node attacks
Yazar:: Cai, Qing, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Detection of vulnerability attack through wireless network on android platform
Yazar:: Muhamad Izhan Fakri, Imran
Baskı/Yayın Bilgisi: (2014)

Interdependency and Vulnerability of Multipartite Networks under Target Node Attacks
Yazar:: Qing Cai, ve diğerleri
Baskı/Yayın Bilgisi: (2019-01-01)

Automated Segmentation to Make Hidden Trigger Backdoor Attacks Robust against Deep Neural Networks
Yazar:: Saqib Ali, ve diğerleri
Baskı/Yayın Bilgisi: (2023-04-01)

An assessment of the availability of cavities for secondary cavity-nesting birds in certified and conventionally-logged Neotropical rainforests
Yazar:: Schaaf AA, ve diğerleri
Baskı/Yayın Bilgisi: (2020-08-01)

Demystifying adversarial attacks on neural networks
Yazar:: Yip, Lionell En Zhi
Baskı/Yayın Bilgisi: (2020)

Adversarial attack defences for neural network
Yazar:: Singh Kirath
Baskı/Yayın Bilgisi: (2022)

Adversarial attack defenses for neural networks
Yazar:: Puah, Yi Hao
Baskı/Yayın Bilgisi: (2024)

Graph theory analysis reveals an assortative pain network vulnerable to attacks
Yazar:: Chong Chen, ve diğerleri
Baskı/Yayın Bilgisi: (2023-12-01)

Examining indicators of complex network vulnerability across diverse attack scenarios
Yazar:: Ahmad F. Al Musawi, ve diğerleri
Baskı/Yayın Bilgisi: (2023-10-01)

Vulnerability of Complex Networks under Approximate Longest Chain Attack Strategies
Yazar:: Hao Yao-Hui, ve diğerleri
Baskı/Yayın Bilgisi: (2016-01-01)

Certified grasping
Yazar:: Aceituno-Cabezas, Bernardo, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Certifiable AI
Yazar:: Jobst Landgrebe
Baskı/Yayın Bilgisi: (2022-01-01)

Certified domination
Yazar:: Magda Dettlaff, ve diğerleri
Baskı/Yayın Bilgisi: (2020-01-01)

Certified Computation
Yazar:: Arkoudas, Konstantine
Baskı/Yayın Bilgisi: (2004)

Safety verification for deep neural networks with provable guarantees
Yazar:: Kwiatkowska, M
Baskı/Yayın Bilgisi: (2019)

Embedded Systems and their Vulnerabilities to Hardware Attacks
Yazar:: Konrad Szczepankiewicz, ve diğerleri
Baskı/Yayın Bilgisi: (2023-03-01)

Vulnerability of blockchain technologies to quantum attacks
Yazar:: Joseph J. Kearney, ve diğerleri
Baskı/Yayın Bilgisi: (2021-07-01)

Indoor environmental quality in WELL-certified and LEED-certified buildings
Yazar:: Michael G. Kent, ve diğerleri
Baskı/Yayın Bilgisi: (2024-07-01)

Code Switching Used by Certified and Non-Certified English Teachers
Yazar:: Selvianillah Azis, ve diğerleri
Baskı/Yayın Bilgisi: (2023-04-01)

SIL Loop: Certified or Non Certified Equipment — The Way to Go!
Yazar:: I P Parry, ve diğerleri
Baskı/Yayın Bilgisi: (2002-12-01)

Vulnerability of deep neural networks for detecting COVID-19 cases from chest X-ray images to universal adversarial attacks.
Yazar:: Hokuto Hirano, ve diğerleri
Baskı/Yayın Bilgisi: (2020-01-01)

Assessment of water availability vulnerability in the Cerrado
Yazar:: Daniel Althoff, ve diğerleri
Baskı/Yayın Bilgisi: (2021-10-01)

Investigating vulnerability of watermarking neural network
Yazar:: Chua, Viroy Sheng Yang
Baskı/Yayın Bilgisi: (2020)

National Board-certified Teachers: Can They Make a Difference in Maine Schools?
Yazar:: Sarah V Mackenzie, ve diğerleri
Baskı/Yayın Bilgisi: (2008-01-01)

Robustness guarantees for deep neural networks on videos
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2020)