misc0110 / Paper-LinterLinks
A script to check for common mistakes in LaTeX source files of scientific papers.
☆26Updated last year
Alternatives and similar repositories for Paper-Linter
Users that are interested in Paper-Linter are comparing it to the libraries listed below
Sorting:
- Search, check, and autofix your BibTex files!☆25Updated last year
- Proof-of-concept implementation for the paper "(M)WAIT for It: Bridging the Gap between Microarchitectural and Architectural Side Channel…☆26Updated last year
- Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser☆61Updated 2 years ago
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆42Updated 2 years ago
- Fex: A Software Systems Evaluator☆9Updated 4 years ago
- The Department of Reuse tracks and documents reuse of artifacts in computer science (starting with the SE field)☆17Updated 5 months ago
- A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols☆16Updated last year
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆40Updated last year
- The open-source component of Prime+Scope, published at CCS 2021☆32Updated last year
- ☆23Updated 3 years ago
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆23Updated 3 years ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆47Updated 3 years ago
- Side-channel Analysis☆15Updated 3 years ago
- ☆39Updated 2 years ago
- ☆10Updated 2 years ago
- Revizor - a fuzzer to search for microarchitectural leaks in CPUs☆124Updated this week
- Automatic detection of speculative information flows☆68Updated 3 years ago
- Mutation-guided mutation-based fuzz testing☆46Updated 10 months ago
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆60Updated 6 months ago
- Reload+Refresh PoC☆15Updated 5 years ago
- Juliet C/C++ Dynamic Test Suite☆29Updated 2 years ago
- ☆22Updated 4 years ago
- Proof-of-concept implementation for the paper "Reviving Meltdown 3a" (ESORICS 2023)☆15Updated last year
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆78Updated this week
- WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries☆14Updated 8 months ago
- A Tool for the Static Analysis of Cache Side Channels☆40Updated 8 years ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆33Updated 4 months ago
- This repo tracks a compatible state of all sev step components and contains script to easily install everything required to setup a sev v…☆39Updated last year
- User Guided API Misuse Detection☆29Updated 2 years ago
- ☆25Updated 3 years ago