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 cs.CRShow all

5 papers · 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…

cs.CR20193 cited

Owner-centric sharing of physical resources, data, and data-driven insights in digital ecosystems

Kwok Cheung, Michael Huth, Laurence Kirk +3

We are living in an age in which digitization will connect more and more physical assets with IT systems and where IoT endpoints will generate a wealth of valuable data. Companies,…

cs.CR2019

Scalable Information-Flow Analysis of Secure Three-Party Affine Computations

Patrick Ah-Fat, Michael Huth

Elaborate protocols in Secure Multi-party Computation enable several participants to compute a public function of their own private inputs while ensuring that no undesired informat…

cs.CR2018

Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems

Marcello Balduccini, Edward Griffor, Michael Huth +3

It has been challenging for the technical and regulatory communities to formulate requirements for trustworthiness of the cyber-physical systems (CPS) due to the complexity of the…

cs.CR2018

Optimal Accuracy-Privacy Trade-Off for Secure Multi-Party Computations

Patrick Ah-Fat, Michael Huth

The purpose of Secure Multi-Party Computation is to enable protocol participants to compute a public function of their private inputs while keeping their inputs secret, without res…