famoser / eth-summaries
summaries of courses taken at ETH
☆26Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for eth-summaries
- Summaries and study materials I've written over the course of my studies at ETH Zurich☆85Updated 3 years ago
- Summaries / Cheat Sheets created at ETH Zurich BsC Computer Science & MsC Data Science☆140Updated 2 years ago
- Browser extension for VVZ (ETHZ)☆10Updated this week
- Code for forum to review courses at ETH☆14Updated last year
- Exercises for the Big Data lecture at ETH Zurich (Fall 2021)☆132Updated this week
- Major CS conference publication stats (including accepted and submitted) by year.☆112Updated 2 months ago
- Lecture notes for Chris Peikert's graduate-level Theory of Cryptography course☆161Updated 11 months ago
- Shared tests for the compiler design projects HS21.☆16Updated 2 years ago
- eth & uzh mensas in zurich☆29Updated last month
- Online textbook for CS 161: Computer Security at UC Berkeley.☆68Updated this week
- ☆7Updated 2 years ago
- LaTeX package for typesetting pseudocode and cryptographic games☆156Updated 11 months ago
- https://csstipendrankings.org☆197Updated last month
- This repo tracks a compatible state of all sev step components and contains script to easily install everything required to setup a sev v…☆31Updated 9 months ago
- Main source code repository of the Tamarin prover for security protocol verification.☆419Updated last week
- Statistics of acceptance rate for the top conferences: Oakland, CCS, USENIX Security, NDSS.☆118Updated 3 weeks ago
- Deep Learning with Intel SGX☆21Updated 5 years ago
- FastSpec: Scalable Generation and Detection of Spectre Gadgets Using Neural Embeddings☆13Updated last year
- My solutions for Algorithms Lab at ETH, Autumn 2016☆10Updated 7 years ago
- Resources on the Artifact Evaluation (AE) Process☆16Updated 3 years ago
- MIT 6.875☆13Updated 11 months ago
- ACM consolidated LaTeX styles☆64Updated 5 years ago
- CS 704 course website - Principles of Programming Languages☆68Updated 2 years ago
- Lattices in Cryptography (University of Michigan)☆69Updated last month
- Summary for Introduction to machine learning at ETH Zürich (2019)☆32Updated 4 years ago
- ☆26Updated last year
- Approximate Model Counter☆70Updated 4 months ago
- ☆27Updated 2 months ago
- A two-party secure function evaluation using Yao's garbled circuit protocol☆73Updated 5 months ago
- Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves☆52Updated 5 years ago