Bitcoins Math
Search space reduction for holistic ligature recognition in Urdu Nastaliq script (Bachelor thesis presentation)
Memory Networks, Neural Turing Machines, and Question Answering
Language-Based Information-Flow Security
Towards using Capability Machines for Secure Compilation - CHERI