3 citations · 3 across the 9 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
Verification of MPI programs
Andrew M. Mironov
In this paper, we outline an approach to verifying parallel programs. A new mathematical model of parallel programs is introduced. The introduced model is illustrated by the verifi…
cs.CR2021
A Distributed Process Model of Cryptographic Protocols
Andrew M. Mironov
Cryptographic Protocols (CP) are distributed algorithms intended for secure communication in an insecure environment. They are used, for example, in electronic payments, electronic…