katrielalex

fec-filings-analysis

Analysing some of the FEC data from www.fec.gov

noisy

noisy runs linters on noise protocol specifications

climbing-charts

Code behind walls.katriel.co.uk. Tells you how busy the LCC climbing walls in London have been.

katrielalex.github.io

personal website

activity-summary

Activity summary e-mails

base-drafts

Internet-Drafts that make up the base QUIC specification

bored-friends

Testing some react stuff

capillary

cascremers.github.io

confluin

confluin does confluence checks for Tamarin input files

dblpbib

Automatically create bibliographies for BibTeX DBLP references.

hacspec

hk2

A light-weight and dynamic dependency injection framework

homebrew-cask

🍻 A CLI workflow for the administration of macOS applications distributed as binaries

homebrew-drivers

🖨 Casks of Drivers

homebrew-tap

Homebrew tap for installing the Tamarin prover

info-sec-contacts

List of available research positions in information security

js-transparency

prototyping some ideas for transparency for javascript

manual

Pandoc version of manual

mls-architecture

MLS architecture

mls-protocol

MLS protocol

mls.wtf

MLS FAQ

mlswg.github.io

Website for the MLS WG

nacl

noise_spec

Noise Specification

obliterate_tweets

Keep your Twitter timeline clean and tidy

paper-data-quality

check the data quality of published papers

tamarin-prover

Main repository of the Tamarin prover for security protocol verification.

tls13-spec

TLS 1.3 Specification

vulns

Named vulnerabilities and their practical impact