pszal / teaching
My most recent teaching materials for 2017-2020 courses (50.574, 50.520, 51.502, 50.037).
☆29Updated 5 years ago
Alternatives and similar repositories for teaching
Users that are interested in teaching are comparing it to the libraries listed below
Sorting:
- Fastgcd is a C implementation of an efficient algorithm to compute the pairwise GCDs of a collection of integers. The algorithm is due to…☆17Updated last year
- A brief summary of a few talks I attended☆13Updated 5 years ago
- Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software☆42Updated 8 years ago
- Building Distributed Enclave Applications with Sancus and SGX☆13Updated 4 years ago
- Embedded AppSec Best Practices☆41Updated last year
- Exercises for (legacy) Computer Security course in the University of Oulu☆45Updated last year
- Synced with SGX101 gitbook.☆31Updated last year
- Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.☆13Updated 3 months ago
- Collection of RISC-V exploits☆29Updated 5 years ago
- ☆12Updated 4 years ago
- Website for Research Artifacts from the Security Community☆18Updated 3 weeks ago
- Differential fuzzing for elliptic curves☆23Updated last year
- CSAW Embedded Security Challenge 2019☆34Updated 5 years ago
- An automatic framework to remove unneeded and unsafe code from Bluetooth stacks of Android and Linux, using both source code analysis (LL…☆21Updated 2 years ago
- Security benchmarks for the Internet of Things☆22Updated 4 years ago
- A Go library for MerkleSquare: A Low-Latency Transparency Log System☆22Updated 4 years ago
- ☆228Updated 4 months ago
- ☆27Updated 3 years ago
- Security Project☆88Updated 2 years ago
- Fuzz testing framework for network protocols.☆17Updated 4 years ago
- CSAW Embedded Security Challenge 2020☆26Updated 4 years ago
- A general cross-architecture C/C++ hotpatch solution using customized userspace eBPF runtime. One patch release can fix the same vulnera…☆26Updated last year
- EN.601.741: Advanced Topics in Secure and Censorship-Resistant Communications☆15Updated 4 years ago
- Shadow-Box: Lightweight and Practical Kernel Protector for ARM (Presented at BlackHat Asia 2018)☆73Updated 6 years ago
- Differential Address Trace Analysis☆56Updated last year
- Reference implementations of post-quantum cryptographic primitives☆29Updated last year
- Code for the paper "Poking a Hole in the Wall: Efficient Censorship-Resistant Internet Communications by Parasitizing on WebRTC" [ACM SIG…☆22Updated 4 years ago
- A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes☆45Updated last year
- Additional material for our paper "Breaking all the Things - A Systematic Survey of Firmware Extraction Techniques for IoT Devices" (CARD…☆16Updated 5 years ago
- Low-Observable Physical Host Instrumentation: A suite of tools supporting introspection and semantic gap reconstruction for both physical…☆30Updated 8 years ago