A microarchitectural leakage detection framework using dynamic instrumentation.
☆86Nov 15, 2025Updated 9 months ago
Alternatives and similar repositories for Microwalk
Users that are interested in Microwalk are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Proof-of-concept implementation for the paper "Reviving Meltdown 3a" (ESORICS 2023)☆17Sep 25, 2023Updated 2 years ago
- ☆14Apr 1, 2025Updated last year
- Software Artifacts for the paper "TDXdown: Single-Stepping and Instruction Counting Attacks against Intel TDX"☆19Oct 14, 2024Updated last year
- Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)☆33Aug 30, 2023Updated 3 years ago
- Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser☆65Aug 7, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Securing System Logs With Intel SGX☆17Mar 31, 2017Updated 9 years ago
- A Tool for the Static Analysis of Cache Side Channels☆43Mar 5, 2017Updated 9 years ago
- The open-source component of Prime+Scope, published at CCS 2021☆38Jul 18, 2023Updated 3 years ago
- Proof-of-concept implementation of the Obelix software hardening framework, based on LLVM.☆12May 22, 2024Updated 2 years ago
- GitHub (mirror) repository for the Mastik toolkit, written by Yuval Yarom https://cs.adelaide.edu.au/~yval/Mastik/☆42Sep 19, 2019Updated 6 years ago
- ☆37Mar 20, 2017Updated 9 years ago
- Website and PoC collection for transient execution attacks☆205Mar 9, 2024Updated 2 years ago
- Website for Research Artifacts from the Security Community☆34Aug 14, 2026Updated 3 weeks ago
- Checking that functions are constant time with Valgrind☆203Feb 26, 2017Updated 9 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.
- SIde-Channel Analysis toolKit: embedded security evaluation tools☆30Dec 31, 2021Updated 4 years ago
- ☆25Aug 9, 2021Updated 5 years ago
- A free and open source tool for Deep Learning Side Channel Analysis☆17Oct 31, 2019Updated 6 years ago
- ☆44Jul 19, 2023Updated 3 years ago
- Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels☆83Nov 3, 2025Updated 10 months ago
- dude, is my code constant time?☆212Mar 19, 2024Updated 2 years ago
- GOSTBOX -- A 95-byte program for the 256-byte Streebog/Kuznyechik S-Box.☆17Feb 20, 2021Updated 5 years ago
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆26May 23, 2017Updated 9 years ago
- This repository contains the code for our paper "Browser-based CPU Fingerprinting".☆48Oct 19, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Code repository for Coppelia tool☆23Nov 12, 2020Updated 5 years ago
- ☆67Mar 5, 2026Updated 6 months ago
- An automated toolkit to analyze and detect changes in secure hardware and cryptographic libraries. SCRUTINY provides high-level framework…☆20Jul 2, 2026Updated 2 months ago
- Proof-of-concept implementation for the paper "(M)WAIT for It: Bridging the Gap between Microarchitectural and Architectural Side Channel…☆29Nov 30, 2023Updated 2 years ago
- Source code of the paper "Lord of the Ring(s): Side Channel Attacks on the CPU On-Chip Ring Interconnect Are Practical"☆144Jul 10, 2021Updated 5 years ago
- Framework for in-VM test execution and monitoring, inspired by Sandsifter☆16Aug 5, 2026Updated last month
- Differential Address Trace Analysis☆62Mar 27, 2024Updated 2 years ago
- Virtual machine introspection library based on libvmi - parts of this work have been funded by Deutsche Forschungsgemeinschaft (DFG) – pr…☆32Mar 3, 2022Updated 4 years ago
- [arXiv'18] Security Analysis of Deep Neural Networks Operating in the Presence of Cache Side-Channel Attacks☆22Feb 19, 2020Updated 6 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.
- Implementation of differential fuzz testing for TLS handshake messages☆12Jul 2, 2021Updated 5 years ago
- HILA5 KEM/DEM. Reference and Optimized Implementations + NIST PQC Submission Documents☆18Apr 4, 2018Updated 8 years ago
- A tool for finding instruction-level equivalence between two functions.☆16Aug 26, 2025Updated last year
- An evolving Post-Quantum Cryptography (PQC) RISC-V extension architecture.☆17Jul 31, 2026Updated last month
- Cross-Domain DPA Attack on SAML11☆17Jul 14, 2019Updated 7 years ago
- Using Data Memory-Dependent Prefetchers to Leak Data at Rest☆39Sep 6, 2022Updated 4 years ago
- ☆13Sep 6, 2021Updated 5 years ago