Presentations

• Computationally sound proofs.
  [slides]


• Limits of security in SNARK constructions (from Micali to Bulletproofs).
  [slides]


• On provable security of blind signature schemes.
  [slides]

Software Highlights    

• Pymoebots: Stochastic Algorithms Simulator for the Amoebot Model.
  [Master's Thesis]  [doi]  [pdf]  [slides]


• MultiFit: Efficient Multi-lingual Language Model Fine-tuning
  [blog]


• FitFast: Quickly fine-tune language models for your downstream NLP tasks.


• Retrogram: Retrofitted (domain-adapted) word vectors with Word2Vec skip-gram model.


• Camera2Caption: A Real-time Image Caption Generator.
  [Bachelor's Project]  [doi]  [pdf]