https://intlibrary.ir/download/provable-security-4th-international-conferenc/