An Automatic Tool to Search for Full Impossible-Differential, Zero-Correlation and Integral Attacks
☆12Nov 12, 2024Updated last year
Alternatives and similar repositories for zero
Users that are interested in zero are comparing it to the libraries listed below
Sorting:
- ☆11May 21, 2020Updated 5 years ago
- An easy-to-use, general and open-source tool to solve the guess-and-determine problem☆30Updated this week
- ☆10Apr 18, 2017Updated 8 years ago
- Improved Search for Integral, Impossible Differential and Zero-Correlation Attacks: Application to Ascon, ForkSKINNY, SKINNY, MANTIS, PRE…☆14Jul 30, 2025Updated 7 months ago
- ☆11Jan 24, 2019Updated 7 years ago
- Code for the paper "Efficient MILP modelings for Sboxes and Linear Layers of SPN ciphers", ToSC 2020.☆15Nov 30, 2020Updated 5 years ago
- Hardware designs for fault detection☆19Apr 13, 2020Updated 5 years ago
- A lecture on quantum computing and symmetric-key cryptography at Chinese Academy of Sciences☆15Nov 19, 2020Updated 5 years ago
- This tool is able to construct the MILP model for some bit-oriented block ciphers. once you describe the block-cipher on it, you can do d…☆17Jul 18, 2019Updated 6 years ago
- MILP-based Differential Attack on Round-Reduced GIFT☆19Dec 9, 2018Updated 7 years ago
- Applying MILP Method to Searching Integral Distinguishers Based on Division Property for 6 Lightweight Block Ciphers☆24Dec 13, 2016Updated 9 years ago
- An easy-to-use and open-source tool for differential, linear, differential-linear, and integral analysis of S-boxes☆36Jan 13, 2026Updated last month
- Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers☆27Jul 13, 2017Updated 8 years ago
- ☆10Apr 10, 2020Updated 5 years ago
- Webpipes is a work-in-progress proposal for linking together web services. Essentially, you can think of webpipes as tiny web services mo…☆21Sep 4, 2013Updated 12 years ago
- PDF Screenshot OCR Analysis with Google Gemini Pro☆13Jan 27, 2026Updated last month
- Tool chains of EasyBC☆10Jun 18, 2024Updated last year
- Dynatrace FM-Index library☆15Nov 11, 2025Updated 3 months ago
- Middleware that provides libraries, GUI, and code generator to design multi-node (clustered) applications that are highly available, redu…☆26Feb 13, 2026Updated 2 weeks ago
- Numerical optimization code for classical and quantum subset-sum algorithms☆10Feb 14, 2020Updated 6 years ago
- 基于铜锁密码库开发的商用密码工具箱桌面应用程序☆13Feb 5, 2025Updated last year
- Go and Java implementations of LRMP - light weight reliable multicast protocol☆11Sep 27, 2018Updated 7 years ago
- 🥪 Uniswap v4 hook resistant to atomic sandwich attacks.☆12Sep 25, 2024Updated last year
- Hello world web application with Maven + Java + Servlets + Tomcat☆10Nov 21, 2018Updated 7 years ago
- The NASA Prognostics As-A-Service (PaaS) Sandbox is a simplified implementation of a Software Oriented Architecture (SOA) for performing …☆10Jun 18, 2025Updated 8 months ago
- The official repository for MaCh3☆12Updated this week
- Geb Functional Testing for Grails® framework☆12Apr 22, 2025Updated 10 months ago
- Benchmarking Deep Learning Frameworks☆13Jun 22, 2024Updated last year
- A test project to illustrate how to use the BNO055 sensor with the FRC control system.☆12Jan 8, 2022Updated 4 years ago
- For hosting ATS3 and developing CodeDepot☆18Feb 6, 2026Updated 3 weeks ago
- The LandSAR search and rescue platform☆11Dec 19, 2025Updated 2 months ago
- eip-x☆12Mar 22, 2024Updated last year
- Github Pages for DocBook CDN☆18Jan 2, 2026Updated last month
- An open source tool for viewing hyperspectral image data.☆14Nov 22, 2022Updated 3 years ago
- jGlobus is a collection of Java client libraries for Globus® Toolkit security, GRAM, and GridFTP.☆25Dec 7, 2023Updated 2 years ago
- Distributed locks on java based on Redis database and Jedis library. Also have distributed Java collections and scan iterators.☆18Updated this week
- ☆11Jan 22, 2026Updated last month
- The entry point for Rust projects to be run on Valida☆10Mar 14, 2025Updated 11 months ago
- Help me analyze bandaged Rubik's cubes.☆12Nov 30, 2020Updated 5 years ago