giventofly / cp1920Links
Aulas práticas UM CP19-20
☆10Updated 5 years ago
Alternatives and similar repositories for cp1920
Users that are interested in cp1920 are comparing it to the libraries listed below
Sorting:
- ☆20Updated 2 years ago
- discord bot for the LEI/MEI discord server☆16Updated last year
- Sage implementation of the MAYO scheme☆14Updated 11 months ago
- ☆16Updated last week
- Desafios de Programação da Universidade do Minho☆12Updated 3 years ago
- Examples for EasyCrypt Lectures☆26Updated 4 months ago
- ☆57Updated 5 years ago
- Learn pure math with agda☆16Updated 2 months ago
- .dotfiles of a computer wizard☆14Updated last week
- Lecture notes for Chris Peikert's graduate-level Theory of Cryptography course☆184Updated 3 months ago
- Proof assistant for qRHL☆22Updated last month
- A discord bot written in Python.☆14Updated 4 years ago
- ⚙️ dotfiles, scripts & more☆12Updated 4 months ago
- MAYO C implementation☆21Updated 9 months ago
- Oblivious transfer for multiparty computation☆37Updated 5 years ago
- Contém todas as fichas relativas à cadeira de Programação Funcional, do ano letivo 2018/19, e resoluções de testes e exames de anos anter…☆20Updated 3 years ago
- Λ ⚬ λ: Functional Lattice Cryptography☆231Updated 4 years ago
- Website where portuguese political controversies can be seen on a calendar to allow seeing it in a bigger picture.☆15Updated 2 years ago
- A LaTeX template for academic monographs (e.g., dissertations and thesis). This template serves both beginners and proficient LaTeX users…☆936Updated this week
- Experiments with Universal Composability in EasyCrypt☆42Updated 2 weeks ago
- EasyCrypt: Computer-Aided Cryptographic Proofs☆379Updated this week
- A Language and Compiler for Homomorphic Encryption Made easY☆67Updated 5 years ago
- Provides common files for instances of mupq, e.g., for pqm4 and pqriscv☆12Updated 6 months ago
- XMSS[MT] commandline tool☆13Updated 2 years ago
- A PoC implementation of Raptor: lattice based linkable ring signature scheme☆14Updated 5 years ago
- ☆20Updated 11 months ago
- Lattices and Their Algorithms, Leiden, Spring 2024☆20Updated last year
- Simple terminal based todo app☆11Updated 2 years ago
- Specifications of cryptographic algorithms in Cryptol☆44Updated 2 weeks ago
- Teaching materials related to the Tamarin Prover☆71Updated last year