Pinned Repositories
reilex
Symbolic execution engine using REIL (Reverse Engineering Intermediate Language)
angr
A powerful and user-friendly binary analysis platform!
cheri_rlbox
ctf-writeups
ctf-writeups of the most interesting ctf challenges I solve
enjhnsn2.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
EpicTreasure
extra_args
Rust macro to pass implicit args to functions (use with care)
flux
Refinement Types for Rust
hyper
An HTTP library for Rust
lucet
Lucet, the Sandboxing WebAssembly Compiler.
enjhnsn2's Repositories
enjhnsn2/tock
A secure embedded operating system for microcontrollers
enjhnsn2/enjhnsn2.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
enjhnsn2/flux
Refinement Types for Rust
enjhnsn2/runnt
enjhnsn2/spirit-island-template
A set of templates to help create fan made content for the board game Spirit Island.
enjhnsn2/hyper
An HTTP library for Rust
enjhnsn2/cheri_rlbox
enjhnsn2/rWasm
A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler
enjhnsn2/rlbox
Implementation of the RLBox sandboxing API
enjhnsn2/extra_args
Rust macro to pass implicit args to functions (use with care)
enjhnsn2/wabt
The WebAssembly Binary Toolkit
enjhnsn2/lucet
Lucet, the Sandboxing WebAssembly Compiler.
enjhnsn2/wasmtime-1
Fork of https://github.com/bytecodealliance/wasmtime for the Veracruz project.
enjhnsn2/veracruz
Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).
enjhnsn2/wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift
enjhnsn2/trace
A Rust procedural macro for tracing function execution
enjhnsn2/z3.rs
Rust bindings for the Z3 solver.
enjhnsn2/qemu
Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
enjhnsn2/angr
A powerful and user-friendly binary analysis platform!
enjhnsn2/ctf-writeups
ctf-writeups of the most interesting ctf challenges I solve
enjhnsn2/sigpwny-stuff
enjhnsn2/EpicTreasure
enjhnsn2/reilex
Symbolic execution engine using REIL (Reverse Engineering Intermediate Language)