Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts.
Elvira AlbertPablo GordilloAlejandro Hernández-CerezoClara Rodríguez-NúñezAlbert RubioPublished in: IJCAR (2022)
Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- theorem proving
- theorem prover
- decision procedures
- reasoning tasks
- probabilistic reasoning
- security issues
- automated verification
- security level
- information security
- smart grid
- knowledge representation and reasoning
- neural network
- supply chain
- network security
- intrusion detection
- artificial neural networks
- training set
- bayesian networks