Vol-3155⫷ Vol-3156 ⫸Vol-3157
urn:nbn:de:0074-3156-0


Vol-3156/paper36⫷Vol-3156/paper37⫸Vol-3156/paper38
Serhii HorbatiukOleksandr A. LetychevskyiVladimir S. Peschanenko

Consensus protocol security analysis using an algebraic virtual machine