misc0110 / Paper-LinterLinks
A script to check for common mistakes in LaTeX source files of scientific papers.
☆29Updated 2 months ago
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☆62Updated 3 years ago
- Fast relational access to openly-available publication data sets☆95Updated 2 months ago
- ACM consolidated LaTeX styles☆67Updated 6 years ago
- A System for Debloating C/C++ Programs☆31Updated 4 years ago
- ICSE 2021 Artifact for: Shipwright: A Human-in-the-Loop System for Dockerfile Repair.☆22Updated 4 years ago
- Search, check, and autofix your BibTex files!☆26Updated 2 months ago
- Project page for "The Debugging Book"☆268Updated last week
- The open-source component of Prime+Scope, published at CCS 2021☆35Updated 2 years ago
- Deadline countdowns for academic conferences in Security and Privacy☆768Updated this week
- Unit testing for SQL queries☆24Updated last year
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆41Updated 2 years ago
- ☆115Updated 2 years ago
- Software Artifacts for the paper "TDXdown: Single-Stepping and Instruction Counting Attacks against Intel TDX"☆17Updated last year
- code for privacy-preserving sat solver☆17Updated 2 years ago
- This repository contains several tools to perform Cache Template Attacks☆157Updated 3 weeks ago
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆46Updated 2 years ago
- Autoreject.org — An automatic review generator☆69Updated last year
- Tool for analyzing git log messages and diffs.☆22Updated 4 years ago
- Automatic detection of speculative information flows☆71Updated 4 years ago
- Interview questions for Computer Science faculty jobs☆40Updated last year
- ☆14Updated 5 years ago
- SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs☆48Updated 7 years ago
- LaMa, short for Labelling Machine, is an web application developed for aiding in thematic analysis of qualitative data.☆17Updated 2 years ago
- Reload+Refresh PoC☆16Updated 5 years ago
- DBGBench Website:☆19Updated 4 years ago
- Proof-of-concept implementation of the Obelix software hardening framework, based on LLVM.☆11Updated last year
- Dynamic analysis framework for Python☆77Updated 3 months ago
- A Tool for the Static Analysis of Cache Side Channels☆41Updated 8 years ago
- A flush-reload side channel attack implementation☆54Updated 3 years ago
- Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves☆53Updated 7 months ago