mimicji / Bilingual-Resume-TemplateView external linksLinks
Bilingual Resume Template in Latex. 中英双语Latex简历模板
☆18Jun 4, 2024Updated last year
Alternatives and similar repositories for Bilingual-Resume-Template
Users that are interested in Bilingual-Resume-Template are comparing it to the libraries listed below
Sorting:
- An standalone execution trace library built on DynamoRIO.☆23Jul 4, 2022Updated 3 years ago
- TeLL: Log Level Suggestions via Modeling Multi-Level Code Block Information, ISSTA'22☆14Jul 14, 2022Updated 3 years ago
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆28Apr 17, 2023Updated 2 years ago
- GAINS: Getting stArted wIth biNary analysiS☆31Feb 23, 2022Updated 3 years ago
- MCPCorpus is a comprehensive dataset for analyzing the Model Context Protocol (MCP) ecosystem, containing ~14K MCP servers and 300 MCP cl…☆32Sep 1, 2025Updated 5 months ago
- Deterministic record and replay and tracing of syzkaller bug reproducers☆20Apr 25, 2025Updated 9 months ago
- To detect logic bugs in graph database engines by mutating graph query patterns. ICSE'24.☆36Jan 24, 2024Updated 2 years ago
- Two-Level Collaborative Fuzzing for Python Runtimes☆19Nov 25, 2023Updated 2 years ago
- PalanTír: Optimizing Attack Provenance with Hardware-enhanced System Observability, ACM CCS'22☆24Nov 11, 2024Updated last year
- CONCOCTION is an automated machine learning-based vulnerability detection framework that combines static source code information and dyna…☆28Aug 18, 2024Updated last year
- A Dataflow-Driven and Automated Fuzzer for the PHP Interpreter☆47Jun 19, 2025Updated 7 months ago
- ☆10Sep 28, 2020Updated 5 years ago
- This repository is used to analysis the shared resources of different containers☆30Oct 22, 2024Updated last year
- ☆11Aug 21, 2017Updated 8 years ago
- archives for Tongji CTF 2017☆10Oct 25, 2023Updated 2 years ago
- An educational SAT solver written in Rust☆13Sep 23, 2023Updated 2 years ago
- A portable framework to map DFG (dataflow graph, representing an application) on spatial accelerators.☆40Oct 31, 2022Updated 3 years ago
- CVE-2022-3910☆12Mar 14, 2023Updated 2 years ago
- Misuse cases of Cryptography in real world software products☆12Nov 4, 2018Updated 7 years ago
- ☆11Aug 19, 2016Updated 9 years ago
- A toy WebAssembly(wasm) interpreter written in Swift☆16Jan 25, 2025Updated last year
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14May 7, 2022Updated 3 years ago
- AIBugHunter: A Practical Tool for Predicting, Classifying and Repairing Software Vulnerabilities☆43Apr 10, 2024Updated last year
- ☆11Mar 22, 2022Updated 3 years ago
- A model checker based on SAT solving and induction☆15Mar 27, 2015Updated 10 years ago
- Dataset from Linux Raspian VMs and devices with auditd logs capturing various container escape and attacks.☆15Jul 30, 2022Updated 3 years ago
- Slides of mine.☆12Apr 19, 2024Updated last year
- Linux kernel exploit☆13Oct 6, 2021Updated 4 years ago
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆11Jul 4, 2025Updated 7 months ago
- LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…☆16May 17, 2023Updated 2 years ago
- x86 JIT playground for documenting and exploring microarchitectural implementation details☆18Oct 15, 2025Updated 4 months ago
- Code for ICSE'24 Paper☆14Apr 21, 2024Updated last year
- ☆17Jul 16, 2025Updated 7 months ago
- An automated ROP generation work☆12Mar 5, 2025Updated 11 months ago
- ☆15Apr 3, 2022Updated 3 years ago
- WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries☆18Sep 30, 2024Updated last year
- 仿【饿了么】iOS版,swift 2.2☆13Jun 19, 2017Updated 8 years ago
- BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files☆14Apr 1, 2017Updated 8 years ago
- Collection for submission (Hardware Model Checking Benchmark)☆13Nov 9, 2025Updated 3 months ago