katrielalex Goto Github PK

acars

Tamarin model for the secure ACARS patent (http://www.google.com/patents/US6677888)

activity-summary

Activity summary e-mails

base-drafts

Internet-Drafts that make up the base QUIC specification

biber-formatter

pre-commit hook to check or autoformat .bib files

bn

Barreto-Naehrig curve implementation and BLS

bored-friends

Testing some react stuff

capillary

cascremers.github.io

catarin

cdt-modelling

Code for the systems modelling assignment at the Oxford Cyber Security CDT

change-structures-paper

climbing-charts

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

confluin

confluin does confluence checks for Tamarin input files

dblpbib

Automatically create bibliographies for BibTeX DBLP references.

fec-filings-analysis

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

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-science

:microscope: Scientific formulae for the Homebrew package manager

homebrew-tap

Homebrew tap for installing the Tamarin prover

ibutton_1990a

Arduino sketch to impersonate an iButton 1990A fob

info-sec-contacts

List of available research positions in information security

js-transparency

prototyping some ideas for transparency for javascript

katrielalex.github.io

personal website

libsignal-protocol-java

Signal Protocol library for Java/Android

libsignal-protocol-javascript

Signal Protocol library for JavaScript

libsrtp

Library for SRTP (Secure Realtime Transport Protocol)

manual

Pandoc version of manual

matasano

Learning go by doing the matasano crypto challenges