Our paper „Balancing privacy and accountability in digital payment methods using zk-SNARKs” got accepted at PST 2022! In the paper, we describe an extension of the widely-known anonymous Zerocash cryptocurrency to allow for the auditability of anonymous transactions. Our approach is based in zero-knowledge proofs and enable fully anonymous transactions up until a certain amount of involved money in a certain pre-defined time period; going beyond this limit requires the inclusiong of auditable, encrypted transaction details. These details can then be decrypted by a group of „judges” (and only by those!). This allows for the prevent of certain types of money laundering.
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.