☆18Dec 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 7 years ago
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆14Apr 19, 2023Updated 3 years ago
- Python library for vectorial Boolean functions in cryptography☆11Nov 15, 2023Updated 2 years ago
- Supporting code and data for the ASIACRYPT 2021 paper "Convexity of division property transitions: theory, algorithms and compact models"☆10Jul 4, 2022Updated 4 years ago
- A Simple ACM-ICPC (LaTeX) Templates Generator☆15Sep 20, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Implementation of inpainting-guided policy optimization for diffusion large language models.☆13Dec 27, 2025Updated 10 months ago
- 北师大Beamer模板☆16Apr 22, 2024Updated 2 years ago
- ☆11Apr 10, 2020Updated 6 years ago
- Improved Search for Integral, Impossible Differential and Zero-Correlation Attacks: Application to Ascon, ForkSKINNY, SKINNY, MANTIS, PRE…☆14Jul 30, 2025Updated last year
- Broadcom Bluetooth Tools☆15Feb 20, 2018Updated 8 years ago
- ☆16Oct 8, 2026Updated 3 weeks ago
- DEciding Equivalence Properties in SECurity protocols☆22Mar 1, 2023Updated 3 years ago
- [NeurIPS 2022] Symmetry Teleportation for Accelerated Optimization☆12Nov 10, 2022Updated 3 years ago
- ☆11Feb 26, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A tool based on Clang used to generate control-flow-graph for C/C++ code☆11Dec 7, 2019Updated 6 years ago
- generates a shellcode loading powershell script that is xor encrypted☆11Nov 12, 2022Updated 3 years ago
- A 2-4h workshop on the Tamarin protocol verifier.☆26Mar 9, 2026Updated 7 months ago
- our lighweighted jepa-style latent space world model grouned on physical states and actions☆14Sep 23, 2026Updated last month
- The purpose of this project is to build a Decentralized IoT APP for Apple mobile phones communicate with enOS and lenOS☆11Dec 22, 2022Updated 3 years ago
- Latent Theory of Mind: A Decentralized Diffusion Architecture for Cooperative Manipulation☆14Aug 5, 2026Updated 3 months ago
- 蓝墨云云班课刷分数☆36Apr 1, 2026Updated 7 months ago
- Formal Analysis of the PQXDH Protocol☆34Jun 6, 2024Updated 2 years ago
- The purpose of this project is to build a Decentralized IoT Fully Homomorphic Encryption software Library that can be applied to diAPP, e…☆12Apr 3, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A set of exercises for getting started with the Tamarin prover☆22Nov 2, 2023Updated 3 years ago
- The purpose of this project is to build an Edge Node Operating System for IoT device☆15Dec 22, 2022Updated 3 years ago
- Dual-WM: DUAL-LATENT WORLD MODEL☆25Oct 12, 2026Updated 3 weeks ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆34Jul 15, 2019Updated 7 years ago
- Implementing robust authentication via a gRPC interface utilizing Zero-Knowledge Proof (ZKP) protocols in Rust.☆10Mar 27, 2026Updated 7 months ago
- Prelude client side libraries☆18Jun 3, 2026Updated 5 months ago
- Bridging ERC20 Tokens to MEM & AO☆10Jul 12, 2024Updated 2 years ago
- A collection and summary of my auditing achievements, with a doc on my private security review process☆17Jul 2, 2025Updated last year
- HFUT-Cheater-Collection 合肥工业大学作弊学生名单、行政包庇人员名单——合肥工业大学作弊封神榜☆32Feb 22, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- python黑帽子编程☆11Jun 10, 2021Updated 5 years ago
- Sqlmap 盲注日志 Payload 分析转明文脚本☆18Dec 15, 2020Updated 5 years ago
- Source codes for paper "An Algebraic Formulation of the Division Property: Revisiting Degree Evaluations, Cube Attacks, and Key-Independe…☆19Aug 29, 2020Updated 6 years ago
- The purpose of this project is to build an Lightweight Edge Node Operating System for IoT device☆15Feb 17, 2023Updated 3 years ago
- An Open Sourced CTF hosting platform written in php☆10May 24, 2015Updated 11 years ago
- My publicly available audit and bug reports☆17Mar 6, 2026Updated 8 months ago
- 基于zoomeye的思路制作的小型空间引擎及攻击模型☆16Jun 4, 2017Updated 9 years ago