HN-RG

The research of our group focuses on the security and privacy of distributed applications as they can be found in the context of blockchain-based cryptocurrencies. Such blockchain applications are particularly security-critical because they are concerned with the distribution of financial assets. As a consequence, security breaches can cause devastating financial losses and attackers are highly incentivized to target these applications... Blockchain security research group with focus on formal methods.

Also known as: Heinz Nixdorf Research Group