2 papers
cs.CR2026
Toward provably private learning from federated data
Katharine Daly, Yu Xiao, Zachary Garrett +9
Federated Learning (FL) allows devices with private data to collaborate in training a shared model. We present a next-generation FL system based on Trusted Execution Environments (…
cs.PL2011
High-Level Multi-Threading in hProlog
Timon Van Overveldt, Bart Demoen
A new high-level interface to multi-threading in Prolog, implemented in hProlog, is described. Modern CPUs often contain multiple cores and through high-level multi-threading a pro…