misc0110 / Paper-LinterLinks
A script to check for common mistakes in LaTeX source files of scientific papers.
☆27Updated 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!☆26Updated last week
- Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser☆61Updated 3 years ago
- Fast relational access to openly-available publication data sets☆92Updated 4 months ago
- FastSpec: Scalable Generation and Detection of Spectre Gadgets Using Neural Embeddings☆13Updated 2 years ago
- Project page for "The Debugging Book"☆240Updated 3 months ago
- Fex: A Software Systems Evaluator☆9Updated 4 years ago
- The open-source component of Prime+Scope, published at CCS 2021☆34Updated 2 years ago
- Website for Research Artifacts from the Security Community☆21Updated 2 weeks ago
- code for privacy-preserving sat solver☆17Updated 2 years ago
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆42Updated 2 years ago
- ☆10Updated 2 years ago
- ACM consolidated LaTeX styles☆67Updated 6 years ago
- Deadline countdowns for academic conferences in Security and Privacy☆735Updated last week
- A flush-reload side channel attack implementation☆52Updated 3 years ago
- Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves☆51Updated 4 months ago
- Autoreject.org — An automatic review generator☆70Updated last year
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆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…☆42Updated last year
- A ground-truth fuzzing benchmark suite based on real programs with real bugs.☆318Updated 2 months ago
- ☆40Updated 6 years ago
- Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019☆37Updated 3 years ago
- Automatic detection of speculative information flows☆68Updated 4 years ago
- [UNMAINTAINED] Implementation of the FLUSH+RELOAD side channel attack☆63Updated 7 years ago
- ☆55Updated 4 years ago
- Side-channel Analysis☆16Updated 3 years ago
- Open-source release of "Last-Level Cache Side-Channel Attacks Are Feasible in the Modern Public Cloud" (ASPLOS '24)☆26Updated 4 months ago
- This repository contains several tools to perform Cache Template Attacks☆154Updated last year
- ☆24Updated 4 years ago
- Mutation-guided mutation-based fuzz testing☆46Updated last year
- Unit testing for SQL queries☆24Updated 11 months ago