PLAS LAB

PLAS Laboratory has researched on programming model for pervasive and future computing, has developed policy/property description language and related processing systems, and has conducted projects for software vulnerability analysis. We envision our works help programmers develop high-quality software more easily by providing useful programming interfaces and tools to programmers, and make software more secure. 

Programming methods with safety and privacy, dedicated to distributed smart contracts

Program analyses to detect security-related perspectives of source/binary codes