Проекты:

– Разработка инструментов анализа бинарного кода на базе виртуальных машин;
– Динамическая двоичная трансляция: оптимизация производительности, расширение набора поддерживаемых архитектур;
– Аппаратная виртуализация: применение аппаратной виртуализации для анализа бинарного кода;
– Специализированные программные инструменты для разработки виртуальных машин;
– Совмещение программной эмуляции с выделенными для виртуальной машины физическими устройствами.