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]