juppytt

juppytt's Stars

• zephyrproject-rtos/zephyr

  Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

  Language:C11.1k40923.4k6.8k

• microsoft/verona

  Research programming language for concurrent ownership

  Language:C++3.6k109165166

• apache/incubator-teaclave

  Apache Teaclave (incubating) is an open source universal secure computing platform, making computation on privacy-sensitive data safe and simple.

  Language:Rust76854219159

• ARM-software/lisa

  Linux Integrated System Analysis

  Language:Jupyter Notebook20338144119

• veracruz-project/veracruz

  Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).

  Language:Rust1911117939

• lzto/pex

  [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel

  Language:C++752520

• qlyoung/lagopus

  Distributed fuzzing platform

  Language:Python46435