Robert is our contact person for questions around cryptography and adversary models. He designs cryptographic protocols and implements them.