Our paper "Private Sampling with Identifiable Cheaters" got accepted at PETS 2023! In the paper, we describe an approach to verifiably sample from probability distributions. Our approach can be applied in the domain of secure multiparty computation where it should be guaranteed that values were honestly sampled from a given probability distribution, even if all but one party are compromised and try to cheat. Technically, we realize our approach by the construction of tailored "zero knowledge proofs".
Welcome to the Safety-Security-Interaction Group!
The Safety-Security-Interaction group is concerned with the development of theoretically sound technologies for maintaining the security of IT systems in the context of safety-critical systems and the Internet of Things. The focus is on the development of security solutions that are tailored to the context-specific conditions and that take into account various types of user-interaction as well as the functional safety of the to-be-protected systems.