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
- Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.☆13Aug 11, 2025Updated 6 months 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
- 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 16 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
- ☆30Jan 7, 2021Updated 5 years ago
- XSS payloads for edge cases☆34Nov 13, 2018Updated 7 years ago
- Code supporting "Peek-a-Boo, I Still See You: Why Efficient Traffic Analysis Countermeasures Fail"☆39Oct 2, 2020Updated 5 years ago
- [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel☆79Dec 30, 2021Updated 4 years ago
- Papers of smart contract security analysis (and tools)☆36Jun 5, 2019Updated 6 years ago
- Challenges I created for 35c3☆48Dec 31, 2018Updated 7 years ago
- AFL/AFL++ version FishFuzz☆99Mar 11, 2025Updated 11 months ago
- QROA: A Black-Box Query-Response Optimization Attack on LLMs☆14May 23, 2025Updated 9 months ago
- Some literature published on topics around IoT & Cybersecurity☆13Oct 13, 2025Updated 4 months ago
- ☆16Oct 26, 2024Updated last year
- 受https://nof1.ai/ 启发编写的策略信号自动交易模型☆37Feb 5, 2026Updated last month
- Yet another Linux distro for RISC-V.☆13Dec 25, 2025Updated 2 months ago
- Convergent Dispersal Deduplication Datastore☆10Jan 21, 2016Updated 10 years ago
- 开源软件供应链点亮计划 - 暑期2020的主页代码。This repository is the homepage for Open Source Promotion Plan - Summer 2020 built with create-react-app.☆10Aug 28, 2024Updated last year
- A simple /proc/<pid>/{mem,maps} library for Rust☆11May 28, 2022Updated 3 years ago
- R code to reproduce this Jan. 23, 2018 BuzzFeed News analysis of a year of tweets from President Donald Trump and all members of Congres…☆10Nov 8, 2019Updated 6 years ago
- Blade Agent Runtime (BAR) - A safe execution runtime for AI coding agents with Git worktree isolation, step ledger, and policy engine☆16Feb 4, 2026Updated last month
- ☆10Sep 20, 2022Updated 3 years ago
- Static analysis for llvm☆20Mar 31, 2015Updated 10 years ago
- Mirror of NetBSD sources useful with rump kernels☆13Mar 23, 2017Updated 8 years ago
- The official GitHub page for the survey paper "Content Generation Models in Computational Pathology: A Comprehensive Survey on Methods, A…☆22Oct 9, 2025Updated 5 months ago
- I am still working on it☆12Apr 30, 2020Updated 5 years ago
- ☆18Aug 15, 2025Updated 6 months ago
- A netmap-based userspace network stack.☆10May 7, 2015Updated 10 years ago
- ☆43Jun 14, 2022Updated 3 years ago
- Helps you to pull off a padding oracle attack.☆10Oct 29, 2018Updated 7 years ago
- This is the example model described in the paper S. Resch and M. Paulitsch, "Using TLA+ in the Development of a Safety-Critical Fault-Tol…☆18Nov 24, 2017Updated 8 years ago
- Experimental hostapd/wpa_supplicant that allows automatic MACsec channel establishment☆11Sep 5, 2017Updated 8 years ago
- ☆11Mar 17, 2021Updated 4 years ago