Links for laicrypto-gui