Login / Signup
Identifying malicious accounts in Blockchains using Domain Names and associated temporal properties.
Rohit Kumar Sachan
Rachit Agarwal
Sandeep Kumar Shukla
Published in:
CoRR (2021)
Keyphrases
</>
formal methods
temporal properties
model checking
domain specific
artificial intelligence
cooperative
genetic algorithm
rough sets
autonomous agents
development process