amaloz/ae-generator
Authenticated encryption scheme prover/synthesizer
Developer Profile
amaloz
Discovered public repositories for amaloz in the GitHub catalog.
amaloz/otlib
An oblivious transfer library
amaloz/modes-generator
Automated prover and synthesizer for modes of operation
amaloz/crypto-latex
Style file for crypto papers
amaloz/dotfiles
Random assortment of dotfiles
amaloz/emacs-config
Configuration files for Emacs
amaloz/awesome-config
Configuration files for the awesome windows manager