activity
20172021
most citedManyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving

3 citations · 9 across the 6 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

cs.CR2021

Secure Bayesian Federated Analytics for Privacy-Preserving Trend Detection

Amit Chaulwar, Michael Huth

Federated analytics has many applications in edge computing, its use can lead to better decision making for service provision, product development, and user experience. We propose…