Course material for Blockchains and Distributed Ledgers (INFR11144)
☆33Nov 25, 2025Updated 3 months ago
Alternatives and similar repositories for bdl-course
Users that are interested in bdl-course are comparing it to the libraries listed below
Sorting:
- Exercices et challenges en français pour s'améliorer en Python.☆11Jan 1, 2020Updated 6 years ago
- A benchmark for Java gadget chain detecting algorithms.☆15Jun 20, 2025Updated 8 months ago
- Starting repository for all Applied Blockchain's new apps - NodeJS server app (API) + Docker Swarm / Kubernetes Deployment - Ethereum Par…☆13Jan 7, 2023Updated 3 years ago
- BNB Chain Zero2Hero Bootcamp by Encode Club☆10Apr 25, 2023Updated 2 years ago
- A polyglot static analysis engine for detecting vulnerabilities in scripting languages native extensions based on joern.☆21Sep 1, 2025Updated 6 months ago
- This repository contains a Python script for downloading transcripts from YouTube videos. The script extracts video IDs from provided You…☆16Dec 15, 2023Updated 2 years ago
- PWNable pyjail☆13Jan 13, 2025Updated last year
- Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)☆13Oct 3, 2024Updated last year
- awd attack framework,Django + Mysql☆16Feb 8, 2025Updated last year
- ☆13Dec 29, 2024Updated last year
- Industrial Cybersecurity Conference Index☆13Mar 11, 2024Updated last year
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation☆14Jul 24, 2025Updated 7 months ago
- Thymeleaf SSTI Bypass☆13Nov 24, 2021Updated 4 years ago
- The prototype implementation of our USENIX 2023 paper☆15Apr 25, 2023Updated 2 years ago
- ☆14Feb 4, 2020Updated 6 years ago
- Protect your PHP project from deserialization attacks! As seen on NDSS 2024☆15Aug 8, 2025Updated 6 months ago
- The Z3-Noodler String Solver☆25Feb 27, 2026Updated last week
- Paper_Copilot 是一款基于向量索引和大模型的高级文献分析命令行工具,旨在帮助学术研究人员高效管理、检索和分析海量文献。通过本地自建知识库并与大模型的交互,它能够为用户提供专业且精准的解答,显著提升文献研究的效率与准确性。☆23Oct 15, 2024Updated last year
- Quickly create your SQL test data☆16Updated this week
- Synchronize the ledger with your databases☆16Jan 24, 2025Updated last year
- not a fork of official fabric-common☆14Nov 20, 2025Updated 3 months ago
- ☆14Feb 14, 2018Updated 8 years ago
- AI-powered reverse engineering assistant that bridges IDA Pro with language models through MCP.☆47Feb 12, 2026Updated 3 weeks ago
- 🎥 React app for creating on-the-fly YouTube playlists.☆20Jun 8, 2022Updated 3 years ago
- Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference" at ASE 2024☆26Sep 3, 2024Updated last year
- ☆23Apr 6, 2019Updated 6 years ago
- Hacking GraalVM Espresso - Abusing Continuation API to Make ROP-like Attack☆36Aug 27, 2025Updated 6 months ago
- ☆27Dec 29, 2024Updated last year
- ☆22Jul 3, 2022Updated 3 years ago
- 用于搭建VSCode开发环境的测试例程☆18Mar 20, 2021Updated 4 years ago
- [ICLR 2025] Official implementation for "StringLLM: Understanding the String Processing Capability of Large Language Models"☆22Jan 23, 2025Updated last year
- [USENIX Security '25] My ZIP isn’t your ZIP: Identifying and Exploiting Semantic Gaps Between ZIP Parsers☆38Aug 22, 2025Updated 6 months ago
- ☆21Apr 30, 2021Updated 4 years ago
- ☆20Apr 9, 2024Updated last year
- A containerized Model Context Protocol (MCP) server providing static code analysis using Joern's Code Property Graph (CPG) with support f…☆46Feb 21, 2026Updated 2 weeks ago
- ☆20Feb 9, 2025Updated last year
- The notes are the supplement to papers and handouts of CS 259D☆21May 4, 2018Updated 7 years ago
- Modelizer - is a framework for learning models from BlackBox systems using Input-Output examples☆22Jul 17, 2025Updated 7 months ago
- Pwn 比赛小工具☆34Dec 27, 2025Updated 2 months ago