Vehicular component authentication and software isolation
☆13Nov 29, 2021Updated 4 years ago
Alternatives and similar repositories for vulcan
Users that are interested in vulcan are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Building Distributed Enclave Applications with Sancus and SGX☆16Dec 9, 2020Updated 5 years ago
- ☆15Sep 14, 2022Updated 3 years ago
- Microbenchmarks for x86_64 kernel entry methods☆20Feb 21, 2022Updated 4 years ago
- CANvas is a fast and inexpensive automotive network mapper that can serve as a basis for many other security applications.☆30Apr 24, 2020Updated 5 years ago
- A migration for the page table entry based side-channel attack agains SGX enclaves.☆19Feb 10, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- OpenCCA: An Open Framework to Enable Arm CCA Research☆21Sep 10, 2025Updated 6 months ago
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆14Oct 30, 2025Updated 4 months ago
- The top repository for the code accompanying our paper "Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Executi…☆16Aug 3, 2022Updated 3 years ago
- DEciding Equivalence Properties in SECurity protocols☆20Mar 1, 2023Updated 3 years ago
- Implementation of cryptographic primitives in Go☆13Mar 13, 2023Updated 3 years ago
- "PLI-TDC: Super Fine Delay-Time Based Physical-Layer Identification with Time-to-Digital Converter for In-Vehicle Networks" ACM ASIACCS 2…☆14Feb 11, 2026Updated last month
- CVE-2015-2231 POC☆10Sep 8, 2015Updated 10 years ago
- ☆17Jun 25, 2017Updated 8 years ago
- High Speed elliptic curve signature system using a 260-bit Granger Moss Prime.☆14Jun 3, 2021Updated 4 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Protecting user secrets from compromised browsers and operating systems☆19Sep 14, 2018Updated 7 years ago
- Solution to harden TLS security by storing private keys and delegating operations to the Trused Execution Environment☆13Oct 10, 2022Updated 3 years ago
- A basic UNIX shell implementation in C☆34Oct 2, 2019Updated 6 years ago
- Artifacts and documentation of the TOPS journal paper End-to-End Security for Distributed Event-driven Enclave Applications on Heterogene…☆12Jan 4, 2024Updated 2 years ago
- Work space for golang.org/x/perf version 2☆20Nov 14, 2020Updated 5 years ago
- Mona robot's basic functions and test code in Arduino☆11Jan 3, 2019Updated 7 years ago
- Userspace USB driver for CAN to USB adapters - based on the Kvaser canlib API☆19Feb 22, 2020Updated 6 years ago
- ⨝ Mandatory Access Control for SQLite databases☆15Oct 11, 2016Updated 9 years ago
- Kernel Mode WebAssembly Runtime for Linux☆50Jan 15, 2020Updated 6 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software☆45Aug 12, 2016Updated 9 years ago
- The vOW4SIKE project provides C code that implements the parallel collision search algorithm by van Oorschot and Wiener (vOW). The algori…☆12May 25, 2021Updated 4 years ago
- Learning algorithms and drivers for a dynamixel based walking robot developed at Cornell.☆22Mar 5, 2015Updated 11 years ago
- Mirror of my Go Kyber implementation.☆16May 30, 2018Updated 7 years ago
- CAN Bus Voltage Dataset for the SIMPLE paper☆11Oct 2, 2019Updated 6 years ago
- Easy to understand self-driving example for MonsterBorg☆11Oct 29, 2019Updated 6 years ago
- ☆13Jun 19, 2019Updated 6 years ago
- Bot Detection by Building Markov Chain Models of Bots Network Behavior☆16Feb 6, 2021Updated 5 years ago
- Constant-time choose between two variables in Clang/LLVM☆20Apr 14, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆13Apr 19, 2023Updated 2 years ago
- General PID controller approximations for closed loop control projects☆14Jan 6, 2019Updated 7 years ago
- Bottom-up memory-safety for assembly language using symbolic execution☆17Feb 19, 2026Updated last month
- Minimal OpenMSP430 hardware extensions for isolation and attestation☆24May 19, 2025Updated 10 months ago
- ☆16Sep 20, 2022Updated 3 years ago
- TLS in Rust (eventually)☆21Mar 12, 2013Updated 13 years ago
- A taint tracing plugin for Valgrind, unofficial mirror for https://code.google.com/p/flayer/☆16Aug 5, 2015Updated 10 years ago