iamnov1ce / simper_mixerView external linksLinks
☆19Dec 27, 2024Updated last year
Alternatives and similar repositories for simper_mixer
Users that are interested in simper_mixer are comparing it to the libraries listed below
Sorting:
- Implementing robust authentication via a gRPC interface utilizing Zero-Knowledge Proof (ZKP) protocols in Rust.☆11Apr 14, 2024Updated last year
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆13Apr 19, 2023Updated 2 years ago
- Improved Search for Integral, Impossible Differential and Zero-Correlation Attacks: Application to Ascon, ForkSKINNY, SKINNY, MANTIS, PRE…☆14Jul 30, 2025Updated 6 months ago
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 6 years ago
- [NeurIPS 2022] Symmetry Teleportation for Accelerated Optimization☆12Nov 10, 2022Updated 3 years ago
- Bridging ERC20 Tokens to MEM & AO☆10Jul 12, 2024Updated last year
- Python library for vectorial Boolean functions in cryptography☆11Nov 15, 2023Updated 2 years ago
- ☆12Sep 16, 2025Updated 4 months ago
- 北师大Beamer模板☆14Apr 22, 2024Updated last year
- python黑帽子编程☆11Jun 10, 2021Updated 4 years ago
- A Simple ACM-ICPC (LaTeX) Templates Generator☆14Sep 20, 2018Updated 7 years ago
- An Open Sourced CTF hosting platform written in php☆10May 24, 2015Updated 10 years ago
- A flexible & scalable MLLM-based AIGC detection pipeline☆28Oct 27, 2025Updated 3 months ago
- 一个人的安全笔记。☆13Dec 2, 2021Updated 4 years ago
- ☆17Jul 31, 2021Updated 4 years ago
- ☆14Jan 15, 2025Updated last year
- My publicly available audit and bug reports☆18Nov 23, 2025Updated 2 months ago
- Broadcom Bluetooth Tools☆15Feb 20, 2018Updated 7 years ago
- Prelude client side libraries☆17Feb 6, 2026Updated last week
- ☆18Dec 4, 2025Updated 2 months ago
- A tool based on Clang used to generate control-flow-graph for C/C++ code☆10Dec 7, 2019Updated 6 years ago
- ☆24Nov 17, 2025Updated 2 months ago
- Open-CTF based on Christmas CTF Platform☆11Feb 25, 2016Updated 9 years ago
- The repository is dedicated to Evasion Generative Adversarial Network source code.☆16Jun 9, 2022Updated 3 years ago
- Sqlmap 盲注日志 Payload 分析转明文脚本☆18Dec 15, 2020Updated 5 years ago
- A hierarchical Large Language Models (LLMs) framework for real-time multi-robot task allocation and target tracking with unknown hazards.☆24Mar 30, 2025Updated 10 months ago
- 简单记录自己挖掘教育SRC所用到的工具,方便后期整理结合,应用到eduKing系统的开发☆16Feb 28, 2021Updated 4 years ago
- BTSTACK library is Cypress' Bluetooth Host Protocol Stack implementation. The stack is optimized to work on Cypress Bluetooth controllers…☆21Feb 6, 2026Updated last week
- ☆19Oct 2, 2024Updated last year
- LAMARL: LLM-Aided Multi-Agent Reinforcement Learning for Cooperative Policy Generation☆39Jul 19, 2025Updated 6 months ago
- DEciding Equivalence Properties in SECurity protocols☆20Mar 1, 2023Updated 2 years ago
- Tornado Cash in practice☆19Aug 18, 2025Updated 5 months ago
- ☆21May 3, 2023Updated 2 years ago
- Corresponding Code to the Paper "Fake or JPEG? Revealing Common Biases in Generated Image Detection Datasets"☆27Sep 11, 2024Updated last year
- ☆19Oct 7, 2024Updated last year
- Adaptive Swarm Mesh Refinement☆21Apr 8, 2024Updated last year
- (Official) PyTorch implementation for LAGMA: LAtent Goal-guided Multi-Agent Reinforcement Learning (ICML 2024)☆23May 27, 2024Updated last year
- 滴水内核课后作业☆23Feb 25, 2021Updated 4 years ago
- A set of exercises for getting started with the Tamarin prover☆20Nov 2, 2023Updated 2 years ago