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 4 days ago

IS2Lab/S-Eval

Yuanxh  updated a Space 4 days ago

IS2Lab/S-Eval

Yuanxh  published a Space 4 days ago

IS2Lab/S-Eval

View all activity

Team members 2