Efficient cryptographic constructions with strong security guarantees - Kurek, Rafael 1989- (2020)