“Secure Execution of Smart Contracts” (SESC) focuses on research addressing the emerging requirements for supporting the whole lifecycle of smart contract infrastructures in the long term.
The project aims to identify and analyze requirements for smart contracts and investigate the methods to provide security in smart contract systems based on these requirements. Therefore, existing solutions will be studied extensively to identify requirements that need to be met for smart contracts to be used in different problem domains. Furthermore, these requirements will be extensively and consistently evaluated concerning their impact on security properties. This enables us to better understand security implications that arise with the use of smart-contract-based systems and ways to adapt smart contracts to different fields of application while still maintaining a level of security according to requested requirements.