Zephyr Eclipse Plugin

Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a formally verified and auditable firmware.

Toolkit for Over-the-Air Secure Updates and Performance Evaluation of TinyML Models

Fuzzing Embedded Systems using Hardware Breakpoints

Dynamic linker for Cortex-M MCUs

Verification of MQV-Based Protocols

Awesome SGX and TEE on Blockchain Resources

HSS/LMS Hash-based Digital Signatures

Cryptographic signature algorithms: DSA, ECDSA, Ed25519

SGX-ready Enclaive Docker Image for Eclipse Mosquitto

This repository contains the hardware design source files of the Hex Five X300 RISC-V SoC. The X300 is Hex Five's official reference HW platform for its MultiZone Trusted Execution Environment and …

Guide on how to set-up Linux and Docker for real-time applications using the Ubuntu realtime-kernel/PREEMPT_RT patch with a focus on robotics with ROS and ROS 2

Improve your resumes with Resume Matcher. Get insights, keyword suggestions and tune your resumes to job descriptions.

SDK for developing enclaves

Clean, portable, tested implementations of post-quantum cryptography

A full-featured implementation of of the LMS and HSS Hash Based Signature Schemes from draft-mcgrew-hash-sigs-07.

The development version of the L4Re Microkernel

Microkernel-based system for heterogeneous manycores

Cryptographic Primitive Code Generation by Fiat

Ariel OS is a library operating system for secure, memory-safe, low-power Internet of Things, written in Rust

eBPF-based Networking, Security, and Observability

Cloud native networking and network security

A tool for secrets management, encryption as a service, and privileged access management

SimpleLink Low Power F2 SDK

Spring Boot backend for a project management application focusing on feature-driven development (FDD)

Website and PoC collection for transient execution attacks

Enarx: Confidential Computing with WebAssembly

Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workl…

Shadow is a discrete-event network simulator that directly executes real application code, enabling you to simulate distributed systems with thousands of network-connected processes in realistic an…