Julian Schütte

Securing Remote Policy Enforcement by a Multi-Enclave based Attestation Architecture

2021

The concept of usage control goes beyond traditional access control by regulating not only the retrieval but also the processing of data. To be able to remotely enforce usage control policy the processing party requires …

Annotary: A Concolic Execution System for Developing Secure Smart\n Contracts

2019 · arXiv (Cornell University)

Ethereum smart contracts are executable programs, deployed on a peer-to-peer\nnetwork and executed in a consensus-based fashion. Their bytecode is public,\nimmutable and once deployed to the blockchain, cannot be patched anymore. As\nsmart contracts may hold Ether …