Аппаратная и системная безопасность · NUS Computing

Мы изучаем безопасность и корректность нижних уровней вычислительных систем. Мы находим уязвимости, скрытые глубоко в аппаратуре и системах, и создаём средства защиты от них.

  • Flavien Solt

    Ассистент-профессор

    Flavien Solt

    Безопасность и корректность аппаратуры с помощью фаззинга и формальной верификации.

  • Xu Jinyan

    Постдок

    Xu Jinyan

    Совместное проектирование аппаратуры и ПО для безопасных и верифицируемых систем.

  • Liu Chang

    Постдок

    Liu Chang

    Микроархитектурные атаки и безопасность доверенных сред исполнения.

  • Peng Xuanyao

    Аспирант

    Peng Xuanyao

    Аппаратная безопасность и конфиденциальные вычисления, включая безопасные и эффективные системы ИИ.

  • Liao Jikun

    Аспирант

    Liao Jikun

    Совместно с Liang Zhenkai

    Безопасность на уровне компилятора и безопасность систем.

  • Lu Kun

    Научный ассистент

    Lu Kun

    Совместное проектирование аппаратуры и ПО для конфиденциальных вычислений и безопасности ускорителей.

  • Peng Lei

    Приглашённый аспирант

    Peng Lei

    Безопасность процессоров с помощью фаззинга аппаратуры и формальной верификации.

  • Chen Decheng

    Приглашённый аспирант

    Chen Decheng

    Атаки по побочным каналам и безопасность доверенных вычислительных систем.

Новости

Все новости

Присоединяйтесь

Аспиранты, постдоки и стажёры-исследователи.

Смотреть вакансии

Четыре небольшие игры, по одной на каждую тему исследований, с уровнями, магазином и чипом дня. Звук включён, и кнопка его выключает.

Фаззинг и валидация
Отслеживание информационных потоков
Формальная верификация
DRAM и Rowhammer

Баги выползают из чипа и спускаются по плате. Обвязка стреляет сама: управляйте ею, уничтожайте баги сериями ради множителя и ловите то, что они роняют. Чип считается профаззенным, когда его таймер истёк, а босс-эррата повержен. Каждый чип приносит новую топологию, новый вид багов и магазин, где за очки покупаются улучшения обвязки. Пропущенные баги стоят очков, а каждый пятый ещё и жизни.

Счёт0
Найдено багов0
Комбо×1
Чип1
Жизни3
Время0:40
Рекорд0
УровеньУр. 1