TUDelft-CS4110 / syllabus
Syllabus for CS4110 course at TU Delft
☆12Updated 8 years ago
Alternatives and similar repositories for syllabus:
Users that are interested in syllabus are comparing it to the libraries listed below
- A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆21Updated 7 years ago
- Code from MSc thesis on combining learning and fuzzing☆17Updated 6 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆28Updated 6 months ago
- A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols☆16Updated 8 months ago
- Create CFGs and compute complexity metrics for Python, C++, and Java code.☆42Updated 8 months ago
- A Java version of the automatic program repair described by RSRepair and GenProg.☆10Updated 9 years ago
- Forecasting Malware Capabilities From Cyber Attack Memory Images☆31Updated 2 years ago
- A free, open-source Java library for automata learning algorithms☆212Updated this week
- The FlexFringe tool for flexible learning of state machines (deterministic automata) from traces. See the paper at https://arxiv.org/abs/…☆18Updated 3 weeks ago
- Genrates python dependency graph☆21Updated 6 years ago
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆37Updated last year
- ☆10Updated 3 years ago
- Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program☆26Updated 6 years ago
- The Z3 Theorem Prover - repository for staging python distributions☆56Updated 5 years ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Updated 6 years ago
- A protocol reverse engineer tool written in java.☆29Updated 8 years ago
- ☆143Updated last year
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Updated 5 years ago
- Static Analyzer and Verifier☆46Updated 3 months ago
- Bad packages from the pypi repository☆9Updated 6 years ago
- A Quick Research of Active Automata Learning☆24Updated 4 years ago
- AFL++ with support for FormatFuzzer☆12Updated 2 years ago
- ICSE'18: Tuning Smote☆11Updated 6 years ago
- Keep your bugs contained. A platform for studying historical software bugs.☆67Updated 3 weeks ago
- ☆25Updated 3 years ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆36Updated 4 years ago
- ☆13Updated 3 years ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆39Updated 10 months ago
- CoREBench: Errors in Find, Grep, Make☆14Updated 9 years ago
- Identifying Open-Source License Violation and 1-day Security Risk at Large Scale☆66Updated 7 years ago