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:
- ☆234Updated 8 months ago
- Intuitive Quantum Computation and Post-Quantum Cryptography☆63Updated 3 years ago
- Teaching materials related to the Tamarin Prover☆70Updated last year
- SCALE: Side-Channel Attack Lab. Exercises☆43Updated 2 years ago
- A repository that aims to provide tools for cryptography and cryptanalysis☆215Updated 5 years ago
- Snippets, scripts, config files☆16Updated 3 weeks ago
- Crypto Audit Guidelines☆134Updated 4 years ago
- Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456☆20Updated 3 years ago
- A practical attack framework for precise enclave execution control☆461Updated 4 months ago
- MiniCPS: a framework for Cyber-Physical Systems real-time simulation, built on top of mininet☆180Updated last week
- The Scyther Tool for the symbolic analysis of security protocols☆104Updated 2 weeks ago
- Blogs about Cryptography/Security to follow☆46Updated 3 years ago
- Go Trusted Execution Environment (TEE)☆135Updated 3 weeks ago
- Detect common mistakes in academic papers☆61Updated 6 years ago
- SDK for Keystone Enclave - ABI/SBI libraries and sample apps☆44Updated 2 years ago
- Open source release of challenges and other code used in the 2020 Hack-a-Sat Final.☆84Updated 5 years ago
- Differential Address Trace Analysis☆58Updated last year
- Synced with SGX101 gitbook.☆31Updated last year
- CSAW 2017 Embedded Security Challenge☆12Updated 7 years ago
- Edgeless RT is an SDK and a runtime for Intel SGX. It combines top-notch Go support with simplicity, robustness and a small TCB. Developi…☆140Updated 2 weeks 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
- Zigator: A security analysis tool for Zigbee and Thread networks☆33Updated 2 years ago
- ☆194Updated last year
- A microarchitectural leakage detection framework using dynamic instrumentation.☆76Updated 2 months ago
- Embedded AppSec Best Practices☆42Updated 2 years ago
- The anonymous credentials zoo☆16Updated 4 years ago
- SIde-Channel Analysis toolKit: embedded security evaluation tools☆30Updated 3 years ago
- Source code for my books☆164Updated 2 years ago
- OWASP IoT Security Verification Standard (ISVS)☆144Updated 2 years ago
- An interactive notebook for understanding the relation between mutual information, perceived and hypothetical information☆11Updated 5 years ago