Alexander Semenov
Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики
- Formal Methods in Verification
- Cryptographic Implementations and Security
- Coding theory and cryptography
- DNA and Biological Computing
- Chaos-based Image/Signal Encryption
Чем занимается
Ключевые темы по публикациям: Formal Methods in Verification; Cryptographic Implementations and Security; Coding theory and cryptography; DNA and Biological Computing; Chaos-based Image/Signal Encryption.
Последние работы
Все 106 в OpenAlexOn Cryptographic Attacks Using Backdoors for SAT2018 · аннотациясвернуть
Propositional satisfiability (SAT) is at the nucleus of state-of-the-art approaches to a variety of computationally hard problems, one of which is cryptanalysis. Moreover, a number of practical applications of SAT can…
- Parallel Logical Cryptanalysis of the Generator A5/1 in BNB-Grid System2011
Algorithm for finding partitionings of hard variants of boolean satisfiability problem with application to inversion of some cryptographic functions2016 · аннотациясвернуть
In this paper we propose an approach for constructing partitionings of hard variants of the Boolean satisfiability problem (SAT). Such partitionings can be used for solving corresponding SAT instances in parallel. For…
Mn-Doped BaTiO3 Ceramics: Thermal and Electrical Properties for Multicaloric Applications2019 · аннотациясвернуть
Multiferroic materials are widely used in microelectronics because they are sensitive to elastic, magnetic, and electric fields and there is an intrinsic coupling between them. In particular, transition metal-doped…
- Encoding Cryptographic Functions to SAT Using Transalg System2016
- Combining greedy and evolutionary algorithms to maximize influence in networks under deterministic linear threshold model2025
- Effective Partitioning Method With Predictable Hardness for CircuitSAT2025
- REDUCING DISCRETE OPTIMIZATION PROBLEMS TO THE QUBO FORM2025
Наукометрия
Написать научруку
Email не найден в открытых источниках — поищи на странице вуза или в последних статьях.
Шаблон письма
Здравствуйте, Alexander Semenov! Я студент(ка) [курс, факультет, вуз]. Мне интересна тема [опишите интересы своими словами]. Прочитал(а) вашу работу «On Cryptographic Attacks Using Backdoors for SAT» (2018) — она близка к тому, чем я хочу заниматься. Хочу обсудить возможность выполнить научную работу под вашим руководством. Буду благодарен(на) за ответ — готов(а) рассказать о себе подробнее и прислать резюме. С уважением, [Имя Фамилия]
На этапе теста письмо отправляешь сам из своей почты. Отправка из сервиса и статусы заявок — скоро.