Reproduction Code for FSE Paper "DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks"
☆13Aug 27, 2020Updated 5 years ago
Alternatives and similar repositories for DeepSearch
Users that are interested in DeepSearch are comparing it to the libraries listed below
Sorting:
- ☆17Jan 13, 2022Updated 4 years ago
- A model checker and assume/guarantee contract generator for Lustre programs.☆16Jun 5, 2018Updated 7 years ago
- ☆24Oct 31, 2021Updated 4 years ago
- Piecewise debloating toolchain☆15Dec 21, 2019Updated 6 years ago
- Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints☆20Nov 24, 2021Updated 4 years ago
- Static analysis framework for EVM bytecode☆31Jan 29, 2020Updated 6 years ago
- benchmark problems for research in formal methods for robotics☆15May 26, 2025Updated 9 months ago
- ☆17Nov 21, 2019Updated 6 years ago
- Intrepyd Model Checker☆18Nov 5, 2021Updated 4 years ago
- ☆20May 30, 2024Updated last year
- A blackbox mutational fuzzer for detecting critical bugs in SMT solvers☆85Aug 27, 2020Updated 5 years ago
- Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)☆17Mar 25, 2023Updated 2 years ago
- BLISS: Bimodal Lattice Signature Schemes☆30Jul 10, 2020Updated 5 years ago
- Reward Guided Test Generation for Deep Learning☆21Aug 2, 2024Updated last year
- This is solc-verify, a modular verifier for Solidity.☆53Sep 5, 2023Updated 2 years ago
- ADAPT is the open source white-box testing framework for deep neural networks☆22Mar 15, 2023Updated 2 years ago
- ☆11Sep 26, 2021Updated 4 years ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆27Jun 22, 2023Updated 2 years ago
- The start of a port of musl libc to an "x86_64 llvm bitcode" architecture.☆24Jul 3, 2019Updated 6 years ago
- Online diary is a PHP app by which you can write your feeling and keep it private or share with people and you can also read other post o…☆10Jul 5, 2015Updated 10 years ago
- A design automation framework to engineer decision diagrams yourself☆26Updated this week
- QueryFuzz implements a metamorphic testing approach to test Datalog engines.☆36Jun 8, 2021Updated 4 years ago
- Drona is a programming framework for building safe robotics systems☆30Apr 29, 2022Updated 3 years ago
- intern☆10Sep 25, 2018Updated 7 years ago
- ☆11Aug 17, 2025Updated 6 months ago
- ☆15Aug 21, 2021Updated 4 years ago
- Código fonte da calculadora de IMC☆13Oct 16, 2019Updated 6 years ago
- Hierarchical Text Classifier of News Group Messages using Facebook's FastText☆10Jul 8, 2019Updated 6 years ago
- This is a Login application for Android using Parse server.☆10Nov 26, 2018Updated 7 years ago
- 50 React projects for beginners from easy to hard. Practice all of these projects to excel your React skills.☆12Sep 5, 2022Updated 3 years ago
- SRI Sally: A model checker for infinite-state systems.☆76Jul 31, 2025Updated 6 months ago
- Static checker for Java☆87Jan 16, 2025Updated last year
- ☆10May 9, 2019Updated 6 years ago
- MCFI/PICFI tool chain☆45Mar 21, 2024Updated last year
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- A simple tool to demonstrate the physical design steps of VLSI Design Flow.☆10Dec 13, 2020Updated 5 years ago
- ☆10Dec 7, 2015Updated 10 years ago
- ☆11Mar 12, 2020Updated 5 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago