Formal verification of SecVisor, a secure hypervisor
☆14Apr 23, 2013Updated 13 years ago
Alternatives and similar repositories for secvisor-formal-verification
Users that are interested in secvisor-formal-verification are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype Pers…☆57Jul 7, 2017Updated 9 years ago
- Modified Nexus 9 kernel for Kenali Project☆30Aug 5, 2019Updated 7 years ago
- Open-source release for MemSentry (EuroSys'17)☆47May 5, 2021Updated 5 years ago
- Flowcaml compiler☆18Apr 11, 2013Updated 13 years ago
- Public release of the tools used to assist in gadget finding.☆42Jan 29, 2018Updated 8 years ago
- AI Agents on 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.
- Compartmentalization using hardware and software techniques.☆13Aug 28, 2025Updated last year
- Port of linux kernel jump labels to userspace. Uses GCC goto asm extension.☆19Aug 14, 2014Updated 12 years ago
- ☆29Jul 27, 2020Updated 6 years ago
- Demonstration NATting unikernel.☆29Jul 8, 2016Updated 10 years ago
- OnePlus 5/5T MSM8998 kernel source for halogenOS and TWRP☆12Aug 8, 2026Updated 2 months ago
- Writing a hypervisor in Rust☆10Apr 1, 2025Updated last year
- bareflank based hypervisor with guest support☆63Sep 10, 2020Updated 6 years ago
- Intel Kernel Guard Technology Core Repo☆58Apr 8, 2024Updated 2 years ago
- Wipe or locate Android device on receipt of signed SMS☆12Jun 15, 2016Updated 10 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 一图官网☆11Apr 29, 2017Updated 9 years ago
- Exercises in implementing regular-expression search☆32Jan 21, 2016Updated 10 years ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆111Aug 18, 2022Updated 4 years ago
- Support UEFI load☆11Oct 1, 2015Updated 11 years ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆54Jan 6, 2023Updated 3 years ago
- QEMU bare metal test for validating TrustZone support☆11Apr 23, 2015Updated 11 years ago
- 经典算法、笔试题☆12Sep 15, 2018Updated 8 years ago
- Imandra Contracts - Formal verification of smart contracts☆31Nov 1, 2016Updated 10 years ago
- Rust firewall for seL4☆11Jun 20, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A clang wrapper for musl C library. Pretty hacky, I know.☆34Feb 23, 2015Updated 11 years ago
- Interactive Control Flow Graph Visualization.☆34Sep 27, 2021Updated 5 years ago
- ☆12Dec 21, 2016Updated 9 years ago
- ☆10Apr 8, 2018Updated 8 years ago
- JavaScript Public-Key-Pins (HPKP) calculator☆11Jan 2, 2016Updated 10 years ago
- An executable specification of the RISCV ISA in L3.☆44Mar 1, 2019Updated 7 years ago
- A library for performing memory forensics over the IEEE 1394 interface.☆19Jul 8, 2018Updated 8 years ago
- Adds another code segment to an existing program. Experimental: can take in ELF-compiled stuff.☆19Mar 4, 2016Updated 10 years ago
- Libraries for Google Apps Scripts☆11Feb 22, 2026Updated 8 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A toy nanopass compiler for x86 written in lean☆15Oct 25, 2025Updated last year
- Deploy Lotus via K8S platform. It's not product ready, just Develop environment.☆10Feb 28, 2020Updated 6 years ago
- A MPD controller for Vim☆13Aug 7, 2010Updated 16 years ago
- An updated version Lady Ada's Wavebubble☆11May 30, 2013Updated 13 years ago
- LLVM optimization passes (DCE, LICM), compilers and stuff☆14Dec 10, 2020Updated 5 years ago
- ☆16Apr 11, 2023Updated 3 years ago
- NettyMVC is a lightweight IOC, MVC framework which based on netty http procotol☆10Jun 17, 2022Updated 4 years ago