☆12Dec 10, 2021Updated 4 years ago
Alternatives and similar repositories for btmodel_proverif
Users that are interested in btmodel_proverif are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Feb 25, 2023Updated 3 years ago
- Guided Differential Fuzzing for HTTP Request Parsing Discrepancies☆20Apr 11, 2024Updated 2 years ago
- Kismetdb database log helper library (mirrored from Kismet repos)☆20Feb 2, 2022Updated 4 years ago
- Scloud+: An Efficient LWE-based KEM Without Ring/Module Structure☆17Jun 30, 2026Updated 3 months ago
- ☆13Oct 20, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Discover Non-Discoverable Bluetooth Classic devices☆15Oct 10, 2024Updated 2 years ago
- ☆14Aug 19, 2026Updated 2 months ago
- ☆17May 12, 2025Updated last year
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆26Sep 5, 2021Updated 5 years ago
- learn the sandhook how to work☆22Jul 5, 2023Updated 3 years ago
- Papers related with kernel papers☆13Mar 18, 2023Updated 3 years ago
- APHP: Detecting API Post-Handling Bugs Using Code and Description in Patches（Usenix Security 2023）☆14Jun 21, 2023Updated 3 years ago
- ☆11Feb 2, 2024Updated 2 years ago
- BLEDiff is an automated, scalable, property-agnostic, and black-box protocol noncompliance checker for BLE devices.☆13Mar 31, 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.
- Explore the http3 by quic with examples☆15Jul 28, 2022Updated 4 years ago
- ☆11Oct 10, 2018Updated 8 years ago
- Decompiler Fuzzing Test with EMI mutation☆17Apr 23, 2020Updated 6 years ago
- 武大 编译原理实践课作业，详细说明见pdf☆10Apr 11, 2026Updated 6 months ago
- Force Atlas 2 graph layout☆38May 27, 2020Updated 6 years ago
- Rust and C Benchmarks☆16Nov 21, 2024Updated last year
- ☆39Jun 2, 2026Updated 4 months ago
- Messaging protocol test tools☆16Dec 13, 2021Updated 4 years ago
- 一款找家教（信息发布类）微信小程序，分为四大功能，供家长找家教，家教找家长，智能匹配，个人中心，总代码行近15000行，功能很全，具有投诉建议、收藏、发送申请、抽奖、转发赠送申请次数、用户指引、家长注册、教师注册、图片上传实时删除等功能，具有新消息提醒、地图、重力感应、等等…☆24Feb 25, 2018Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆17Jun 11, 2022Updated 4 years ago
- Ecommerce Agent 是一个基于大语言模型的垂直电商客服智能助手系统，专门针对电商客服场景进行深度优化。项目通过 LoRA 微调、DPO 对齐和 ReAct 推理框架，构建了一个能够理解复杂业务逻辑、合规调用工具、并提供专业客服服务的智能助手。☆32Mar 4, 2026Updated 7 months ago
- DDRace: Finding Concurrency UAF Vulnerabilities in Linux Drivers with Directed Fuzzing☆11Feb 28, 2023Updated 3 years ago
- OBsan: An Out-Of-Bound Sanitizer to Harden DNN Executables☆17Feb 28, 2023Updated 3 years ago
- A fuzzer for SMT solvers☆23May 8, 2026Updated 5 months ago
- BotScreen: Trust Everybody, but Cut the Aimbots Yourself (USENIX Security '23)☆17Aug 25, 2023Updated 3 years ago
- This repository contains the evaluation code for the NDSS 2024 paper: MPCDIFF: Testing and Repairing MPC-Hardened Deep Learning Models.☆16Sep 5, 2023Updated 3 years ago
- Repository containing code accompanying the paper "Aggregating Falcon Signatures With LaBRADOR".☆21May 26, 2024Updated 2 years ago
- This is the public release of the code of our paper titled "Noncompliance as Deviant Behavior: An Automated Black-box Noncompliance Check…☆24Jun 7, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 这是一个基于javabean+servlet+jsp的学生管理系统☆15Mar 25, 2020Updated 6 years ago
- This is the R implementation of the Force Atlas 2 graph layout designed for Gephi.☆46Mar 11, 2016Updated 10 years ago
- ☆22Oct 31, 2020Updated 5 years ago
- This Project is about Student Management System by servlet☆18Jun 10, 2023Updated 3 years ago
- Cellmate is a sandboxing framework for BUAs that enforces strict boundaries on their behavior, ensuring safety even in the worst-case exe…☆30Sep 24, 2026Updated last month
- Main source code repository of the Tamarin prover for security protocol verification.☆554Oct 22, 2026Updated last week
- A framework for testing compilers' type checkers☆20Mar 17, 2026Updated 7 months ago