Alternatives and similar repositories for format

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

• jovanbulck / sgx-tutorial-space18
  Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves
  ☆54Updated 9 months ago
• sslab-gatech / sgx-tutorial-ccs17
  SGX Tutorial at CCS17: SGX Security and Privacy
  ☆86Updated 8 years ago
• donnod / linux-sgx-mage
  ☆21Updated 3 years ago
• ya0guang / PoBF
  Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.
  ☆21Updated 2 years ago
• puzhuoliu / Computer-Security-Conference-Acceptance-Rate
  Statistics of acceptance rate for the top conferences: Oakland, CCS, USENIX Security, NDSS.
  ☆207Updated 2 months ago
• sslab-gatech / t-sgx
  Compiler-based tool that protects Intel SGX applications against controlled-channel attacks
  ☆27Updated 8 years ago
• sec-deadlines / sec-deadlines.github.io
  Deadline countdowns for academic conferences in Security and Privacy
  ☆789Updated 2 weeks ago
• jaebaek / SGX-Shield
  SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs
  ☆48Updated 7 years ago
• ftramer / slalom
  Fast, Verifiable and Private Execution of Neural Networks in Trusted Hardware
  ☆171Updated 2 years ago
• tamarin-prover / teaching
  Teaching materials related to the Tamarin Prover
  ☆71Updated last year
• bl4ck5un / mbedtls-SGX
  mbedtls-SGX: a SGX-friendly TLS stack (ported from mbedtls)
  ☆91Updated 6 years ago
• pwnall / sanctum
  Minimal RISC Extensions for Isolated Execution
  ☆54Updated 6 years ago
• mofanv / darknetz
  runs several layers of a deep learning model in TrustZone
  ☆93Updated last year
• acsl-technion / cosmix
  A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves
  ☆29Updated 4 years ago
• ibr-ds / sgx-perf
  High-level performance analyser toolkit for Intel SGX
  ☆39Updated 6 years ago
• OSUSecLab / vSGX
  The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper
  ☆57Updated 2 years ago
• Sanghyun-Hong / DeepRecon
  [arXiv'18] Security Analysis of Deep Neural Networks Operating in the Presence of Cache Side-Channel Attacks
  ☆20Updated 5 years ago
• uni-due-syssec / teerex-exploits
  PoC exploits against various SGX enclaves
  ☆14Updated 3 years ago
• Qi-Pang / MPCDiff
  This repository contains the evaluation code for the NDSS 2024 paper: MPCDIFF: Testing and Repairing MPC-Hardened Deep Learning Models.
  ☆15Updated 2 years ago
• StanPlatinum / Deflection
  Practical and Efficient in-TEE Verification of Privacy Compliance
  ☆45Updated 11 months ago
• sangfansh / SGX101_sample_code
  ☆61Updated last year
• shwetasshinde24 / Panoply
  Low-TCB Linux Applications with SGX Enclaves
  ☆37Updated 6 years ago
• control-flow-attestation / c-flat
  Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software
  ☆45Updated 9 years ago
• benhaz1024 / raspbian-tee
  Raspbian with OP-TEE support.
  ☆30Updated 6 years ago
• cascremers / scyther
  The Scyther Tool for the symbolic analysis of security protocols
  ☆105Updated 3 months ago
• digawp / hello-enclave
  A "Hello World" Intel SGX enclave program
  ☆91Updated 5 years ago
• SSGAalto / sgx-migration
  A library and an application to provide migratable primitives for SGX enclaves.
  ☆22Updated 5 years ago
• mustakimur / COIN-Attacks
  COIN Attacks: on Insecurity of Enclave Untrusted Interfaces in SGX - ASPLOS 2020
  ☆26Updated 3 years ago
• light1021 / SGX-protected-fs-demo
  SGX protected filesystem demo
  ☆12Updated 8 years ago
• samee / sqrtOram
  ☆13Updated 7 years ago