ISLOUC / Conferences-And-JournalsView external linksLinks
CCF推荐列表的会议征稿信息(计算机系统相关);SCI I区、II区期刊(系统与安全相关)
☆30Jun 13, 2019Updated 6 years ago
Alternatives and similar repositories for Conferences-And-Journals
Users that are interested in Conferences-And-Journals are comparing it to the libraries listed below
Sorting:
- A new XNU kernel fuzzer with some extra features.☆13Feb 8, 2017Updated 9 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Sep 20, 2019Updated 6 years ago
- An Input Validator for HTTP based on Context-free Languages☆15Apr 27, 2017Updated 8 years ago
- PoC exploits against various SGX enclaves☆14May 19, 2022Updated 3 years ago
- Source code for ACM CCS 2020 Paper PMForce: Systematically Analyzing postMessage Handlers at Scale☆18May 17, 2021Updated 4 years ago
- WCTF2019 challenge: Gyotaku The Flag☆41Jul 13, 2019Updated 6 years ago
- RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection☆18Oct 5, 2021Updated 4 years ago
- An XNU kernel fuzz tool☆22Mar 3, 2010Updated 15 years ago
- A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆21Jun 10, 2017Updated 8 years ago
- Hence☆21Nov 8, 2018Updated 7 years ago
- Sensitive and Collaborative Fuzzing with AFL☆27Jul 29, 2019Updated 6 years ago
- ☆29Jan 7, 2021Updated 5 years ago
- SBOM-TOOL is a ctl tool that generates software bill of materials (SBOM) for software projects through source code warehouse, code finger…☆13Oct 11, 2025Updated 4 months ago
- XSS payloads for edge cases☆34Nov 13, 2018Updated 7 years ago
- 受https://nof1.ai/ 启发编写的策略信号自动交易模型☆35Feb 5, 2026Updated last week
- [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel☆78Dec 30, 2021Updated 4 years ago
- A pip wrapper around AFL.☆87Apr 12, 2021Updated 4 years ago
- Challenges I created for 35c3☆48Dec 31, 2018Updated 7 years ago
- AFL/AFL++ version FishFuzz☆98Mar 11, 2025Updated 11 months ago
- ☆10Jun 1, 2014Updated 11 years ago
- ☆16Oct 26, 2024Updated last year
- Convergent Dispersal Deduplication Datastore☆10Jan 21, 2016Updated 10 years ago
- Vulnerable code clone detection technique. Published in EuroS&P2020☆10Sep 4, 2020Updated 5 years ago
- Some literature published on topics around IoT & Cybersecurity☆13Oct 13, 2025Updated 4 months ago
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆42Oct 26, 2022Updated 3 years ago
- Scriptable interface to a powerful, multi-lingual language server☆32Updated this week
- ☆43Jun 14, 2022Updated 3 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- Solidity Contract ABI to UI, using React.☆13Mar 25, 2023Updated 2 years ago
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- duetector🔍: Data Usage Extensible Detector for data usage observability.☆12Jan 19, 2026Updated 3 weeks ago
- I am still working on it☆12Apr 30, 2020Updated 5 years ago
- This document introduces how to implement a secure boot chain in UEFI using the TianoCore EDK II project☆12Apr 30, 2025Updated 9 months ago
- A netmap-based userspace network stack.☆10May 7, 2015Updated 10 years ago
- ☆18Aug 15, 2025Updated 6 months ago
- funky fun fuzzer☆11Jul 6, 2021Updated 4 years ago
- Helps you to pull off a padding oracle attack.☆10Oct 29, 2018Updated 7 years ago
- ☆10Sep 20, 2022Updated 3 years ago
- Static analysis for llvm☆20Mar 31, 2015Updated 10 years ago