Using Dynamic Epistemic Logic To Construct A Secure Communication Protocol

Student: Ivan Melnikov

Educational Programme: Applied Mathematics and Information Science (Bachelor)

Final Grade: 9

Year of Graduation: 2024

This research examines the use of Dynamic Epistemic Logic to develop a secure communication protocol without traditional encryption. The study analyses logic problems, such as ’The Russian Cards Problem’, ’Yao’s Millionaires’ Problem’ and others to establish the conditions under which secure communication is possible and when it is not. The research evaluates various algorithms using probability analysis and computational methods to derive a universal approach for secure communication. The expected outcome is a new approach to secure information exchange that exploits the unique properties of Dynamic Epistemic Logic.

Full text (added May 20, 2024)

Student Theses at HSE must be completed in accordance with the University Rules and regulations specified by each educational programme.

Summaries of all theses must be published and made freely available on the HSE website.

The full text of a thesis can be published in open access on the HSE website only if the authoring student (copyright holder) agrees, or, if the thesis was written by a team of students, if all the co-authors (copyright holders) agree. After a thesis is published on the HSE website, it obtains the status of an online publication.

Student theses are objects of copyright and their use is subject to limitations in accordance with the Russian Federation’s law on intellectual property.

In the event that a thesis is quoted or otherwise used, reference to the author’s name and the source of quotation is required.

Search all student theses