Skip to main content
Call us : +7 (843) 203-92-53 E-mail : university@innopolis.ru
English ‎(en)‎
English ‎(en)‎ Русский ‎(ru)‎
Log in
Innopolis University
Home Course search
Innopolis University
  • Home
  • Course search
  • More

    Course information

    [S21] Formal Verification of Distributed Algorithms and Cryptographic Protocols

    • Teacher: Andrey Mironov
    • Teacher: Nikolay Vasilev

    Info

    Contact Us

    1 Universitetskaya, Innopolis, Tatarstan, 420500

    Phone : +7 (843) 203-92-53

    Email : university@innopolis.ru

    Follow Us

    Copyright © 2017 - Developed by LMSACE.com. Powered by Moodle

    Contact site support
    You are not logged in. (Log in)
    Data retention summary
    Get the mobile app
    Powered by Moodle