pszal / teachingLinks
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:
- ☆235Updated 9 months ago
- Intuitive Quantum Computation and Post-Quantum Cryptography☆63Updated 3 years ago
- MiniCPS: a framework for Cyber-Physical Systems real-time simulation, built on top of mininet☆180Updated last month
- Implementation of the key recovery attack against GEA-1 keys (Eurocrypt 2021)☆49Updated 3 years ago
- IoTGoat is a deliberately insecure firmware based on OpenWrt.☆182Updated 5 years ago
- ☆12Updated 3 weeks ago
- Teaching materials related to the Tamarin Prover☆71Updated last year
- Crypto Audit Guidelines☆134Updated 4 years ago
- OWASP IoT Security Verification Standard (ISVS)☆145Updated last week
- Zigator: A security analysis tool for Zigbee and Thread networks☆33Updated 2 years ago
- Solutions for the Matasano Crypto Challenges☆23Updated 7 years ago
- Open source release of challenges and other code used in the 2020 Hack-a-Sat Final.☆84Updated 5 years ago
- 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
- SCALE: Side-Channel Attack Lab. Exercises☆43Updated 2 years ago
- Miscellaneous materials related to the "attested TLS" proof-of-concept☆21Updated last year
- SDK for Keystone Enclave - ABI/SBI libraries and sample apps☆44Updated 3 years ago
- CANvas is a fast and inexpensive automotive network mapper that can serve as a basis for many other security applications.☆29Updated 5 years ago
- Collection of RISC-V exploits☆30Updated 5 years ago
- Embedded AppSec Best Practices☆43Updated last week
- Snippets, scripts, config files☆16Updated last month
- GoTEE - example application☆16Updated last month
- Datasets and code for IMC'19 paper on information exposure from IoT devices☆66Updated last year
- TLS-Anvil, a fully automated TLS testsuite for client and servers.☆97Updated 2 weeks ago
- Open source release of challenges and other code used in the Hack-A-Sat Qualifier in 2020.☆88Updated last year
- Example code included in the "Improving Your Embedded Linux Security Posture with Yocto" whitepaper☆17Updated 3 years ago
- The server part of the SafeKeeper project.☆18Updated 7 years ago
- Security Project☆97Updated 2 weeks ago
- Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456☆21Updated 3 years ago
- Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.☆13Updated 2 months ago
- Differential Address Trace Analysis☆59Updated last year