Smart contracts vulnerabilities: a call for blockchain software engineering?
Giuseppe DestefanisMichele MarchesiMarco OrtuRoberto TonelliAndrea BraccialiRobert M. HieronsPublished in: IWBOSE@SANER (2018)
Keyphrases
- software engineering
- software development
- smart grid
- information security
- artificial intelligence
- software engineers
- supply chain
- knowledge engineering
- reverse engineering
- object oriented
- design patterns
- software projects
- development process
- software architecture
- software systems
- software maintenance
- countermeasures
- security risks
- software design
- formal methods
- requirements engineering
- neural network
- intrusion detection
- systems development
- programming language
- security patterns
- requirements elicitation
- ubiquitous environments