32 citations · 189 across the 41 of their papers we have counts for
3 papers · 1 filter
Modeling and Verification of the Bitcoin Protocol
Kaylash Chaudhary, Ansgar Fehnker, Jaco van de Pol +1
Bitcoin is a popular digital currency for online payments, realized as a decentralized peer-to-peer electronic cash system. Bitcoin keeps a ledger of all transactions; the majority…
Time Dependent Analysis with Dynamic Counter Measure Trees
Rajesh Kumar, Dennis Guck, Marielle Stoelinga
The success of a security attack crucially depends on time: the more time available to the attacker, the higher the probability of a successful attack. Formalisms such as Reliabili…
Ioco Theory for Probabilistic Automata
Marcus Gerhold, Mariëlle Stoelinga
Model-based testing (MBT) is a well-known technology, which allows for automatic test case generation, execution and evaluation. To test non-functional properties, a number of test…