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 main emphasis lies on developing security solutions tailored to the context-specific conditions in safety-critical systems, thereby giving special importance to studying the interaction between the security and the safety of the systems to be protected.