System and Software Security Lab

System and Software Security Lab(S3L) is in School of Information Science and Technology at ShanghaiTech

Research in S3L focus on Model-checking, Binary/Source program analysis & verification, Computer security, automata and logics.