All streams
Search
Write a publication
Pull to refresh
39
0
Станислав Семенов @StanSemenoff

Senior Director, R&D, ABBYY

Send message

Новый кандидат в односторонние функции для криптографии и PRNG

Level of difficultyMedium
Reading time7 min
Views1.2K

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

Читать далее

Инвариантная симметричная криптография: конструкция и модель безопасности

Level of difficultyMedium
Reading time7 min
Views1.8K

Предлагается симметричная криптографическая схема, основанная на функциональных инвариантах над псевдослучайными осцилляторными функциями с рациональными аргументами и скрытыми параметрами. Секретное значение v кодируется через алгебраическое тождество, связывающее четыре точки одной и той же функции. Без знания внутреннего устройства функции (индекса t, осцилляторов, маскирующих коэффициентов) подделка значений, удовлетворяющих инварианту, оказывается практически невозможной. Верификация осуществляется путём восстановления v из переданных значений s_1, s_3 и проверки хэша. Схема отличается компактностью, однонаправленностью и подходит для аутентификации, обмена параметрами и использования в условиях ограниченных ресурсов.

Читать далее

Пересмотр гипотезы континуума

Level of difficultyHard
Reading time8 min
Views2.6K

Гипотеза континуума (CH) утверждает, что между множеством натуральных чисел и множеством вещественных чисел нет промежуточной мощности. Классическая теория множеств рассматривает вещественную прямую как уже завершённое и неделимое множество мощности континуума.

В данной работе предлагается стратифицированная альтернатива классической модели континуума. Вещественные числа вводятся по мере роста выразительной силы формальных систем. Каждое число получает собственный «уровень определимости», отражающий, на каком этапе и с какими средствами его можно задать. Эта иерархия формирует фрактальную структуру: множество конструктивно определимых чисел распадается на счётное множество непересекающихся слоёв, каждый из которых имеет континуальную мощность и внутреннюю плотность.

В данной модели гипотеза континуума теряет силу как утверждение о «прыжке» между счётным и несчётным — вместо него появляется непрерывная шкала уровней определимости и континуальности.

Классический отрезок [0,1] в этом подходе можно рассматривать как завершение конструктивного фрактального ядра путём добавления чисел, определяемых только через аксиому выбора. В результате возникает гибридная модель, сочетающая точность конструктивной иерархии с полнотой классической теории.

Читать далее

Как научить машину понимать инвойсы и извлекать из них данные

Reading time8 min
Views10K
Привет, Хабр! Меня зовут Станислав Семенов, я работаю над технологиями извлечения данных из документов в R&D ABBYY. В этой статье я расскажу об основных подходах к обработке полуструктурированных документов (инвойсы, кассовые чеки и т.д.), которые мы использовали совсем недавно и которые используем прямо сейчас. А еще мы поговорим о том, насколько для решения этой задачи применимы методы машинного обучения.
Читать дальше →

Делаем нейронную сеть: как не сломать мозг

Reading time4 min
Views9K
Привет, Хабр!

В этой небольшой заметке расскажу о двух подводных камнях, с которыми как легко столкнуться, так и легко о них разбиться.

Речь пойдет о создании тривиальной нейронной сети на Keras, с помощью которой будем предсказывать среднее арифметическое двух чисел.

Казалось бы, что может быть проще. И действительно, ничего сложного, но есть нюансы.

Кому тема интересна, добро пожаловать под кат, здесь не будет долгих занудных описаний, просто короткий код и комментарии к нему.
Читать дальше →

Две задачки для собеседования разработчиков

Reading time4 min
Views98K
Раньше мне часто приходилось собеседовать людей на различные позиции, большая часть из них были разработчики приложений и баз данных. Процесс этот довольно утомительный, т.к. программисты люди смелые, творческие, любознательные и целеустремленные.
В моей практике были всякие вопросы. В статье я выделю три основных типа и расскажу, на чем я в итоге остановился и почему.
Читать дальше →

Как крупные корпорации убивают маленькие стартапы

Reading time6 min
Views181K
В этой статье я хочу рассказать историю одного стартапа, который я запустил 10 лет назад, о первых продажах, о «взлете», который так и не случился, и о том, как все это кануло в Лету (река «Забвения»).

В начале 2000-х популярным направлением для самодеятельности была разработка программного обеспечения. Интернет еще был не так популярен, как сейчас, а софт ставили все кому не лень и всякий разный. Тогда я был хорошим, можно сказать, сильным программистом на C++. Никакие самые сложные задачи не могли остановить меня. И я подумал, а не сделать ли что-то свое, потому что перспектива работать на контору, которая программировала всякую «муть» для довольно «далеких» (в плане понимания необходимости ПО) заказчиков меня не сильно вдохновляла. Ведь жизнь проходит, энтузиазм не вечен (а если и вечен, то не у всех), а написать в резюме, что я 10 лет программировал на FoxPro для региональных филиалов не самого крупного банка – не было моей целью.
Поэтому я силой мысли нарисовал себе мечту (примерно как на картинке) и начал потихоньку к ней идти.


Читать дальше →

Information

Rating
Does not participate
Location
Кипр
Date of birth
Registered
Activity