up-to-date results
Radu Sion
anonymous credentials authentication automated reasoning bilinear gruop cryptographic protocol cryptography data security encryption information security privacy secret sharing symbolic evaluation