Affiliation:
1. Seoul National University; Seoul Korea
2. Korea University; Seoul Korea
Funder
Samsung Research Funding Center of Samsung Electronics
Institute for Information & communications Technology Promotion(IITP)
Development of Vulnerability Discovery Technologies for IoT Software Security
Development of homomorphic encryption for DNA analysis and biometry authentication
Basic Science Research Program through the National Research Foundation of Korea(NRF)
Ministry of Science, ICT & Future Planning
BK21 Plus for Pioneers in Innovative Computing (Dept. of Computer Science and Engineering, SNU)
National Research Foundation of Korea
Reference16 articles.
1. Shivers OG Control-flow analysis of higher-order languages -or- taming lambda Ph.D. Thesis Pittsburgh 1991
2. The octagon abstract domain;Miné;Higher-Order and Symbolic Computation,2006
3. Sparrow http://ropas.snu.ac.kr/sparrow
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献