Alternatives and similar repositories for format

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

• donnod / linux-sgx-mage
  ☆19Updated 2 years ago
• jovanbulck / sgx-tutorial-space18
  Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves
  ☆51Updated 5 months ago
• ftramer / slalom
  Fast, Verifiable and Private Execution of Neural Networks in Trusted Hardware
  ☆166Updated 2 years ago
• sslab-gatech / sgx-tutorial-ccs17
  SGX Tutorial at CCS17: SGX Security and Privacy
  ☆86Updated 7 years ago
• puzhuoliu / Computer-Security-Conference-Acceptance-Rate
  Statistics of acceptance rate for the top conferences: Oakland, CCS, USENIX Security, NDSS.
  ☆172Updated 2 weeks ago
• sec-deadlines / sec-deadlines.github.io
  Deadline countdowns for academic conferences in Security and Privacy
  ☆745Updated last week
• samee / sqrtOram
  ☆13Updated 7 years ago
• tamarin-prover / teaching
  Teaching materials related to the Tamarin Prover
  ☆70Updated last year
• sslab-gatech / t-sgx
  Compiler-based tool that protects Intel SGX applications against controlled-channel attacks
  ☆27Updated 8 years ago
• ibr-ds / sgx-perf
  High-level performance analyser toolkit for Intel SGX
  ☆39Updated 6 years ago
• jaebaek / SGX-Shield
  SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs
  ☆48Updated 7 years ago
• shwetasshinde24 / Panoply
  Low-TCB Linux Applications with SGX Enclaves
  ☆37Updated 6 years ago
• bl4ck5un / mbedtls-SGX
  mbedtls-SGX: a SGX-friendly TLS stack (ported from mbedtls)
  ☆91Updated 5 years ago
• digawp / hello-enclave
  A "Hello World" Intel SGX enclave program
  ☆91Updated 4 years ago
• uni-due-syssec / teerex-exploits
  PoC exploits against various SGX enclaves
  ☆14Updated 3 years ago
• 0tcb / TAP
  ☆21Updated 2 years ago
• ya0guang / PoBF
  Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.
  ☆20Updated 2 years ago
• StanPlatinum / Deflection
  Practical and Efficient in-TEE Verification of Privacy Compliance
  ☆46Updated 7 months ago
• pwnall / sanctum
  Minimal RISC Extensions for Isolated Execution
  ☆53Updated 6 years ago
• HexHive / pubstats
  ☆32Updated 4 months ago
• acsl-technion / cosmix
  A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves
  ☆28Updated 4 years ago
• sprout-uci / RATA
  On the TOCTOU Problem in Remote Attestation
  ☆15Updated last year
• landoxy / intel-sgx-deep-learning
  Deep Learning with Intel SGX
  ☆23Updated 6 years ago
• Sanghyun-Hong / DeepRecon
  [arXiv'18] Security Analysis of Deep Neural Networks Operating in the Presence of Cache Side-Channel Attacks
  ☆21Updated 5 years ago
• benhaz1024 / raspbian-tee
  Raspbian with OP-TEE support.
  ☆27Updated 6 years ago
• shwetasshinde24 / BesFS
  A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
  ☆17Updated 5 years ago
• Shouling / SANDP
  Seminar 2016
  ☆25Updated last year
• Beerkay / IoTResearch
  IoT Reading List (IoT research papers from 2016 to 2019)
  ☆85Updated 6 years ago
• SSGAalto / sgx-migration
  A library and an application to provide migratable primitives for SGX enclaves.
  ☆21Updated 5 years ago
• IoTBench / IoTBench-test-suite
  A micro-benchmark suite to assess the effectiveness of tools designed for IoT apps
  ☆67Updated 5 years ago