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:
- 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
- Open-source release of "Last-Level Cache Side-Channel Attacks Are Feasible in the Modern Public Cloud" (ASPLOS '24)☆23Updated 2 months ago
- The open-source component of Prime+Scope, published at CCS 2021☆32Updated 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
- ☆23Updated 3 years ago
- A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols☆16Updated last year
- Search, check, and autofix your BibTex files!☆25Updated last year
- A Tool for the Static Analysis of Cache Side Channels☆40Updated 8 years ago
- Juliet C/C++ Dynamic Test Suite☆29Updated 2 years ago
- Automatic detection of speculative information flows☆68Updated 3 years ago
- ☆14Updated 4 years ago
- ☆39Updated 6 years ago
- Commodity Obfuscation Engine for Intel SGX☆20Updated 5 years ago
- Fex: A Software Systems Evaluator☆9Updated 4 years ago
- A System for Debloating C/C++ Programs☆31Updated 3 years ago
- ☆25Updated 3 years ago
- 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
- 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
- ☆22Updated 4 years ago
- ☆80Updated 2 months ago
- ☆13Updated 4 years ago
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆44Updated 5 years ago
- User Guided API Misuse Detection☆29Updated 2 years ago
- ☆54Updated 4 years ago
- oo7, a binary analysis tool to defend against Spectre vulnerabilities☆32Updated 4 years ago
- Proof-of-concept implementation of the Obelix software hardening framework, based on LLVM.☆11Updated last year
- Side-channel Analysis☆15Updated 3 years ago
- Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)☆30Updated last year
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆64Updated 3 years ago