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
- Minimal OpenMSP430 hardware extensions for isolation and attestation☆24May 19, 2025Updated last year
- A basic UNIX shell implementation in C☆34Oct 2, 2019Updated 6 years ago
- ☆15Sep 14, 2022Updated 3 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 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A migration for the page table entry based side-channel attack agains SGX enclaves.☆19Feb 10, 2025Updated last year
- 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 8 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
- ⨝ Mandatory Access Control for SQLite databases☆15Oct 11, 2016Updated 9 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
- DEciding Equivalence Properties in SECurity protocols☆22Mar 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…☆14Updated this week
- CVE-2015-2231 POC☆10Sep 8, 2015Updated 10 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- High Speed elliptic curve signature system using a 260-bit Granger Moss Prime.☆14Jun 3, 2021Updated 5 years ago
- ☆17Jun 25, 2017Updated 9 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
- Protecting user secrets from compromised browsers and operating systems☆18Sep 14, 2018Updated 7 years ago
- Microbenchmarks for x86_64 kernel entry methods☆20Feb 21, 2022Updated 4 years ago
- Userspace USB driver for CAN to USB adapters - based on the Kvaser canlib API☆19Feb 22, 2020Updated 6 years ago
- Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software☆45Aug 12, 2016Updated 9 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Kernel Mode WebAssembly Runtime for Linux☆52Jan 15, 2020Updated 6 years ago
- ☆16Sep 20, 2022Updated 3 years ago
- An interactive notebook for understanding the relation between mutual information, perceived and hypothetical information☆12Feb 28, 2020Updated 6 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 5 years ago
- Mirror of my Go Kyber implementation.☆16May 30, 2018Updated 8 years ago
- Learning algorithms and drivers for a dynamixel based walking robot developed at Cornell.☆22Mar 5, 2015Updated 11 years ago
- CAN Bus Voltage Dataset for the SIMPLE paper☆12Oct 2, 2019Updated 6 years ago
- Bot Detection by Building Markov Chain Models of Bots Network Behavior☆16Feb 6, 2021Updated 5 years ago
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆14Apr 19, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆13Jun 19, 2019Updated 7 years ago
- Constant-time choose between two variables in Clang/LLVM☆21Apr 14, 2018Updated 8 years ago
- API and examples for using ZeroBorg☆13Jul 1, 2016Updated 10 years ago
- OpenCCA: An Open Framework to Enable Arm CCA Research☆23Sep 10, 2025Updated 10 months 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/☆18Aug 5, 2015Updated 10 years ago
- This is the code for the Pluto framework to assess data exposure by an Android app to an advertising library. The framework was presented…☆13Jan 23, 2018Updated 8 years ago