activity
20162023
most citedLearning to Detect Malicious Clients for Robust Federated Learning

187 citations · 612 across the 48 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2019

A formalisation of the SPARC TSO memory model for multi-core machine code

Zhe Hou, David Sanan, Alwen Tiu +2

SPARC processors have many applications in mission-critical industries such as aviation and space engineering. Hence, it is important to provide formal frameworks that facilitate t…