Software artifacts for "UC-Check: Characterizing Micro-operation Caches in x86 Processors and Implications in Security and Performance" (MICRO 2021)
☆10Dec 27, 2021Updated 4 years ago
Alternatives and similar repositories for UC-Check
Users that are interested in UC-Check are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The code in this project demonstrates 2 novel Spectre-V4 attacks, named as out-of-place Spectre-STL and Spectre-CTL, based on the Specula…☆23Nov 23, 2023Updated 2 years ago
- Medusa Repository: Transynther tool and Medusa Attack☆19Jul 14, 2020Updated 6 years ago
- ☆18Aug 25, 2022Updated 3 years ago
- Rage Against The Machine Clear: A Systematic Analysis of Machine Clears and Their Implications for Transient Execution Attacks☆24Jun 11, 2021Updated 5 years ago
- ☆18Nov 27, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- NeuroSync: A Scalable and Accurate Brain Simulation System using Safe and Efficient Speculation (HPCA 2022)☆14Nov 9, 2022Updated 3 years ago
- Microarchitectural control flow integrity (𝜇CFI) verification checks whether there exists a control or data flow from instruction's ope…☆16Jul 2, 2026Updated 3 weeks ago
- AutoCAT: Reinforcement Learning for Automated Exploration of Cache-Timing Attacks☆48May 19, 2023Updated 3 years ago
- 总结和比较目前发表的处理单细胞空间转录组学(Spatial Transcriptomic)的 聚类方法。Conclusion and comparison of the current clustering method for ST data.☆12May 31, 2023Updated 3 years ago
- Training in Transient Execution and PhantomCALL, from Inception (SEC'23) Artifacts.☆40Feb 19, 2024Updated 2 years ago
- A transfer function widget implemented using ImGui☆19May 7, 2022Updated 4 years ago
- Ansible playbooks that will without any user interaction provision Check Point Security Management server (SM) or Multi-Domain Management…☆11Jan 28, 2022Updated 4 years ago
- Open-source textbook about CHERI capabilities, for a developer audience☆18Apr 16, 2026Updated 3 months ago
- x86 JIT playground for documenting and exploring microarchitectural implementation details☆43Jun 11, 2026Updated last month
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Checkpoint 401 Forward Auth Security Server.☆17Apr 25, 2026Updated 2 months ago
- The artifact for SecSMT paper -- Usenix Security 2022☆30Oct 4, 2022Updated 3 years ago
- A Gradle plugin for checking whether an .apk or an .aar contains OpenSSL versions with known vulnerabilities☆13Nov 28, 2016Updated 9 years ago
- Parallel git worktrees for parallel AI agents — plus AI-generated commits.☆18Jul 1, 2026Updated 3 weeks ago
- Special purpose PowHSM firmware for the RSK PowPeg.☆18Updated this week
- Proof-of-concept for I See Dead Micro-Ops transient execution attack☆15Nov 3, 2021Updated 4 years ago
- ☆11Nov 27, 2024Updated last year
- IronWASP module to test security of SSL services. Ported from http://www.bolet.org/TestSSLServer/☆12Sep 2, 2013Updated 12 years ago
- A D3 visualisations of web browsers commits☆26Updated this week
- 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.
- Check for HTTP Security Headers☆14Aug 17, 2015Updated 10 years ago
- Looks up details on a public IPV4 address against ip-info and blacklist-search sites. Providing a reputation check.☆11Oct 16, 2021Updated 4 years ago
- Check Safety of SSH Public Keys☆12Oct 8, 2022Updated 3 years ago
- A tool evaluates security configurations of a given PE based on SDL without source code☆15Jul 6, 2014Updated 12 years ago
- Championship Value Prediction (CVP) simulator.☆17Feb 17, 2021Updated 5 years ago
- NKU并行程序设计课程代码☆10Feb 18, 2023Updated 3 years ago
- This project builds the kernel, nsm driver and bootstrap process for AWS Nitro Enclaves.☆24Feb 24, 2025Updated last year
- ddos-checker is a tool used to perform a test on a website from a DDOS attack to find security gaps in a website.☆14Oct 16, 2025Updated 9 months ago
- Checking for leaked passwords through haveibeenpwned v2 API using the hash-range checker☆12Feb 7, 2024Updated 2 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.
- Elf checksec in Go.☆13May 10, 2022Updated 4 years ago
- 基于蒙特卡洛树搜索算法编写的黑白棋AI算法☆12Mar 28, 2022Updated 4 years ago
- 3D-FPIM: An Extreme Energy-Efficient DNN Acceleration System Using 3D NAND Flash-Based In-Situ PIM Unit (MICRO 2022)☆26May 19, 2023Updated 3 years ago
- Jam3 quality advisor. Integrates checking for best practices at Jam3☆12Apr 21, 2023Updated 3 years ago
- Linux kernel modules written in Rust☆31Nov 12, 2021Updated 4 years ago
- BSentry is a comprehensive collection of additional security checks designed to enhance your Burp Suite experience.☆12Aug 16, 2024Updated last year
- The ImageMagick Security Policy Evaluator allows developers and security experts to check if an XML Security Policy is hardened against a…☆19Feb 6, 2023Updated 3 years ago