misc0110 / Paper-LinterLinks
A script to check for common mistakes in LaTeX source files of scientific papers.
☆34Updated 5 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:
- Search, check, and autofix your BibTex files!☆27Updated 5 months ago
- ICSE 2021 Artifact for: Shipwright: A Human-in-the-Loop System for Dockerfile Repair.☆22Updated 4 years ago
- Fast relational access to openly-available publication data sets☆96Updated last week
- Deadline countdowns for academic conferences in Security and Privacy☆797Updated last week
- ACM consolidated LaTeX styles☆66Updated 6 years ago
- A ground-truth fuzzing benchmark suite based on real programs with real bugs.☆334Updated 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…☆48Updated 2 years ago
- Project page for "The Debugging Book"☆270Updated 3 months ago
- Scalpel: The Python Static Analysis Framework☆324Updated last year
- Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser☆62Updated 3 years ago
- Revizor - Hardware fuzzing for the age of speculation☆180Updated 2 weeks ago
- A reimplementation of LastPyMile: A Python-based library to Identify the differences between build artifacts of PyPI packages and the res…☆15Updated 4 years ago
- Statistics of acceptance rate for the top conferences: Oakland, CCS, USENIX Security, NDSS.☆213Updated 3 months ago
- Proof-of-concept implementation of the Obelix software hardening framework, based on LLVM.☆12Updated last year
- ☆10Updated 2 years ago
- Some CSS experiments for arXiv HTML documents converted via latexml☆20Updated 2 weeks ago
- Detect common mistakes in academic papers☆61Updated 6 years ago
- FastSpec: Scalable Generation and Detection of Spectre Gadgets Using Neural Embeddings☆13Updated 2 years ago
- LaMa, short for Labelling Machine, is an web application developed for aiding in thematic analysis of qualitative data.☆17Updated 2 years ago
- Teaching materials related to the Tamarin Prover☆71Updated last year
- DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…☆56Updated 8 months ago
- ☆119Updated 3 years ago
- This repo collects the best papers from top 4 computer security conferences, including IEEE S&P, ACM CCS, USENIX Security, and NDSS.☆133Updated 9 months ago
- Autoreject.org — An automatic review generator☆69Updated 2 years ago
- [UNMAINTAINED] Implementation of the FLUSH+RELOAD side channel attack☆63Updated 8 years ago
- American Fuzzy Lop fork server and instrumentation for pure-Python code☆371Updated 3 weeks ago
- Open-source release of "Last-Level Cache Side-Channel Attacks Are Feasible in the Modern Public Cloud" (ASPLOS '24)☆33Updated 10 months ago
- SCAAML: Side Channel Attacks Assisted with Machine Learning☆186Updated this week
- HotCRP conference review software☆392Updated this week
- SageMath/Python Toolkit for Cryptanalytic Research☆41Updated 8 months ago