Activities
In this page, we will give some details of the jointly organized workshops. We have organized two workshops. In these workshops, the research groups discussed the following topics:
- How to design NTRU-based cryptosystems
- Analyzing Diffie-Hellman by using Maude-NRL
- How to achieve formal analysis of public key cryptosystems by using Maude-NRL
- Understanding algebraic effects of arithmetic operations over finite rings for the formal analysis of NTRU-based cryptosystems
- How to design an automated tool to perform formal analysis for NTRU-based cryptosystems
The Second Workshop on Formal Analysis of Cryptosystems (January 13-17, 2020, Tblisi, Georgia)
In this meeting, there are several presentations/talks about the project:
- Sedat Akleylek, “An Introduction to Formal Analysis of NTRU-based Cryptosystems”
- Barış Bülent Kırlar, “A Survey of NTRU Digital Signature Algorithms ”
- Oğuz Yayla, “Analysis of ETRU Cryptosystem”
- Ferdi Elverdi, “Design of Nyberg-Rueppel Type of Digital Signature Algorithm”
- Mikheil Rukhaia, “Examples for Maude-NRL”
The First Workshop on Formal Analysis of Cryptosystems (August 05-09, 2019, Antalya, Turkey)
In this meeting, there are several presentations/talks about the project:
- Sedat Akleylek, “An Introduction to NTRU-based Cryptosystems”
- Nurşah Kaya Çevik, “Security Games for Key Agreement Protocols”
- Lela Mirtskhulava, “Cryptanalysis of Internet of Things (IoT) Wireless Technology”
- Mikheil Rukhaia, “Introduction to Maude-NRL”