
Explore ApeiroRA, an open-source toolbox for building a sovereign cloud-edge infrastructure as part of the EU's IPCEI initiative for digital autonomy.

Explore architectures and implementations for confidential computing, focusing on trusted I/O in secure environments.

Explore challenges and solutions for developing trustworthy Linux-based systems using open-source methodologies, focusing on security and reliability considerations.

Explore techniques for maintaining IOMMU domain persistence during kexec live updates, enhancing system stability and performance in Linux environments.

Explore techniques for enhancing script execution control and security in Linux systems. Learn about potential vulnerabilities and mitigation strategies.

Explore insights and key takeaways from the Buzz phenomenon, examining its impact and implications for technology and society.

Explore WebP CVE vulnerabilities in Flutter, assess impact across Android apps, and learn effective strategies for staying updated and implementing robust security measures.

Install and use jackalope fuzzer on MacOS to find vulnerabilities in binary programs. Learn cloning, compilation, command options, and practical fuzzing techniques.

Explore a framework for sandboxing OCaml features to automate grading of programming exercises, including feature restriction, mock IO system, and security considerations.

Explore runtime detection of data races in OCaml using ThreadSanitizer. Learn core principles, challenges, adaptations, and practical application for reliable parallel code development.

Explore a systematic approach to teaching Rust's ownership types, featuring a new assessment tool, conceptual model, and visualizations to improve learner understanding of memory safety concepts.

Explore Verus, an SMT-based tool for formally verifying Rust programs. Learn how it leverages Rust's linear types and borrow checking to prove functional correctness in low-level, high-assurance systems.

Explore prefix-guided execution for accelerating coverage-guided fuzzing, improving bug detection and code coverage in software testing through early termination of unlikely tests.

Explore Wasm-prechk, a WebAssembly extension using indexed types for enhanced static safety. Learn about performance gains, type safety proofs, and implementation trade-offs in this innovative approach.

Explore Flux, a refined type system for Rust that enhances verification of low-level pointer programs. Learn how it combines logical refinements with Rust's ownership mechanisms for efficient and ergonomic type-based verification.

Explore Taype, a novel language for secure multiparty computation that decouples security policies from program logic. Learn about oblivious algebraic data types and tape semantics for flexible, policy-agnostic development.

Explore a sound symbolic quantitative information flow analysis for bounding information leakage in programs using approximate model counting and symbolic execution.

Explore porting MicroPython to Arm Morello, examining hardware capabilities' impact on embedded runtime security and outlining potential improvements for MicroPython's security.

Explore RefinedRust, a novel type system for verifying both safe and unsafe Rust code. Learn about its implementation, evaluation, and potential impact on high-assurance software development.

Explore hardware-assisted secure memory disaggregation, combining trusted VMs with a dedicated engine for efficient isolation and protection of remote memory pages, ensuring confidentiality and integrity.

Explore Descend, a safe GPU programming language enforcing memory management through type systems. Learn about its holistic model, extended Borrow checking, and competitive performance against CUDA.