Publications

62 results for Security Analysis

ZEUS: Analyzing Safety of Smart Contracts
- - Sukrit Kalra
  - Seep Goel
  - et al.
- 2018
- NDSS 2018
AsyncShock: Exploiting synchronisation bugs in Intel SGX enclaves
- - Nico Weichbrodt
  - Anil Kurmus
  - et al.
- 2016
- ESORICS 2016