1 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.IT2020★ 1 cited
Two and Three-Party Digital Goods Auctions: Scalable Privacy Analysis
Patrick Ah-Fat, Michael Huth
A digital goods auction is a type of auction where potential buyers bid the maximal price that they are willing to pay for a certain item, which a seller can produce at a negligibl…
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.LO2016★ 1 cited
Partial Solvers for Parity Games: Effective Polynomial-Time Composition
Patrick Ah-Fat, Michael Huth
Partial methods play an important role in formal methods and beyond. Recently such methods were developed for parity games, where polynomial-time partial solvers decide the winners…