Repository of experiment for the paper
☆10Feb 5, 2024Updated 2 years ago
Alternatives and similar repositories for sok-detection
Users that are interested in sok-detection are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Nov 27, 2024Updated last year
- Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser☆65Aug 7, 2022Updated 4 years ago
- This repository contains some tools to monitor the UNC_CBO_CACHE_LOOKUP event of the C-Boxes.☆12Oct 11, 2017Updated 9 years ago
- Instruction cache leakage detection tool for modular exponentation software.☆14Mar 17, 2017Updated 9 years ago
- Code accompanying the paper "Faster multiplication in Z2m[x] on Cortex-M4 to speed up NIST PQC candidates"☆11Feb 2, 2023Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- graph viewer☆12May 7, 2026Updated 6 months ago
- Open-source release of "Last-Level Cache Side-Channel Attacks Are Feasible in the Modern Public Cloud" (ASPLOS '24)☆34May 20, 2026Updated 5 months ago
- Rage Against The Machine Clear: A Systematic Analysis of Machine Clears and Their Implications for Transient Execution Attacks☆25Jun 11, 2021Updated 5 years ago
- ngcc artifacts☆46Updated this week
- Sphincs+ implementation which uses minimal RAM☆17Aug 31, 2023Updated 3 years ago
- Artifact for paper: Breaking and Fixing Speculative Load Hardening☆11Jan 3, 2024Updated 2 years ago
- The artifact for SecSMT paper -- Usenix Security 2022☆30Oct 4, 2022Updated 4 years ago
- This repository contains the hardware, software, and OS support for the Programmable Hardware Monitor (PHMon).☆29Aug 10, 2020Updated 6 years ago
- Code repository for experiments in SpecROP paper☆13Sep 3, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A tool to enable fuzzing for Spectre vulnerabilities☆32Feb 20, 2020Updated 6 years ago
- ☆13Jan 3, 2026Updated 10 months ago
- ☆61Oct 30, 2026Updated 2 weeks ago
- SCAbox's website☆12Oct 14, 2022Updated 4 years ago
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆42Dec 14, 2022Updated 3 years ago
- Defeating Pointer Authentication on the Apple M1 with Hardware Attacks☆53Aug 12, 2022Updated 4 years ago
- Windows Kernel-Mode Keylogger - Educational rootkit driver intercepting keyboard IRPs for UDP logging. Demonstrates stealth persistence, …☆16Dec 4, 2025Updated 11 months ago
- ☆44Jul 19, 2023Updated 3 years ago
- CryptoBAP: Automated Side-Channel Analysis of Cryptographic Protocols Implementations☆14Sep 30, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆16Mar 5, 2024Updated 2 years ago
- cargo-expand, but with Hygiene [WIP]☆21Aug 8, 2023Updated 3 years ago
- A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes☆46Sep 2, 2023Updated 3 years ago
- Life is short, judge locally. 适用于OJ练习的本地评测工具。开发版本：https://github.com/NoCLin/LocalJudge/tree/dev☆16Jan 23, 2020Updated 6 years ago
- Exact Soft Analytical Side-Channel Attacks using Tractable Circuits☆11Sep 28, 2026Updated last month
- Software artifacts for "UC-Check: Characterizing Micro-operation Caches in x86 Processors and Implications in Security and Performance" (…☆10Dec 27, 2021Updated 4 years ago
- Implementation of the model from "Faster sorting algorithms discovered using deep reinforcement learning" that discovered an all-new ult…☆11Aug 29, 2023Updated 3 years ago
- A static analyzer to generate Choreography Automata from Erlang source.☆12Nov 3, 2026Updated last week
- ☆12Apr 22, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- This artifact consists of two main components: first, a proof-of-concept (PoC) code demonstrating that the Memory Dependence Unit (MDU) i…☆14Apr 2, 2025Updated last year
- Python control library for the Faultier fault-injection tool.☆19Sep 17, 2025Updated last year
- Manage efficiently your heavy side-channel datasets with eShard library and process them with http://gitlab.com/eshard/scared. This is a …☆14Jan 28, 2026Updated 9 months ago
- a simple POC of spectre_RSB☆13Jul 9, 2020Updated 6 years ago
- ExtendJ is a Java compiler implemented in reference attribute grammars using JastAdd.☆14Updated this week
- Lean4 formalization of "A Simplified Round-by-round Soundness Proof of FRI"☆11Apr 1, 2026Updated 7 months ago
- Side-channel traces visualizer☆17Apr 28, 2025Updated last year
Are these results useful?