🚨 WARNING This project is Work In Progress. The paper is unpolished, the security proof is not finished and not checked and there may be typos in many places.
Read at your own risk! ;)
This project uses cryptobib.
Hence, run git submodule update --init --recursive
after cloning the repo.
./compile.sh compliance