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:
- ☆17Updated last year
- ☆20Updated 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 last week
- Learn pure math with agda☆16Updated 2 weeks ago
- Repositorio de la optativa para la FCEIA☆15Updated 6 months ago
- Examples for EasyCrypt Lectures☆26Updated 2 months ago
- EasyCrypt: Computer-Aided Cryptographic Proofs☆369Updated last week
- Specifications of cryptographic algorithms in Cryptol☆43Updated this week
- Proof assistant for qRHL☆22Updated 2 months ago
- Website where portuguese political controversies can be seen on a calendar to allow seeing it in a bigger picture.☆15Updated 2 years ago
- Language for high-assurance and high-speed cryptography☆313Updated this week
- My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…☆23Updated 2 years ago
- ☆13Updated 10 months ago
- The Scyther Tool for the symbolic analysis of security protocols☆106Updated last month
- SampCert : Verified Differential Privacy☆82Updated 6 months ago
- ☆57Updated 5 years ago
- Λ ⚬ λ: Functional Lattice Cryptography☆230Updated 4 years ago
- A foundational framework for modular cryptographic proofs in Coq☆69Updated 3 weeks ago
- Libraries useful for Dafny programs☆45Updated 2 months ago
- Browser extension for VVZ (ETHZ)☆11Updated 3 months ago
- Code challenges to solve with Haskell☆178Updated last month
- Árbol de Correlativas de LCC☆10Updated 3 years ago
- Compositional Verification of Security Protocols☆22Updated last week
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆126Updated 8 months ago
- ☆10Updated 2 years ago
- Public Repo for Software Security Course@IST☆20Updated 7 years ago
- Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…☆62Updated 6 years ago
- A function definition package for Coq☆234Updated this week