2 citations · 2 across the 4 of their papers we have counts for
4 papers
ReSMT: An SMT-Based Tool for Reverse Engineering
Nir Somech, Guy Katz
Software obfuscation techniques make code more difficult to understand, without changing its functionality. Such techniques are often used by authors of malicious software to avoid…
Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits
Yizhak Yisrael Elboher, Avraham Raviv, Amihay Elboher +4
Ensuring the safety and efficiency of AI systems is a central goal of modern research. Formal verification provides guarantees of neural network robustness, while early exits impro…
Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification
Maya Swisa, Guy Katz
Modern neural network verifiers often encode neural network verification as constraint satisfaction problems. When dealing with standard piecewise-linear activation functions, such…
Towards Formal Verification of Deep Neural Networks for Object Detection
Yizhak Y. Elboher, Avraham Raviv, Yael Leibovich Weiss +8
Deep neural networks (DNNs) are widely used in real-world computer vision applications, yet they remain vulnerable to errors and adversarial attacks. Formal verification offers a s…