Quantifiable Assurance: From IPs to Platforms. - Bulbul Ahmed; Md Kawser Bepary; Nitin Pundir; Mike Borza; Oleg Raikhman; Amit Garg; Dale R. Donchin; Adam Cron; Mohamed A. Abdelmoneum; Farimah Farahmandi; Fahim Rahman; Mark Tehranipoor (IACR Cryptol. ePrint Arch., 2021)