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
- graph viewer☆12May 7, 2026Updated 5 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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
- ☆13Jan 3, 2026Updated 9 months ago
- This repository contains the hardware, software, and OS support for the Programmable Hardware Monitor (PHMon).☆29Aug 10, 2020Updated 6 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
- Life is short, judge locally. 适用于OJ练习的本地评测工具。开发版本：https://github.com/NoCLin/LocalJudge/tree/dev☆16Jan 23, 2020Updated 6 years ago
- ☆60Oct 12, 2026Updated last week
- A tool to enable fuzzing for Spectre vulnerabilities☆32Feb 20, 2020Updated 6 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- cargo-expand, but with Hygiene [WIP]☆21Aug 8, 2023Updated 3 years ago
- ☆44Jul 19, 2023Updated 3 years ago
- Windows Kernel-Mode Keylogger - Educational rootkit driver intercepting keyboard IRPs for UDP logging. Demonstrates stealth persistence, …☆16Dec 4, 2025Updated 10 months ago
- Code repository for experiments in SpecROP paper☆13Sep 3, 2021Updated 5 years ago
- ☆21Jul 24, 2026Updated 3 months 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
- ☆16Mar 5, 2024Updated 2 years ago
- a simple POC of spectre_RSB☆13Jul 9, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Software artifacts for "UC-Check: Characterizing Micro-operation Caches in x86 Processors and Implications in Security and Performance" (…☆10Dec 27, 2021Updated 4 years ago
- A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes☆46Sep 2, 2023Updated 3 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
- ☆25Aug 10, 2026Updated 2 months ago
- A static analyzer to generate Choreography Automata from Erlang source.☆12Dec 30, 2025Updated 9 months ago
- NEON implementation of NIST lattice-based PQC finalists☆25Oct 15, 2021Updated 5 years ago
- Side-channel traces visualizer☆17Apr 28, 2025Updated last year
- ☆12Apr 22, 2023Updated 3 years ago
- Python control library for the Faultier fault-injection tool.☆19Sep 17, 2025Updated last year
- 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.
- 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 8 months ago
- ExtendJ is a Java compiler implemented in reference attribute grammars using JastAdd.☆14Oct 3, 2026Updated 3 weeks ago
- ☆20Nov 27, 2023Updated 2 years ago
- A summary of my projects☆48Oct 8, 2026Updated 2 weeks ago
- MLKEM implementation optimized for embedded microcontrollers☆30Dec 1, 2025Updated 10 months ago
- DyLean, a framework for the symbolic analysis of cryptographic protocols☆22Oct 15, 2026Updated last week
- ☆10Aug 28, 2020Updated 6 years ago