For paper Container-IMA: https://www.usenix.org/system/files/raid2019-luo.pdf
☆12Mar 12, 2020Updated 6 years ago
Alternatives and similar repositories for Container-IMA
Users that are interested in Container-IMA are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Nov 10, 2019Updated 6 years ago
- A library and an application to provide migratable primitives for SGX enclaves.☆22Feb 28, 2020Updated 6 years ago
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆26May 23, 2017Updated 8 years ago
- This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype Pers…☆54Jul 7, 2017Updated 8 years ago
- ☆11Feb 22, 2016Updated 10 years ago
- Code repository for the research paper "A Systematic Look at Ciphertext Side Channels on AMD SEV-SNP"☆13May 17, 2022Updated 3 years ago
- TWINE: An Embedded Trusted Runtime for WebAssembly. This is the repository that contains the source code of Twine and the related benchma…☆43Mar 14, 2024Updated 2 years ago
- ☆21Sep 7, 2022Updated 3 years ago
- ☆11Jun 10, 2024Updated last year
- Remote attestation for Trusted and Confidential Computing platforms (TPM, AMD SEV-SNP, Intel SGX/TDX)☆21Updated this week
- uber eXtensible Micro-Hypervisor Framework☆33Jun 19, 2024Updated last year
- TPM Remote Attestation protocol using go-tpm and gRPC☆28Dec 26, 2025Updated 2 months ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆22Feb 19, 2020Updated 6 years ago
- ☆42Feb 26, 2023Updated 3 years ago
- The server part of the SafeKeeper project.☆18Jul 12, 2018Updated 7 years ago
- Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs☆20Jul 4, 2024Updated last year
- Website for Research Artifacts from the Security Community☆31Mar 13, 2026Updated last week
- The Solo5 unikernel☆14Apr 10, 2019Updated 6 years ago
- Meta framework for providing digital provenance and integrity to documents.☆64Mar 4, 2025Updated last year
- ☆28Mar 4, 2025Updated last year
- Time_series_forecasting in R using ARIMA,Auto ARIMA ,Arimax and Holt Winters☆22Nov 14, 2017Updated 8 years ago
- ☆28Nov 24, 2021Updated 4 years ago
- SGX-aware container orchestrator☆36Mar 24, 2021Updated 4 years ago
- The Chrome plugin for SafeKeeper password protection service.☆12Apr 25, 2018Updated 7 years ago
- 工业控制系统中实时篡改TE传感器与PLC可编程逻辑控制之间的Modbus/TCP通信数据☆13Jun 17, 2019Updated 6 years ago
- ☆12Nov 25, 2016Updated 9 years ago
- SGXRay: a bounded verifier for Intel SGX enclaves☆13Sep 10, 2021Updated 4 years ago
- Synced with SGX101 gitbook.☆31Dec 7, 2023Updated 2 years ago
- ☆23Jun 23, 2023Updated 2 years ago
- Container building stuff☆16Mar 3, 2026Updated 3 weeks ago
- ☆14Dec 27, 2020Updated 5 years ago
- eAudit suite for recording provenance-related system calls on Linux☆20Jan 16, 2026Updated 2 months ago
- WaTZ: A Trusted WebAssembly Runtime Environment with Remote Attestation for TrustZone.☆32May 23, 2024Updated last year
- WASP Research Arena for Software☆12Jun 10, 2022Updated 3 years ago
- ☆12Jun 14, 2021Updated 4 years ago
- Modbus Client and Server written in Python-2.7☆17Dec 16, 2015Updated 10 years ago
- This project was conducted by the 10th KITRI BoB (Best of the Best), and recorded what we have done for vulnerability analysis of drones.☆11Dec 30, 2021Updated 4 years ago
- ☆26Nov 16, 2023Updated 2 years ago
- Simulating Industrial IoT with IGSS SCADA and Rasberry Pi, Attacking and fixing potential vulnerabilities☆13Jun 7, 2020Updated 5 years ago