Linked Presentation: Panda: Security Analysis of Algorand Smart ContractsCipherH: Automated Detection of Ciphertext Side-channel Vulnerabilities in Cryptographic ImplementationsReusable Enclaves for Confidential Serverless ComputingControlled Data Races in Enclaves: Attacks and Detection
