Formal verification of fraud-resilience in a crowdsourcing consensus protocol.
Hamra AfzaalMuhammad ImranMuhammad Umar JanjuaPublished in: Comput. Secur. (2023)
Keyphrases
- formal verification
- coloured petri nets
- model checker
- model checking
- cryptographic protocols
- automated verification
- bounded model checking
- symbolic model checking
- program slicing
- fraud detection
- anomaly detection
- amazon mechanical turk
- temporal logic
- data mining techniques
- description language
- formal specification
- lightweight
- reinforcement learning
- human computation
- artificial intelligence