fanosta

PhD Student at Graz University of Technology

Austria

Pinned Repositories

aeskeyschedule
Calculate the AES-128 key schedule given any round key
Language:Python222
ansible-zfs-auto-snapshot
Ansible role for installing and configuring zfs-auto-snapshot
1 2 01
approxmc
Approximate Model Counter
Language:C++00
config-files
My personal config files
Language:Shell00
dbconn-quicktutorial
Language:Java00
dotfiles
Language:Python30
hotcrp.vim
vim plugin to provide syntax highlighting for HotCRP review forms
Language:Vim Script10
sat_toolkit
Language:Cython00
secure-notifier
Language:TeX10
skinny-c
SKINNY tweakable block cipher
Language:C10

fanosta's Repositories

fanosta/aeskeyschedule
Calculate the AES-128 key schedule given any round key
Language:Python222
fanosta/dotfiles
Language:Python30
fanosta/ansible-zfs-auto-snapshot
Ansible role for installing and configuring zfs-auto-snapshot
1 2 01
fanosta/hotcrp.vim
vim plugin to provide syntax highlighting for HotCRP review forms
Language:Vim Script10
fanosta/secure-notifier
Language:TeX10
fanosta/skinny-c
SKINNY tweakable block cipher
Language:C10
fanosta/approxmc
Approximate Model Counter
Language:C++00
fanosta/config-files
My personal config files
Language:Shell00
fanosta/dbconn-quicktutorial
Language:Java00
fanosta/sat_toolkit
Language:Cython00
fanosta/specsBot
telegram bot, that finds datasheets for you
Language:Python0 1 00
fanosta/sqlConnector
Language:Java0 2 01