Схема $\mathrm{ECIES}$ анализируется с помощью техники теоретико-сложностных сведе́ний («доказуемая стойкость»). Показано, что если схема задается при помощи схемы выработки общего секретного ключа $\mathsf{KE}$ и аутентифицированного шифрования $\mathsf{AE}$, то преимущества противника относительно в стандартных моделях $\mathsf{LOR-CCA}$ $\mathsf{INT-CTXT}$ могут быть ограничены сверху через противников модели $\mathsf{mODH}$ (задача Диффи - Хеллмана доступом к оракулу) $\mathsf{AE}$...

В статье рассматриваются различные модели безопасности для псевдослучайных функций, необходимые при анализе стойкости протоколов (например, протокола 5G-AKA выработки общего ключа в сетях 5G). Рассмотрено несколько формальных моделей, показана их сводимость к стандартной $\mathsf{PRF}$ псевдослучайной функции.

Конечные квазигруппы и $n$-квазигруппы являются перспективной платформой для реализации криптоалгоритмов. Одна из актуальных задач заключается в эффективном по памяти порождении широких классов $n$-квазигрупп большого порядка. В работе предлагается возможный подход к решению этой задачи, основанный на правильных семействах функций, показано, что число порождаемых оценивается снизу функцией от мощности образа соответствующего правильного семейства, исследуются возможные значения образа,...

Правильные семейства функций являются удобным средством для задания больших параметрических семейств квазигрупп и $d$-квазигрупп большого порядка. В работе приводится ряд примеров правильных семейств, описывается связь между правильными семействами квазигруппами или $d$-квазигруппами, обсуждаются эквивалентные определения понятия правильности различные операции над семействами, сохраняющие правильность, анализируется сложность проверки изучаются возможные конфигурации существенной...

Показано, что треугольные семейства булевых функций составляют экспоненциально малую часть от всех правильных семейств заданного размера. Доказано, число решений уравнения $F(x) = A$ с правильным семейством в левой части является четным. Описан новый класс функций.

Статья содержит обзор методов шифрования, сохраняющего формат, алгоритмов, предложенных для стандартизации, а также атак на них. Описана новая схема формат основанная квазигрупповых операциях.

АНАЛИЗ РЕЖИМОВ ШИФРОВАНИЯ ДЛЯ РЕАЛИЗАЦИИ В УСТРОЙСТВАХ RFIDК. Д

The paper is devoted to the generalization of so-called “forking lemma” case when hash function returns a tuple trits (trit variable that can take one out three values 0, 1, 2). It be stated as follows. Let A(par, b) an algorithm that, run on randomly chosen par ←R Params and b {0, 2} δ , successfully stops correct answer x with probability ϵ. Then there exists B uses A subroutine triple (x1, x2, x3), where xi ← bi ), i = 2, 3, additional condition position j such {b 1 b2 b3 } (i.e., all in...

Abstract We show that triangular families of Boolean functions comprise an exponentially small fraction proper a given order. prove if F is family functions, then the number solutions equation ( x ) = A even. Finally, we describe new class functions.

Finite quasigroups are a promising structure for realizing various cryptographic primitives. Table job quasigroup operation requires quadratic on the order of amount memory; as consequence, when using large order, problem minimizing spatial complexity. One possible solution is to move from tabular assignment an functional one. V.A. The bow was construction based proper families functions and allowing one define parametric big order. We have previously announced results power sets generated...