Materials for SAL (Security & Applied Logic) Master's Degree, Faculty of Mathematics & Informatics, Univesity of Bucharest (2021 - 2023). Materiale pentru Masterul SAL (Securitate și Logică Aplicată), FMI - UniBuc.
☆23Nov 1, 2024Updated last year
Alternatives and similar repositories for SAL-Materials-FMI-Master-Degree
Users that are interested in SAL-Materials-FMI-Master-Degree are comparing it to the libraries listed below
Sorting:
- Security Blogs - A simple aggregator for security news/blog☆24Jan 19, 2026Updated last month
- NiCad Clone Detector☆27Aug 5, 2025Updated 7 months ago
- The danger of repetivive format string vulnerabilities and abusing exit on full RELRO☆22May 26, 2022Updated 3 years ago
- My CTF writeup☆26Mar 20, 2017Updated 8 years ago
- ☆53Oct 21, 2024Updated last year
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆76Feb 14, 2023Updated 3 years ago
- GlibC Malloc for Exploiters presentation☆152Jun 22, 2019Updated 6 years ago
- ASLR bypass without infoleak☆168Nov 2, 2021Updated 4 years ago
- Companion repository to the Fuzzing101 with LibAFL series of blog posts.☆167Feb 14, 2025Updated last year
- Single source of truth is the accumulator of different useful/productive resources about different Computer Science/Software Engineering…☆172Apr 11, 2022Updated 3 years ago
- The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains…☆287Feb 26, 2026Updated last week
- A structure-aware HTTP fuzzing library☆217Jan 12, 2026Updated last month
- The Decompilation Wiki: info on all things decompilation☆238Feb 26, 2026Updated last week
- Resources for learning about cybersecurity and CTFs☆228Dec 13, 2022Updated 3 years ago
- Smart contract specification language☆267Mar 2, 2026Updated last week
- helps visualize heap operations for pwn and debugging☆329Jan 27, 2023Updated 3 years ago
- Symbolic and concrete EVM execution engine☆329Updated this week
- Collection of RESTful APIs provided by Ethereum Beacon nodes☆377Feb 16, 2026Updated 3 weeks ago
- A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM☆439Feb 27, 2026Updated last week
- ☆448Oct 3, 2024Updated last year
- Exploit PoC for CVE-2024-32002☆531May 19, 2024Updated last year
- A curated list of awesome directed fuzzing research papers☆584Dec 27, 2025Updated 2 months ago
- K Semantics of the Ethereum Virtual Machine (EVM)☆577Feb 11, 2026Updated 3 weeks ago
- TartarusGate, Bypassing EDRs☆653Jan 25, 2022Updated 4 years ago
- Common tests for all Ethereum implementations☆623Jun 4, 2025Updated 9 months ago
- IDA Pro plugin to examine the glibc heap, focused on exploit development☆765Jul 25, 2022Updated 3 years ago
- The most exhaustive list of reliable DNS resolvers.☆957Updated this week
- An step by step fuzzing tutorial. A GitHub Security Lab initiative☆3,720Jun 3, 2024Updated last year
- Burp Plugin to Bypass WAFs through the insertion of Junk Data☆1,426Jul 14, 2025Updated 7 months ago
- Exercises to learn how to fuzz with American Fuzzy Lop☆1,276Oct 12, 2022Updated 3 years ago
- Academic papers related to fuzzing, binary analysis, and exploit dev, which I want to read or have already read☆1,356Feb 21, 2025Updated last year
- RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.☆2,091Feb 25, 2026Updated last week
- awesome list of browser exploitation tutorials☆2,266Sep 18, 2023Updated 2 years ago
- Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_st…☆2,501Feb 10, 2026Updated 3 weeks ago
- 🦄 🦄 🦄 🦄 Core smart contracts of Uniswap v4☆2,460Oct 23, 2025Updated 4 months ago
- This repository contains free labs for setting up an entire workflow and DevOps environment from a real-world perspective in AWS☆2,416Apr 27, 2025Updated 10 months ago
- 👩🏫 Advanced NLP with spaCy: A free online course☆2,411Feb 7, 2025Updated last year
- Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.…☆2,972Updated this week
- Free copy of The Cyber Plumber's Handbook - The definitive guide to Secure Shell (SSH) tunneling, port redirection, and bending traffic l…☆2,736Oct 27, 2021Updated 4 years ago