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:
- MiEI - Projetos (1º Ano / 2º Ano / 3º Ano) - Universidade do Minho (2015-2018)☆6Updated 6 years ago
- ☆17Updated last year
- ☆20Updated 2 years ago
- Uma coleção de resumos, para ajudar os que precisam daquele empurrão.☆64Updated last year
- Sage implementation of the MAYO scheme☆14Updated 5 months ago
- ☆8Updated 2 years ago
- ☆14Updated this week
- Examples for EasyCrypt Lectures☆24Updated 2 weeks ago
- A foundational framework for modular cryptographic proofs in Coq☆65Updated last week
- The Cryspen HACL Distribution☆18Updated 2 months ago
- Desafios de Programação da Universidade do Minho☆12Updated 3 years ago
- Specifications of cryptographic algorithms in Cryptol☆41Updated this week
- ☆32Updated last year
- Provides common files for instances of mupq, e.g., for pqm4 and pqriscv☆12Updated 2 weeks ago
- My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…☆17Updated last year
- Lecture notes for Chris Peikert's graduate-level Theory of Cryptography course☆172Updated last year
- Λ ⚬ λ: Functional Lattice Cryptography☆231Updated 4 years ago
- Learn pure math with agda☆17Updated 3 weeks ago
- Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph☆31Updated 4 years ago
- An opinionated list of resources for learning Haskell☆911Updated 3 years ago
- Simple terminal based todo app☆11Updated 2 years ago
- CHERI sample C programs☆11Updated 6 months ago
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆51Updated last month
- EasyCrypt: Computer-Aided Cryptographic Proofs☆356Updated this week
- ☆50Updated this week
- ☆35Updated 8 years ago
- MAYO C implementation☆16Updated 3 months ago
- A PoC implementation of Raptor: lattice based linkable ring signature scheme☆13Updated 5 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
- ☆13Updated 6 months ago