EvilBabyDemon / CourseReviewETH
Code for forum to review courses at ETH
☆12Updated 10 months ago
Related projects: ⓘ
- eth & uzh mensas in zurich☆26Updated last month
- How to use boost, CGAL, and ideas for solving the Algolab lecture exercises☆13Updated 7 months ago
- summaries of courses taken at ETH☆25Updated 3 years ago
- Models the mersenne twister used by Python Random as a symbolic program. This allows recovering the state given a few outputs☆60Updated 3 years ago
- Main source code repository of the Tamarin prover for security protocol verification.☆409Updated last week
- A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH☆118Updated last year
- Many-Time Pad Interactive☆162Updated 7 months ago
- ☆7Updated 2 years ago
- SMT based attacks on non cryptographic PRNGs☆73Updated last year
- EBNF parsing toolset☆10Updated last year
- Browser extension to enable vim mode in the embedded IDE used in Code Expert.☆13Updated last year
- TimeSheetGenerator is an application that checks and builds time sheet documents.☆23Updated 2 weeks ago
- A tool to easily archive CTFd sites to GitHub Pages☆30Updated this week
- Predict MT19937 PRNG, from preceding 624 generated numbers. There is a specialization for the "random" of Python standard library.☆163Updated 3 years ago
- The Latex files used to create my PhD Thesis☆15Updated 2 years ago
- Given at least 624 outputs of a Mersenne Twister PNRG we can restore its internal state.☆44Updated 9 years ago
- libdebug is a python library to automate the debugging of a binary executable.☆94Updated this week
- Programm zum Flotten, Einfachen Runterladen von Dateien☆128Updated last month
- An especially excellent font.☆13Updated last year
- ☆23Updated last year
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆496Updated last month
- Scarica il file e mandami un writeup se riesci a risolvere la CTF :)☆23Updated last year
- Predict python's random module generated values.☆364Updated last year
- A repository trying to collect things related to LLL☆69Updated last week
- Automated integer factorization☆194Updated last month
- Fingerprinting TCP/IP☆23Updated 2 months ago
- ☆13Updated 2 weeks ago
- EasyCrypt: Computer-Aided Cryptographic Proofs☆309Updated this week
- Programmierparadigmen-Tutorium 2022WS☆29Updated last year
- my submissions from training.olinfo.it☆8Updated last month