Insecure Programming by Example - Teach yourself how buffer overflows, format strings, numeric bugs, and other binary security bugs work and how to exploit them

CMS efficient, léger, édition des contenus simplifiée, personnalisable et écoconçu !

A Pythonic framework for threat modeling

A list of various lists consisting of academics on Mastodon

Artifacts and documentation of the TOPS journal paper End-to-End Security for Distributed Event-driven Enclave Applications on Heterogeneous TEEs

Tool for smooth git handover.

A Static Detection of Side Channels in MSP430 Programs

A 3d realtime visualizer for Dwarf Fortress

https://distrinet.cs.kuleuven.be/software/sancus

Deadline countdowns for academic conferences in Security and Privacy

PASTA: Portable Automotive Security Testbed with Adaptability

Master's Thesis: "Identifying Software and Protocol Vulnerabilities in WPA2 Implementations through Fuzzing"

Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves

Keystone Enclave (QEMU + HiFive Unleashed)

DMA controller for Sancus architecture

Exercises to learn how to fuzz with American Fuzzy Lop

Nemesis: Studying microarchitectural timing leaks in rudimentary CPU interrupt logic

A fuzzer for the CAN bus

Main UserLAnd Repository

The LaTeX magazine class that doesn’t get in your way.

Simple blinking LED example that runs on MSP430.

Coordination repository of the embedded devices Working Group

Contains the front-end component DSIbin, its DSIcore algorithm implementation, and the DSIref type-refinement component

Source files for SiFive's Freedom platforms