Pinned Repositories
climbing-charts
Code behind walls.katriel.co.uk. Tells you how busy the LCC climbing walls in London have been.
fec-filings-analysis
Analysing some of the FEC data from www.fec.gov
iButton_1990a
Arduino sketch to impersonate an iButton 1990A fob
katrielalex.github.io
personal website
matasano
Learning go by doing the matasano crypto challenges
noisy
noisy runs linters on noise protocol specifications
katrielalex's Repositories
katrielalex/fec-filings-analysis
Analysing some of the FEC data from www.fec.gov
katrielalex/noisy
noisy runs linters on noise protocol specifications
katrielalex/climbing-charts
Code behind walls.katriel.co.uk. Tells you how busy the LCC climbing walls in London have been.
katrielalex/katrielalex.github.io
personal website
katrielalex/activity-summary
Activity summary e-mails
katrielalex/base-drafts
Internet-Drafts that make up the base QUIC specification
katrielalex/capillary
katrielalex/cascremers.github.io
katrielalex/change-structures-paper
katrielalex/confluin
confluin does confluence checks for Tamarin input files
katrielalex/dblpbib
Automatically create bibliographies for BibTeX DBLP references.
katrielalex/hacspec
katrielalex/hk2
A light-weight and dynamic dependency injection framework
katrielalex/homebrew-cask
🍻 A CLI workflow for the administration of macOS applications distributed as binaries
katrielalex/homebrew-drivers
🖨 Casks of Drivers
katrielalex/homebrew-tap
Homebrew tap for installing the Tamarin prover
katrielalex/info-sec-contacts
List of available research positions in information security
katrielalex/js-transparency
prototyping some ideas for transparency for javascript
katrielalex/manual
Pandoc version of manual
katrielalex/mls-architecture
MLS architecture
katrielalex/mls-protocol
MLS protocol
katrielalex/mls.wtf
MLS FAQ
katrielalex/mlswg.github.io
Website for the MLS WG
katrielalex/nacl
katrielalex/noise_spec
Noise Specification
katrielalex/obliterate_tweets
Keep your Twitter timeline clean and tidy
katrielalex/paper-data-quality
check the data quality of published papers
katrielalex/tamarin-prover
Main repository of the Tamarin prover for security protocol verification.
katrielalex/tls13-spec
TLS 1.3 Specification
katrielalex/vulns
Named vulnerabilities and their practical impact