Specifying Oblivious Pseudonymization

An executable hacspec specification of ScrambleDB, a utility-preserving pseudonymization system using convertible PRFs for oblivious data linking.

In this blog post we announce an executable specification in the hacspec specification language for the ScrambleDB pseudonymization system, developed by Cryspen as part of the BMBF ATLAS project. Find …