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 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.