scholarly journals Statistical Model Checking of Common Attack Scenarios on Blockchain

2021 ◽  
Vol 342 ◽  
pp. 65-77
Author(s):  
Ivan Fedotov ◽  
Anton Khritankov

Author(s):  
Mitsuaki Tsuji ◽  
Toshinori Takai ◽  
Kazuki Kakimoto ◽  
Naoki Ishihama ◽  
Masafumi Katahira ◽  
...  


Author(s):  
Salim Chehida ◽  
Abdelhakim Baouya ◽  
Saddek Bensalem ◽  
Marius Bozga


Author(s):  
Toni Mancini ◽  
Enrico Tronci ◽  
Ivano Salvo ◽  
Federico Mari ◽  
Annalisa Massini ◽  
...  


Author(s):  
Herbert Rausch Fernandes ◽  
Giovanni Freitas Gomes ◽  
Antonio Carlos Pinheiro de Oliveira ◽  
Sérgio Vale Aguiar Campos


2015 ◽  
Vol 16 (S17) ◽  
Author(s):  
Faraz Hussain ◽  
Christopher J Langmead ◽  
Qi Mi ◽  
Joyeeta Dutta-Moscato ◽  
Yoram Vodovotz ◽  
...  


Sign in / Sign up

Export Citation Format

Share Document