Intelligent System Security Lab

AI & ML interests

The goal of the IS2Lab’s research is to develop various formal methods or software engineering techniques to provide certifiable (and ideally provable) reliability or security guarantees for practical intelligent or distributed systems like autonomous driving car, industrial control system, blockchain system, etc.

Recent Activity

Yuanxh  updated a dataset about 2 months ago

IS2Lab/S-Eval

Yuanxh  updated a Space 2 months ago

IS2Lab/S-Eval_v0.1.1

Yuanxh  updated a Space 2 months ago

IS2Lab/S-Eval_v0.1.2

View all activity

Team members 2