?
Foundations for Decision Problems in Separation Logic with General Inductive Predicates
Ch. 27. P. 411-425.
Antonopoulos T., Gorogiannis N., Haase C., Канович М. И., Ouaknine J.
Brotherston J., Канович М. И., Journal of the ACM 2014 Vol. 61 No. 2 P. 14:1-14:43
Добавлено: 23 марта 2015 г.
Саватеев Ю. В., Annals of Pure and Applied Logic 2012 Vol. 163 P. 775-788
Добавлено: 20 октября 2014 г.
Добавлено: 5 февраля 2021 г.
Захаров В. А., Новикова Т. А., , in : Proceedings of the 28th International Workshop on Unification, UNIF 2014. Technical report no. 14-06 in RISC Report Series. : Linz : Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, 2014. P. 55-61.
Добавлено: 13 октября 2015 г.
Zakharov V.A., Kuzurin N. N., Varnovsky N. P. и др., Programming and Computer Software 2015 Vol. 41 No. 6 P. 361-372
Program obfuscation is a semantic-preserving transformation aimed at bringing a program into a form that impedes understanding of its algorithm and data structures or prevents extracting certain valuable information from the text of the program. Since obfuscation may find wide use in computer security, information hiding and cryptography, security requirements to program obfuscators have become ...
Добавлено: 13 октября 2015 г.
Добавлено: 10 мая 2023 г.
Захаров В. А., Коннов И. В., Journal of symbolic computation 2010 Vol. 45 No. 11 P. 1144-1162
Добавлено: 12 октября 2015 г.
Канович М. И., Ban Kirigin T., Nigam V. и др., Information and Computation 2014 No. 238 P. 233-261
Добавлено: 23 марта 2015 г.
Berlin : Springer, 2013
This volume contains the papers selected for presentation at the 18th European Symposium on Research in Computer Security (ESORICS 2013), held during September 9–13, 2013, in Egham, UK. In response to the symposium’s call for papers, 242 papers were submitted to the conference from 38 countries. These papers were evaluated on the basis of their ...
Добавлено: 24 марта 2015 г.
Канович М. И., Ban Kirigin T., Nigam V. и др., Computer Languages, Systems & Structures 2014 No. 40 P. 137-154
Добавлено: 23 марта 2015 г.
Черкесова Л. В., Сафарьян О. А., Смирнов И. А., Молодой исследователь Дона 2018 Т. 3 (12) С. 111-121
Представлен проект реализации ρ-метода факторизации Полларда на языке C++, который работает быстрее стандартного алгоритма на 27%. Это помогает значительно облегчить работу в расшифровывании и криптоанализе в различных шифрах, например, таких как RSA. ...
Добавлено: 9 мая 2023 г.
Шитов Я. Н., SIAM Review 2017 Vol. 59 No. 4 P. 794-800
Добавлено: 9 ноября 2017 г.
Кузнецов С. Л., , in : Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday. Issue 12300.: Cham : Springer, 2020. P. 3-16.
Добавлено: 25 ноября 2020 г.
Канович М. И., Ban Kirigin T., Nigam V. и др., , in : Lecture Notes in Computer Science. Computer Security – ESORICS 2013 18th European Symposium on Research in Computer Security, Egham, UK, September 9-13, 2013. Proceedings. : Berlin : Springer, 2013. Ch. 18. P. 309-326.
Добавлено: 24 марта 2015 г.
Netherlands : Springer, 2018
Добавлено: 5 декабря 2018 г.
Саватеев Ю. В., Известия РАН. Серия математическая 2011 Т. 75 № 3 С. 189-222
С помощью сетей доказательств исследуется алгоритмическая сложность проблемы выводимости в некоторых фрагментах исчисления Ламбека. Доказана NP-полнота этой задачи для одностороннего фрагмента и для фрагмента без умножения, а также для вариантов этих фрагментов, допускающих пустые антецеденты. ...
Добавлено: 20 октября 2014 г.
IEEE Computer Society, 2018
Добавлено: 1 ноября 2020 г.
Захаров В. А., Кузюрин Н. Н., Варновский Н. П. и др., Программирование 2015 № 6
Обфускацией программ называется такое эквивалентное преобразование программ, которое придает программе форму, затрудняющую понимание алгоритмов и структур данных, используемых программой, и препятствующую извлечению из текста программы определенной полезной информации, содержащейся в ней. Поскольку обфускация программ может найти широкое применение при решении многих задач криптографии и компьютерной безопасности, задаче оценки стойкости обфускации придается очень большое значение, начиная ...
Добавлено: 13 октября 2015 г.
Stepan L. Kuznetsov, Journal of Logic and Computation 2023 Vol. 33 No. 6 P. 1437-1462
Добавлено: 7 марта 2023 г.
IEEE Computer Society, 2017
Добавлено: 4 октября 2018 г.
Канович М. И., Brotherston J., Gorogiannis N., , in : 26th International Conference on Automated Deduction – CADE 26. : Springer, 2017. P. 472-490.
Добавлено: 14 сентября 2017 г.
Novosibirsk : IEEE, 2018
Добавлено: 23 апреля 2019 г.
Захарьящев М. В., BRESOLIN D., KURUCZ A. и др., , in : ACM Transactions on Computational Logic (TOCL). Vol. 18. Issue 3.: NY : ACM, 2017. P. 1-39.
We investigate the satisfiability problem for Horn fragments of the Halpern-Shoham interval temporal logic depending on the type (box or diamond) of the interval modal operators, the type of the underlying linear order (discrete or dense), and the type of semantics for the interval relations (reflexive or irreflexive). For example, we show that satisfiability of ...
Добавлено: 17 сентября 2017 г.
Brotherston J., Gorogiannis N., Kanovich Max и др., , in : POPL 2016 Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. : NY : ACM, 2016. P. 84-96.
We investigate the *model checking* problem for symbolic-heap separation logic with user-defined inductive predicates, i.e., the problem of checking that a given stack-heap memory state satisfies a given formula in this language, as arises e.g. in software testing or runtime verification. First, we show that the problem is *decidable*; specifically, we present a bottom-up fixed ...
Добавлено: 9 июня 2016 г.