Игорь Сорокин, старший программный архитектор Лаборатории Касперского. После окончания Пензенского госуниверситета в 1992 году работал в качестве инженера, а позже архитектора и руководителя команд в научно-исследовательских организациях, занимающихся исследованиями в области защиты информации. В 2005 защитил диссертацию по специальности «Системный анализ, управление и обработка информации» в области биометрической идентификации личности. Принимал участие в разработке системы аутентификации и контроля действий пользователя в компании Sprint Telecom (USA). С 2017 года работает в «Лаборатории Касперского» над задачами проектирования систем, построенных на базе Kaspersky OS.
Задача контроля корректности вычислений встает перед разработчиками решений под любую операционную систему. При этом возникает необходимость как определения момента некорректного вычисления, так и локализации команд процесса, приведших к некорректным вычислениям. Для решения данной задачи использование подходов, основанных на контрольном таймере, дублировании процессов или наложенных средствах контроля, является или избыточным, или не гарантирует локализацию нарушения вычислений в максимально короткие сроки.
В докладе предлагаются подходы контроля корректности функционирования процессов, основанные на методе контроля размерностей переменных процесса. Предлагаемый метод позволяет определять некорректность производимых процессом вычислений непосредственно после исполнения некорректной команды.
