3 citations · 3 across the 9 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.CR2020
New method of verifying cryptographic protocols based on the process model
A. M. Mironov
A cryptographic protocol (CP) is a distributed algorithm designed to provide a secure communication in an insecure environment. CPs are used, for example, in electronic payments, e…
cs.LO2020
State diagrams of functional programs
Andrew M. Mironov
In the paper we introduce graphical objects (called state diagrams) related to functional programs. It is shown that state diagrams of functional programs can be used to solve prob…