dedis / DeterminatorLinks
Experimental operating system for deterministic parallel computing
☆37Updated 10 years ago
Alternatives and similar repositories for Determinator
Users that are interested in Determinator are comparing it to the libraries listed below
Sorting:
- Secure Virtual Architecture☆42Updated 6 years ago
- Security-Oriented Analysis of Application Programs☆13Updated 7 years ago
- Formal verification of SecVisor, a secure hypervisor☆13Updated 12 years ago
- ☆113Updated last year
- Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.☆66Updated 2 months ago
- Operating system demonstrating system transactions☆17Updated 8 years ago
- dthreads: Efficient Deterministic Multithreading☆70Updated 11 years ago
- A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…☆70Updated 8 years ago
- Basic tools for building seL4 projects☆53Updated last month
- The Secure Block Device Library is a software library that applies cryptographic confidentiality and integrity protection, including data…☆36Updated 8 years ago
- The Bear Operating System☆24Updated 8 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 7 years ago
- Memory access tracing QEMU☆99Updated 9 years ago
- KLEE in the browser☆54Updated 2 weeks ago
- Compiler intermediate language for static analysis.☆107Updated 7 years ago
- ikgt manifest☆42Updated 3 years ago
- collection of C/C++ programs that try to get compilers to exploit undefined behavior☆188Updated 6 years ago
- Steps to build the Linux kernel using Clang☆102Updated 4 years ago
- HiStar operating system (not under active development)☆32Updated 7 years ago
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 7 years ago
- Update of original etrace program.☆68Updated 2 years ago
- Trust Zone Project☆21Updated 11 years ago
- A forked and hardened version of PartitionAlloc from Chrome's Blink engine☆66Updated 7 years ago
- ☆38Updated 8 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆31Updated 10 years ago
- Picon☆39Updated 8 years ago
- A dynamic data race detector for programs☆15Updated 10 years ago
- This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype Pers…☆55Updated 8 years ago
- An automatic generator of basic unit tests for a C/C++ library☆87Updated 6 years ago
- A fast secure userspace pseudorandom number generator☆83Updated 11 years ago