cascremers

Pinned Repositories

cascremers.github.io
Language:HTML11
dp-3t.github.io
00
draft-cremers-cfrg-randomness-improvements
Language:Makefile1 1 00
pdfdiff
Command-line tool to inspect the difference between (the text in) two PDF files
Language:Python200 4 515
scyther
The Scyther Tool for the symbolic analysis of security protocols
Language:C96 9 2638
tamarin-prover
Main repository of the Tamarin prover for security protocol verification.
Language:Haskell1 2 00
documents
Decentralized Privacy-Preserving Proximity Tracing -- Documents
Language:Shell2.2k 146 280180
mls-architecture
MLS architecture
Language:Makefile65 25 11127
tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
Language:Haskell399 25 374128
tls13-spec
TLS 1.3 Specification
Language:Python563 111 414159

cascremers's Repositories

cascremers/pdfdiff
Command-line tool to inspect the difference between (the text in) two PDF files
Language:Python200 4 515
cascremers/scyther
The Scyther Tool for the symbolic analysis of security protocols
Language:C96 9 2638
cascremers/cascremers.github.io
Language:HTML11
cascremers/draft-cremers-cfrg-randomness-improvements
Language:Makefile1 1 00
cascremers/tamarin-prover
Main repository of the Tamarin prover for security protocol verification.
Language:Haskell1 2 00
cascremers/dp-3t.github.io
00
cascremers/seoul256.vim
:deciduous_tree: Low-contrast Vim color scheme based on Seoul Colors
Language:VimL0 1 00
cascremers/tls13-spec
TLS 1.3 Specification
Language:Python1 0
cascremers/wintile
Windows 10 window tiling for GNOME
Language:JavaScript0 0