Popular repositories Loading

1. tamarin-models tamarin-models Public

   Tamarin files associated with my thesis "Formal Analysis and Applications of Direct Anonymous Attestation"

   Python 5

2. kali-docker kali-docker Public

   Kali Docker with X11 window forwarding. Just run make all!

   Makefile 5

3. SRS-LaTeX SRS-LaTeX Public

   LaTeX book template for a Software Requirements Specification based off the IEEE standards

   TeX 4 6

4. dotfiles dotfiles Public

   Vim Script 1

5. ltsmin ltsmin Public

   Forked from utwente-fmt/ltsmin

   The LTSmin model checking toolset

   C

6. homebrew-cask homebrew-cask Public

   Forked from Homebrew/homebrew-cask

   A CLI workflow for the administration of Mac applications distributed as binaries

   Ruby