Stepan Kochemazov
Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики
- Formal Methods in Verification
- graph theory and CDMA systems
- Cryptographic Implementations and Security
- DNA and Biological Computing
- Complex Network Analysis Techniques
Чем занимается
Ключевые темы по публикациям: Formal Methods in Verification; graph theory and CDMA systems; Cryptographic Implementations and Security; DNA and Biological Computing; Complex Network Analysis Techniques.
Последние работы
Все 57 в 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…
Encoding Cryptographic Functions to SAT Using Transalg System2016 · аннотациясвернуть
In this paper we propose the technology for constructing propositional encodings of discrete functions. It is aimed at solving inversion problems of considered functions using state-of-the-art SAT solvers. We…
Encoding Cryptographic Functions to SAT Using TRANSALG System2016 · аннотациясвернуть
In this paper we propose the technology for constructing propositional encodings of discrete functions. It is aimed at solving inversion problems of considered functions using state-of-the-art SAT solvers. We…
Using Synchronous Boolean Networks to Model Several Phenomena of Collective Behavior2014 · аннотациясвернуть
In this paper, we propose an approach for modeling and analysis of a number of phenomena of collective behavior. By collectives we mean multi-agent systems that transition from one state to another at discrete moments…
- An Improved SAT-Based Guess-and-Determine Attack on the Alternating Step Generator2017
- Using Constraint Solvers to Construct Binary Codes with Good Error Correction Performance2026
- Combining greedy and evolutionary algorithms to maximize influence in networks under deterministic linear threshold model2025
- Effective Partitioning Method With Predictable Hardness for CircuitSAT2025
Наукометрия
Написать научруку
Email не найден в открытых источниках — поищи на странице вуза или в последних статьях.
Шаблон письма
Здравствуйте, Stepan Kochemazov! Я студент(ка) [курс, факультет, вуз]. Мне интересна тема [опишите интересы своими словами]. Прочитал(а) вашу работу «On Cryptographic Attacks Using Backdoors for SAT» (2018) — она близка к тому, чем я хочу заниматься. Хочу обсудить возможность выполнить научную работу под вашим руководством. Буду благодарен(на) за ответ — готов(а) рассказать о себе подробнее и прислать резюме. С уважением, [Имя Фамилия]
На этапе теста письмо отправляешь сам из своей почты. Отправка из сервиса и статусы заявок — скоро.