claucece/formal-tutorials claucece/formal-tutorials

  • Stars
    star
    28
  • Rank 866,178 (Top 18 %)
  • Language
  • Created over 2 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
claucece/formal-tutorials
github

claucece

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

useful-crypto-resources

A place for useful crypto-related resources plus some of my fav stuff
216
star
2

Secure-Messaging-Summit

The secure messaging summit information
20
star
3

post-quantumers

18
star
4

women-violence-and-technology

A place for the information that we find around how technology is used to enhance violence against women
14
star
5

PQNet-Workshop

HTML
7
star
6

Latin-American-Cryptographers

HTML
6
star
7

draft-celi-ipvc

Makefile
6
star
8

art-theory-and-more

Some readings for art theory and more
6
star
9

claucece.github.io

My dear personal website: https://sofiaceli.com/ <3
HTML
5
star
10

go-falcon

A reference implementation of Falcon in Golang: a cryptographic signature algorithm submitted to NIST Post-Quantum Cryptography Project
3
star
11

draft-celi-wiggers-tls-authkem

Makefile
3
star
12

secret-sharing-extra

Rust
3
star
13

chalamet

Rust
3
star
14

useful-math-resources

3
star
15

draft-celi-pp-double-spending

Makefile
2
star
16

Anonymous-Credentials-Meeting

The anonymous credentials meeting repo to happen at PETS2021!
HTML
2
star
17

post-quantum-over-protocols

Post-quantum over protocols
2
star
18

KEMTLS-local-measurements

Go
2
star
19

ascrypto

ASCrypto2023
SCSS
2
star
20

women-in-cryptography

The Women in Cryptography (WinC) website
HTML
2
star
21

dotfiles

Shell
2
star
22

my-argo-tunnel

Ruby
1
star
23

draft-http-otr

Makefile
1
star
24

Go-Delegated-Credentials

Go
1
star
25

LatinAmerican-Malware-Visualization

JavaScript
1
star
26

voprf-poc-2

Rust
1
star
27

pair-programming-exercises

Go
1
star
28

crypto_codes

Some useful python code
Python
1
star
29

libgoldilocs_arch_32

C
1
star
30

Go-PQ-KEM-TLS

Go
1
star
31

KEM-TLS-Resources

1
star
32

helpful-decaf-448

Some helpful functions and comments for Hamburg's 448
C
1
star
33

lattices.bib

TeX
1
star
34

elliptic-curve-lessons

Some stuff around elliptic curves
1
star
35

advent_of_code_2019

Go
1
star
36

pq-oprf

TeX
1
star
37

diversity-inclusion-statement

1
star
38

elligator-2

To find the master one
Go
1
star
39

OTRv4-properties

Papers/links around the properties of OTRv4
1
star