misc0110 / Paper-Linter
A script to check for common mistakes in LaTeX source files of scientific papers.
☆24Updated last year
Alternatives and similar repositories for Paper-Linter:
Users that are interested in Paper-Linter are comparing it to the libraries listed below
- 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
- ☆21Updated 3 years ago
- Automatic detection of speculative information flows☆67Updated 3 years ago
- Open source release of "Last-Level Cache Side-Channel Attacks Are Feasible in the Modern Public Cloud" (ASPLOS '24)☆19Updated 2 months ago
- ☆10Updated last year
- A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols☆16Updated 8 months ago
- The open-source component of Prime+Scope, published at CCS 2021☆29Updated last year
- PTABen: Micro-benchmark Suite for Pointer Analysis☆73Updated this week
- Proof-of-concept implementation for the paper "(M)WAIT for It: Bridging the Gap between Microarchitectural and Architectural Side Channel…☆22Updated last year
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆72Updated 2 years ago
- FastSpec: Scalable Generation and Detection of Spectre Gadgets Using Neural Embeddings☆13Updated last year
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆63Updated 3 years ago
- Fex: A Software Systems Evaluator☆9Updated 4 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
- Commodity Obfuscation Engine for Intel SGX☆20Updated 5 years ago
- Reload+Refresh PoC☆14Updated 4 years ago
- Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves☆51Updated 5 years ago
- ☆33Updated last year
- ☆37Updated 5 years ago
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆43Updated 5 years ago
- ☆25Updated 3 years ago
- SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs☆47Updated 6 years ago
- Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program☆26Updated 6 years ago
- ☆40Updated 2 years ago
- Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)☆55Updated 2 years ago
- ACM consolidated LaTeX styles☆65Updated 5 years ago
- Revizor - a fuzzer to search for microarchitectural leaks in CPUs☆118Updated this week
- Search, check, and autofix your BibTex files!☆25Updated 9 months ago
- A System for Debloating C/C++ Programs☆31Updated 3 years ago