Shiyu Li:
Black-Box Separation between Cryptographic Primitives