Alexander Vinnikov

Modeling Cryptographic Protocols Using Computer Algebra Systems

2020 · 2020 V International Conference on Information Technologies in Engineering Education ( Inforino )

We present the IT solutions for modeling of cryptographic protocols for educational purposes and compare three approaches. The first approach is based on protocol implementation provided by computer algebra system Sage, the second is based …