activity
20062023
most citedAlgorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA

93 citations · 141 across the 18 of their papers we have counts for

collaborators
Showing cs.CRShow all

1 paper · 1 filter

cs.CR2014

Secure aggregation of distributed information: How a team of agents can safely share secrets in front of a spy

David Fernández-Duque, Valentin Goranko

We consider the generic problem of Secure Aggregation of Distributed Information (SADI), where several agents acting as a team have information distributed among them, modeled by m…