rank/select
functional permutations
spam fighting with proof of work
Financial Cryptography 2014 papers
read FindBugs paper
program analysis papers
compiler, SSA
TLS exploit