Automated Inference on Financial Security of Ethereum Smart Contracts.
Wansen WangWenchao HuangZhaoyi MengYan XiongFuyou MiaoXianjin FangCaichang TuRenjie JiPublished in: USENIX Security Symposium (2023)
Keyphrases
- smart grid
- inference control
- information security
- security issues
- inference process
- risk analysis
- semi automated
- statistical databases
- security requirements
- access control
- power system
- bayesian inference
- intrusion detection
- human operators
- computer security
- security problems
- security threats
- key management
- bayesian networks
- security analysis
- cyber security
- wireless sensor
- security level
- network management
- security policies
- network security
- belief networks
- stock market
- supply chain
- security mechanisms
- smart environments
- information technology
- information systems