4 citations · 4 across the 2 of their papers we have counts for
3 papers
The Power of Typed Affine Decision Structures: A Case Study
Gerrit Nolte, Maximilian Schlüter, Alnis Murtovi +1
TADS are a novel, concise white-box representation of neural networks. In this paper, we apply TADS to the problem of neural network verification, using them to generate either pro…
Towards Rigorous Understanding of Neural Networks via Semantics-preserving Transformations
Maximilian Schlüter, Gerrit Nolte, Alnis Murtovi +1
In this paper we present an algebraic approach to the precise and global verification and explanation of Rectifier Neural Networks, a subclass of Piece-wise Linear Neural Networks…
BackREST: A Model-Based Feedback-Driven Greybox Fuzzer for Web Applications
François Gauthier, Behnaz Hassanshahi, Benjamin Selwyn-Smith +3
Following the advent of the American Fuzzy Lop (AFL), fuzzing had a surge in popularity, and modern day fuzzers range from simple blackbox random input generators to complex whiteb…