Alternatives and similar repositories for RATA:

Users that are interested in RATA are comparing it to the libraries listed below

• sprout-uci / vrased
  ☆18Updated 2 years ago
• sslab-gatech / t-sgx
  Compiler-based tool that protects Intel SGX applications against controlled-channel attacks
  ☆27Updated 7 years ago
• donnod / linux-sgx-mage
  ☆17Updated 2 years ago
• kgoldman / acs
  TPM attestation client and server for TPM 20. and TPM 1.2, including enrollment, attestation, and a web UI.
  ☆14Updated 2 months ago
• CCC-Attestation / attested-tls-poc
  Miscellaneous materials related to the "attested TLS" proof-of-concept
  ☆18Updated last year
• shwetasshinde24 / Panoply
  Low-TCB Linux Applications with SGX Enclaves
  ☆36Updated 5 years ago
• jasonyu1996 / elasticlave
  ☆23Updated last month
• Fraunhofer-AISEC / cmc
  The Connector Measurement Component (CMC) repository provides tools and software to enable remote attestation of computing platforms.
  ☆17Updated this week
• tamarin-prover / teaching
  Teaching materials related to the Tamarin Prover
  ☆70Updated 7 months ago
• veraison / corim
  CoRIM and CoMID manipulation library and CLI
  ☆11Updated this week
• AuthenticExecution / .github
  Artifacts and documentation of the TOPS journal paper End-to-End Security for Distributed Event-driven Enclave Applications on Heterogene…
  ☆11Updated last year
• sconecontainers / sconecontainers.github.io
  Scone Website
  ☆11Updated 2 months ago
• jovanbulck / sgx-pte
  Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution
  ☆30Updated 6 years ago
• pwnall / sanctum
  Minimal RISC Extensions for Isolated Execution
  ☆52Updated 5 years ago
• jovanbulck / sgx-tutorial-space18
  Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves
  ☆52Updated 2 weeks ago
• acmccs / format
  ACM consolidated LaTeX styles
  ☆66Updated 5 years ago
• ibr-ds / sgx-perf
  High-level performance analyser toolkit for Intel SGX
  ☆39Updated 5 years ago
• sectrs-acai / acai
  Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)
  ☆26Updated last year
• martonbognar / gap-attacks
  The top repository for the code accompanying our paper "Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Executi…
  ☆13Updated 2 years ago
• CactiLab / BYOTee-Build-Your-Own-TEEs
  ☆20Updated last year
• secartifacts / secartifacts.github.io
  Website for Research Artifacts from the Security Community
  ☆18Updated this week
• benjaminkiesl / tamarin_toy_protocol
  A set of exercises for getting started with the Tamarin prover
  ☆19Updated last year
• Fraunhofer-AISEC / DATA
  Differential Address Trace Analysis
  ☆55Updated last year
• light1021 / SGX-protected-fs-demo
  SGX protected filesystem demo
  ☆12Updated 7 years ago
• spcl / sage
  ☆27Updated last year
• AMDESE / sev-guest
  Tools, scripts, and configuration files necessary to demonstrate an end-to-end remote attestation example with SEV-SNP.
  ☆57Updated last year
• jgetfun / side-channel-attack
  A demo of Flush-Reload style Side-channel attack.
  ☆10Updated 6 years ago
• sev-step / sev-step
  This repo tracks a compatible state of all sev step components and contains script to easily install everything required to setup a sev v…
  ☆39Updated last year
• tls13tamarin / TLS13Tamarin
  This is a Tamarin model of TLS 1.3
  ☆35Updated last year
• Secure-AI-Systems-Group / Mastik
  GitHub (mirror) repository for the Mastik toolkit, written by Yuval Yarom https://cs.adelaide.edu.au/~yval/Mastik/
  ☆37Updated 5 years ago