fanosta

PhD Student at Graz University of Technology

Austria

Pinned Repositories

aeskeyschedule
Calculate the AES-128 key schedule given any round key
Language:Python28 1 16
ansible-zfs-auto-snapshot
Ansible role for installing and configuring zfs-auto-snapshot
1 2 01
approxmc
Approximate Model Counter
Language:C++0 0 00
cadiback
CaDiCaL BackBone Analyzer
Language:C++0 0 00
dotfiles
Language:Python3 1 00
hotcrp.vim
vim plugin to provide syntax highlighting for HotCRP review forms
Language:Vim Script1 1 00
sat_toolkit
Language:Cython0 1 00
secure-notifier
Language:TeX1 2 00
skinny-c
SKINNY tweakable block cipher
Language:C1 0 00
romulush_collisions
Language:TeX3 4 00

fanosta's Repositories

fanosta/aeskeyschedule
Calculate the AES-128 key schedule given any round key
Language:Python28 1 16
fanosta/dotfiles
Language:Python3 1 00
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 Script1 1 00
fanosta/secure-notifier
Language:TeX1 2 00
fanosta/skinny-c
SKINNY tweakable block cipher
Language:C1 0 00
fanosta/approxmc
Approximate Model Counter
Language:C++0 0 00
fanosta/cadiback
CaDiCaL BackBone Analyzer
Language:C++0 0 00
fanosta/config-files
My personal config files
Language:Shell00
fanosta/dbconn-quicktutorial
Language:Java0 1 00
fanosta/sat_toolkit
Language:Cython0 1 00
fanosta/specsBot
telegram bot, that finds datasheets for you
Language:Python0 1 00
fanosta/sqlConnector
Language:Java0 2 01