-
Zippel: A Language, Compiler, Runtime, and Analyzer for ZK Proof Systems
IEEE Symposium on Security and Privacy (S&P) · 2027
-
A Toolbox for Modelling Engagement with Educational Videos
AAAI Conference on Artificial Intelligence (EAAI) · 2024
-
TrueLearn: A Python Library for Personalised Informational Recommendations with (Implicit) Feedback
CEUR Workshop Proceedings (RecSys ORSUM) · 2023