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
- ☆17Updated last year
- Uma coleção de resumos, para ajudar os que precisam daquele empurrão.☆64Updated 2 years ago
- discord bot for the LEI/MEI discord server☆16Updated last year
- Sage implementation of the MAYO scheme☆14Updated 9 months ago
- ☆16Updated this week
- 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…☆19Updated 3 years ago
- Learn pure math with agda☆16Updated last month
- Proof assistant for qRHL☆22Updated last week
- ⚙️ dotfiles, scripts & more☆12Updated 2 months ago
- Material do Curso de LCC☆64Updated 2 weeks ago
- Teaching materials related to the Tamarin Prover☆71Updated last year
- A repository of tools for verifying constant-timeness☆18Updated 9 months ago
- Lecture notes for Chris Peikert's graduate-level Theory of Cryptography course☆184Updated 2 months ago
- Specifications of cryptographic algorithms in Cryptol☆43Updated 2 weeks ago
- Compositional Verification of Security Protocols☆25Updated this week
- ☆57Updated 5 years ago
- Examples for EasyCrypt Lectures☆26Updated 2 months ago
- ☆38Updated 8 years ago
- A 2-4h workshop on the Tamarin protocol verifier.☆21Updated 5 months ago
- Cadeira AeC☆14Updated 3 years ago
- Language for high-assurance and high-speed cryptography☆316Updated last week
- Website where portuguese political controversies can be seen on a calendar to allow seeing it in a bigger picture.☆15Updated 2 years ago
- The Cryspen HACL Distribution☆19Updated 7 months ago
- FastSpec: Scalable Generation and Detection of Spectre Gadgets Using Neural Embeddings☆13Updated 2 years ago
- [Obsolete] Tamarin prover manual: source files☆24Updated last month
- Public Repo for Software Security Course@IST☆20Updated 7 years ago
- Interactive Coq Proofs in Vim☆305Updated 2 weeks ago
- ☆53Updated last week
- Experiments with Universal Composability in EasyCrypt☆41Updated last week