Rollback and Forking Detection for Trusted Execution Environments Using Lightweight Collective MemoryMarcus BrandenburgerChristian Cachinet al.2017DSN 2017