A public repository for the class, "Software Security" at Seoul National University (SNU)
☆14May 11, 2021Updated 4 years ago
Alternatives and similar repositories for snu-software-security-public
Users that are interested in snu-software-security-public are comparing it to the libraries listed below
Sorting:
- PeTAL: Ensuring Access Control Integrity against Data-only Attacks on Linux (ACM CCS 2024)☆16Nov 4, 2024Updated last year
- PFI: Prompt Flow Integrity to Prevent Privilege Escalation in LLM Agents☆26Mar 26, 2025Updated 11 months ago
- is a random text generator based on context-free grammars, it uses a EBNF for grammar definitions.☆18May 5, 2025Updated 10 months ago
- ☆32Apr 2, 2024Updated last year
- ☆11Nov 7, 2025Updated 4 months ago
- ☆37May 11, 2022Updated 3 years ago
- ☆75Nov 21, 2024Updated last year
- Linux kernel source tree patched with Hypervisor-Enforced Kernel Integrity☆13Nov 14, 2023Updated 2 years ago
- ☆14Mar 9, 2025Updated last year
- !exploitable Crash Analyzer - MSEC Debugger Extensions☆11Feb 16, 2021Updated 5 years ago
- Codebase of the paper "Aligning Protein Conformation Ensemble Generation with Physical Feedback" (ICML 2025)☆16Jul 6, 2025Updated 8 months ago
- ☆14Mar 10, 2025Updated last year
- ☆11Sep 17, 2024Updated last year
- Alleycat plugin by devttys0, ported to IDA 8☆11Jan 15, 2025Updated last year
- ☆12Feb 17, 2023Updated 3 years ago
- A cross platform framework to recover driver's communication interface.☆11Mar 26, 2021Updated 4 years ago
- Exploiting CVE-2016-2334 7zip HFS+ vulnerability☆10Nov 29, 2017Updated 8 years ago
- Tools for communicating with Intel Management Engine through MEI (HECI)☆13Jul 27, 2017Updated 8 years ago
- A research workbench for developing and testing attacks against large language models, with a focus on prompt injection vulnerabilities a…☆43Updated this week
- IRC-like chat program using POSIX advisory lock covert-channel on time namespaces☆23Nov 12, 2025Updated 3 months ago
- ☆13Apr 13, 2023Updated 2 years ago
- [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation☆21Mar 26, 2025Updated 11 months ago
- A virtio layer for xv6☆12Apr 16, 2019Updated 6 years ago
- WYSIWYG mathematics editor with structured, searchable, LaTeX-compatible, and parseable output. WIP☆14Sep 13, 2018Updated 7 years ago
- 웹 브라우저 취약점 탐지 자동화 프로젝트☆11Jan 8, 2022Updated 4 years ago
- LLVM-based Mutation Testing System. Proof of concept☆14Apr 14, 2016Updated 9 years ago
- ☆14Dec 21, 2022Updated 3 years ago
- CVE-2019-2525 / CVE-2019-2548☆11Sep 4, 2020Updated 5 years ago
- A Computational Graph Generator for AI Compiler Fuzzing☆16May 31, 2023Updated 2 years ago
- ☆20Oct 24, 2024Updated last year
- PoC for DHCP vulnerability (NAME:WRECK) in FreeBSD☆15Apr 14, 2021Updated 4 years ago
- Code archive for the book PHP: Novice to Ninja, 6th Edition☆13Jan 22, 2019Updated 7 years ago
- Linux Kernel module to dump the page tables currently used by the CPU on intel 64bit systems with 4 level paging.☆11Jun 15, 2017Updated 8 years ago
- JEST: N+1-version Differential Testing of Both JavaScript Engines☆14Jun 1, 2021Updated 4 years ago
- a paper template☆59Aug 4, 2025Updated 7 months ago
- ☆11Jun 14, 2024Updated last year
- A successor bnf parsing library of bnf parsing library, for parsing Extended Backus–Naur form context-free grammars☆15Sep 17, 2025Updated 5 months ago
- ☆23Aug 5, 2025Updated 7 months ago
- Research developed by Allele Security Intelligence.☆17Jul 21, 2025Updated 7 months ago