sancus-tee / vulcanView external linksLinks
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
Sorting:
- Building Distributed Enclave Applications with Sancus and SGX☆16Dec 9, 2020Updated 5 years ago
- ☆15Sep 14, 2022Updated 3 years ago
- DEciding Equivalence Properties in SECurity protocols☆20Mar 1, 2023Updated 2 years ago
- A replication of the Baldur's Gate 3 Script Extender for MacOS☆22Updated this week
- 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
- Python infrastructure to train paths selectors for symbolic execution engines.☆11Feb 6, 2026Updated last week
- Red-Team - AI Agent to Phish Employees based on Social Intelligence.☆22Dec 28, 2025Updated last month
- Mona robot's basic functions and test code in Arduino☆11Jan 3, 2019Updated 7 years ago
- A comprehensive repository for malware analysis and threat intelligence, including Cobalt Strike Beacon configurations, YARA rules, IOCs,…☆14Oct 23, 2025Updated 3 months ago
- headless-ida-mcp-server☆28Apr 4, 2025Updated 10 months ago
- OpenCCA: An Open Framework to Enable Arm CCA Research☆19Sep 10, 2025Updated 5 months ago
- "PLI-TDC: Super Fine Delay-Time Based Physical-Layer Identification with Time-to-Digital Converter for In-Vehicle Networks" ACM ASIACCS 2…☆13Jun 28, 2024Updated last year
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Oct 3, 2022Updated 3 years ago
- Order a motorized throttle body for gasoline engines with an electronic pedal and an arduino Commander un boitier papillon motorisé des m…☆15Jul 6, 2025Updated 7 months ago
- Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software☆45Aug 12, 2016Updated 9 years ago
- A tool which tries to map CVEs from NVD to packages in supported ecosystems (Maven, NPM, PyPI).☆12Jul 12, 2025Updated 7 months ago
- I am still working on it☆12Apr 30, 2020Updated 5 years ago
- Microbenchmarks for x86_64 kernel entry methods☆20Feb 21, 2022Updated 3 years ago
- Some collection of router firmware tools☆11Aug 4, 2020Updated 5 years ago
- CVE-2015-2231 POC☆10Sep 8, 2015Updated 10 years ago
- The code and dataset for the paper HOLMES & WATSON: A Robust and Lightweight HTTPS Website Fingerprinting through HTTP Version Parallelis…☆13May 30, 2025Updated 8 months ago
- ☆13May 5, 2018Updated 7 years ago
- ☆10Jul 9, 2020Updated 5 years ago
- Compiler Fingerprinting☆14Apr 24, 2015Updated 10 years ago
- [NAACL 2025] LLM-Supported Natural Language to Bash Translation☆16Jul 17, 2025Updated 6 months ago
- This is a project I'm using to learn Rust and binary analysis.☆11Jan 20, 2022Updated 4 years ago
- "Porting Syzkaller to ReactOS" GSoC 2020 Project by @freakston☆14Aug 4, 2020Updated 5 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- ☆15May 6, 2021Updated 4 years ago
- ⨝ Mandatory Access Control for SQLite databases☆14Oct 11, 2016Updated 9 years ago
- Implement CollAFL using LLVM LTO pass on afl++.☆12Sep 24, 2020Updated 5 years ago
- ☆13Jun 19, 2019Updated 6 years ago
- LLM Security Guard for Code☆20Sep 8, 2024Updated last year
- The Software of NoBox's Line Follow robot☆11Sep 26, 2020Updated 5 years ago
- Easy to understand self-driving example for MonsterBorg☆11Oct 29, 2019Updated 6 years ago
- Sparkduino - Arduino based engine ignition system forked from Speeduino☆13Oct 10, 2018Updated 7 years ago
- Automatic analysis of SpiderMonkey and Firefox bugs on Bugzilla☆11Feb 5, 2026Updated last week
- 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 3 months ago
- General PID controller approximations for closed loop control projects☆14Jan 6, 2019Updated 7 years ago