Optimizing the Running Time of a Trigger Search Algorithm Based on the Principles of Formal Verification of Artificial Neural Networks
Keywords:
formal verification, machine learning, trigger injection attacks, backdoor attacks your
Abstract
The article examines the problem of scalability of the algorithm for searching for a trigger in images which is based on the operating principle of the Deep Poly formal verification algorithm The existing implementation had a number of shortcomings According to them the requirements for the optimized version of the algorithm were formulated which were brought to practical implementation Achieved 4 times acceleration compared to the original implementation
Downloads
How to Cite

Published
2024-08-28
Issue
Section
License
Copyright (c) 2024 Authors and Global Journals Private Limited

This work is licensed under a Creative Commons Attribution 4.0 International License.