☆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 6 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
- Improved Search for Integral, Impossible Differential and Zero-Correlation Attacks: Application to Ascon, ForkSKINNY, SKINNY, MANTIS, PRE…☆14Jul 30, 2025Updated last year
- A Simple ACM-ICPC (LaTeX) Templates Generator☆15Sep 20, 2018Updated 7 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.
- Broadcom Bluetooth Tools☆15Feb 20, 2018Updated 8 years ago
- DEciding Equivalence Properties in SECurity protocols☆22Mar 1, 2023Updated 3 years ago
- 北师大Beamer模板☆15Apr 22, 2024Updated 2 years ago
- [NeurIPS 2022] Symmetry Teleportation for Accelerated Optimization☆12Nov 10, 2022Updated 3 years ago
- A tool based on Clang used to generate control-flow-graph for C/C++ code☆11Dec 7, 2019Updated 6 years ago
- A 2-4h workshop on the Tamarin protocol verifier.☆23Mar 9, 2026Updated 5 months ago
- Formal Analysis of the PQXDH Protocol☆33Jun 6, 2024Updated 2 years ago
- A set of exercises for getting started with the Tamarin prover☆22Nov 2, 2023Updated 2 years ago
- BTSTACK library is Cypress' Bluetooth Host Protocol Stack implementation. The stack is optimized to work on Cypress Bluetooth controllers…☆23Mar 17, 2026Updated 5 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 蓝墨云云班课刷分数☆36Apr 1, 2026Updated 4 months ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆34Jul 15, 2019Updated 7 years ago
- A collection and summary of my auditing achievements, with a doc on my private security review process☆16Jul 2, 2025Updated last year
- python黑帽子编程☆11Jun 10, 2021Updated 5 years ago
- HFUT-Cheater-Collection 合肥工业大学作弊学生名单、行政包庇人员名单——合肥工业大学作弊封神榜☆31Feb 22, 2024Updated 2 years ago
- Implementing robust authentication via a gRPC interface utilizing Zero-Knowledge Proof (ZKP) protocols in Rust.☆10Mar 27, 2026Updated 4 months ago
- Bridging ERC20 Tokens to MEM & AO☆10Jul 12, 2024Updated 2 years ago
- [CVPR 2025] STAR-Edge: Structure-aware Local Spherical Curve Representation for Thin-walled Edge Extraction from Unstructured Point Cloud…☆39Apr 10, 2025Updated last year
- An Open Sourced CTF hosting platform written in php☆10May 24, 2015Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Prelude client side libraries☆17Jun 3, 2026Updated 2 months ago
- Sqlmap 盲注日志 Payload 分析转明文脚本☆18Dec 15, 2020Updated 5 years ago
- My publicly available audit and bug reports☆17Mar 6, 2026Updated 5 months ago
- 一个人的安全笔记。☆13Dec 2, 2021Updated 4 years ago
- Corresponding Code to the Paper "Fake or JPEG? Revealing Common Biases in Generated Image Detection Datasets"☆30Sep 11, 2024Updated last year
- 简单记录自己挖掘教育SRC所用到的工具，方便后期整理结合,应用到eduKing系统的开发☆17Feb 28, 2021Updated 5 years ago
- Adaptive Swarm Mesh Refinement☆22Apr 8, 2024Updated 2 years ago
- Official Implementation of "Decentralized Transformers with Centralized Aggregation are Sample-Efficient Multi-Agent World Models" (accep…☆19Dec 14, 2025Updated 8 months ago
- Reduced-Rank STAP for Slow-Moving Target Detection by Antenna-Pulse Selection☆17Nov 19, 2015Updated 10 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- An easy to use tool for evaluating the security of cryptographic algorithms against integral attacks.☆25Jan 20, 2019Updated 7 years ago
- This is a Tamarin model of TLS 1.3☆45Aug 19, 2023Updated 2 years ago
- Open-CTF based on Christmas CTF Platform☆11Feb 25, 2016Updated 10 years ago
- Applying MILP Method to Searching Integral Distinguishers Based on Division Property for 6 Lightweight Block Ciphers☆25Dec 13, 2016Updated 9 years ago
- LaTeX template for ACM-ICPC team reference document.☆33Oct 7, 2022Updated 3 years ago
- ☆15Apr 16, 2026Updated 4 months ago
- ☆18Dec 4, 2025Updated 8 months ago