SafeKeeper / safekeeper-chrome
The Chrome plugin for SafeKeeper password protection service.
☆12Updated 7 years ago
Alternatives and similar repositories for safekeeper-chrome:
Users that are interested in safekeeper-chrome are comparing it to the libraries listed below
- The server part of the SafeKeeper project.☆17Updated 6 years ago
- Minimal RISC Extensions for Isolated Execution☆52Updated 5 years ago
- A Tool for the Static Analysis of Cache Side Channels☆40Updated 8 years ago
- SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)☆32Updated 8 years ago
- SGX protected filesystem demo☆12Updated 7 years ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆104Updated 2 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆30Updated 5 years ago
- Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution☆31Updated 7 years ago
- An easy to use tool to stream hardware performance counters data as CSV☆28Updated 11 months ago
- This repo is used for managing conversations about Veraison features☆52Updated last year
- ☆35Updated 8 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Updated 5 years ago
- ☆18Updated 11 months ago
- Building Distributed Enclave Applications with Sancus and SGX☆13Updated 4 years ago
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆27Updated 7 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆100Updated 4 years ago
- Ferrite, a toolkit for developing file system crash-consistency models☆18Updated 8 years ago
- SDK for Keystone Enclave - ABI/SBI libraries and sample apps☆44Updated 2 years ago
- jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…☆26Updated 2 years ago
- Calculate AMD SEV/SEV-ES/SEV-SNP measurement for confidential computing☆63Updated 10 months ago
- ☆40Updated this week
- A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves☆28Updated 4 years ago
- An implementation of the IETF QUIC protocol in F*☆20Updated 5 years ago
- Tools, scripts, and configuration files necessary to demonstrate an end-to-end remote attestation example with SEV-SNP.☆57Updated last year
- Secure ZooKeeper using Intel SGX☆21Updated 8 years ago
- The Intel(R) Enhanced Privacy ID Software Development Kit☆30Updated 2 years ago
- Efficient TLS termination inside Intel SGX enclaves for existing applications☆105Updated 3 years ago
- 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
- Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready☆35Updated 3 years ago
- TLS implemented in f7☆43Updated 8 years ago