Call for Papers: SATE 2018, ICFEM 2018, ICECCS 2018
SATE 2018: http://sei.pku.edu.cn/~xiongyf04/confs/sate18/index_en.html
Read moreSATE 2018: http://sei.pku.edu.cn/~xiongyf04/confs/sate18/index_en.html
Read morehttps://secdev.ieee-security.org/
Read moreThe deadline is approaching (Oct 10). https://www.icse2018.org/track/icse-2018-workshop-proposals
Read moreFM 2015: Verifying Parameterized Timed Security Protocols, by Li Li, Jun Sun, Yang Liu and Jin Song Dong ISSTA 2015: JS*: Detection and Classification of Malicious JavaScript via Attack Behavior Modelling, by Yinxing Xue,…
Read moreFor TASE’15, we would feature three keynote talks by Prof. Patrick Cousot and Prof. Marsha Chechik and Prof. Dong Jin Song
Read morehttp://www.channelnewsasia.com/news/singapore/seven-cyber-security/1415680.html Awarded two projects as co-PI: SUTD-ASPIRE (SUTD) and Securify (NTU, NUS, SUTD). Let the hard-working begin.
Read moreHenri Hansen, Shang-Wei Lin, Yang Liu, Truong Khanh Nguyen and Jun Sun, “Diamonds are a Girl’s Best Friend: Partial Order Reduction for Timed Automata With Abstractions”.
Read moreConsider submitting to the following conferences which I am on PC list. ICSE-NIER 2015, AVOCS 2014, ICECCS 2014, ICFEM 2014, UTP 2014, TIME 2014, SEFM 2014, SSV 2014
Read moreTitle: “Detecting and Summarizing Differences across Multiple Instances of Code Clones” Authors: Yun Lin, Zhenchang Xing, Yinxing, Yang Liu, Xin, Jun Sun and Wenyun Zhao Congratulations to Lin Yun.
Read moreTITLE: Automated Runtime Recovery for QoS-based Service Composition AUTHORS: Tian Huat Tan, Manman Chen, Étienne André, Jun Sun, Yang Liu and Jin Song Dong
Read more