Pinned Repositories
.emacs.d
emacs config
axiom
The dynamic infrastructure framework for everybody! Distribute the workload of many different scanning tools with ease, including nmap, ffuf, masscan, nuclei, meg and many more!
dotfiles
easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
editor-sublime
Repository for text editor (sublime) syntax highlighting
homebrew-cask
A CLI workflow for the administration of Mac applications distributed as binaries
kali-docker
Kali Docker with X11 window forwarding. Just run make all!
SRS-LaTeX
LaTeX book template for a Software Requirements Specification based off the IEEE standards
tamarin-models
Tamarin files associated with my thesis "Formal Analysis and Applications of Direct Anonymous Attestation"
lordqwerty's Repositories
lordqwerty/kali-docker
Kali Docker with X11 window forwarding. Just run make all!
lordqwerty/SRS-LaTeX
LaTeX book template for a Software Requirements Specification based off the IEEE standards
lordqwerty/tamarin-models
Tamarin files associated with my thesis "Formal Analysis and Applications of Direct Anonymous Attestation"
lordqwerty/dotfiles
lordqwerty/.emacs.d
emacs config
lordqwerty/axiom
The dynamic infrastructure framework for everybody! Distribute the workload of many different scanning tools with ease, including nmap, ffuf, masscan, nuclei, meg and many more!
lordqwerty/easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
lordqwerty/editor-sublime
Repository for text editor (sublime) syntax highlighting
lordqwerty/homebrew-cask
A CLI workflow for the administration of Mac applications distributed as binaries
lordqwerty/homebrew-core
:beers::penguin: Core formulae for the Linuxbrew package manager
lordqwerty/homebrew-science
:beer::microscope: Scientific formulae for the Homebrew package manager
lordqwerty/homebrew-tap
Homebrew tap for installing the Tamarin prover
lordqwerty/i3-dotfiles
lordqwerty/lordqwerty.github.io
Personal website to present my contributions to the field of security
lordqwerty/ltsmin
The LTSmin model checking toolset
lordqwerty/manual
Tamarin prover manual: source files
lordqwerty/mastering-emacs-in-one-year-guide
Be great at emacs in one year
lordqwerty/package_control_channel
Default channel file for Package Control. Follow the directions at:
lordqwerty/qemu
lordqwerty/tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
lordqwerty/tamarin-prover.github.io
Source repository for the tamarin-prover.github.io github pages.
lordqwerty/vimrc
Portable backup of my VIM setup