Repositories
TitusVM/recensement
TitusVM/asn1_decoder
Formats ASN.1 to be verifiable (human-readable)
TitusVM/ska-analyzer
TitusVM/cert_parser
Turn a x509 certificate in PEM format into a json string.
TitusVM/emrtd_biometric_data_extractor
A command-line tool and web app for extracting facial and fingerprint images from DG2 and respectively DG3 descriptor files using the tsemrtd library.
TitusVM/nbis_image_converter
Small Spring API to convert WSQ and JP2 files to PNG
TitusVM/template-latex
LaTeX template for MSE semester and thesis reports
TitusVM/wasm_rpn_calc
A Calculator in RPN built to illustrate the WASM Component Model
TitusVM/wasmtime
A fast and secure runtime for WebAssembly
TitusVM/hello-wasi-http
TitusVM/wasmshield
Tools for verifying Web Assembly components
TitusVM/rustsec
RustSec API & Tooling
TitusVM/large_dependency_project
TitusVM/wasmadder
Tool to add a custom section on a WebAssembly module
TitusVM/cargo-vet
supply-chain security for Rust
TitusVM/composition_checker
This small application can extract all the WASM components from a `wac` composition and check if they are signed. It will also check if the composition is signed.
TitusVM/wasm_composition_runtime
A Runtime that will compose components and then execute the resulting composition (WIP)
TitusVM/icr-mp-impl
SafeStore, a safe filesystem relying on privacy by design
TitusVM/TitusVM
TitusVM/hello_sbom
TitusVM/icr
TitusVM/unreal_platformer
TitusVM/PocketMTG
HP counting and other Tools for playing Magic The Gathering IRL
TitusVM/oauth2-rs-sgx
Extensible, strongly-typed Rust OAuth2 client library (fitted for usage in an SGX environment)
TitusVM/oxide-auth-sgx
A OAuth2 server library, for use in combination with actix or other frontends, featuring a set of configurable and pluggable backends.
TitusVM/http-sgx
Rust HTTP types
TitusVM/quote-sgx
Rust quasi-quoting
TitusVM/proc-macro2-sgx
TitusVM/serde-sgx
Serialization framework for Rust