Papers Accepted at FM 2016

fm2016
Two full papers and a short paper co-authored by our group members were recently accepted by the 21st International Symposium on Formal Methods (FM 2016), which will be held in Limassol, Cyprus this November.

Postprints of the papers are available below. The first paper resulted from our work on verifying time-based security protocols, whereas the latter two resulted from our work on analysing and verifying real-world cyber-physical systems such as the SWaT Secure Water Treatment testbed at SUTD.

  • L. Li, J. Sun, and J. S. Dong. Automated verification of timed security protocols with clock drift. In Proc. International Symposium on Formal Methods (FM 2016), LNCS-FM, Springer, 2016.
    [PDF] [Bibtex]
    @inproceedings{Li-Sun-Dong16a,
    author = {Li Li and Jun Sun and Jin Song Dong},
    title = {Automated Verification of Timed Security Protocols with Clock Drift},
    booktitle = {{Proc. International Symposium on Formal Methods (FM 2016)}},
    series = {LNCS-FM},
    publisher = {Springer},
    year = {2016},
    pdf = {http://sav.sutd.edu.sg/wp-content/uploads/2016/08/Li-Sun-Dong.FM_.2016.pdf},
    note = {To appear},
    }
  • P. Kong, Y. Li, X. Chen, J. Sun, M. Sun, and J. Wang. Towards concolic testing for hybrid systems. In Proc. International Symposium on Formal Methods (FM 2016), LNCS-FM, Springer, 2016.
    [PDF] [Bibtex]
    @inproceedings{Kong-et_al16a,
    author = {Pingfan Kong and Yi Li and Xiaohong Chen and Jun Sun and Meng Sun and Jingyi Wang},
    title = {Towards Concolic Testing for Hybrid Systems},
    booktitle = {{Proc. International Symposium on Formal Methods (FM 2016)}},
    series = {LNCS-FM},
    publisher = {Springer},
    year = {2016},
    pdf = {http://sav.sutd.edu.sg/wp-content/uploads/2016/08/HyChecker-FM2016.pdf},
    note = {To appear},
    }
  • Y. Chen, C. M. Poskitt, and J. Sun. Towards learning and verifying invariants of cyber-physical systems by code mutation. In Proc. International Symposium on Formal Methods (FM 2016), LNCS-FM, Springer, 2016.
    [PDF] [Bibtex]
    @inproceedings{Chen-Poskitt-Sun16a,
    author = {Yuqi Chen and Christopher M. Poskitt and Jun Sun},
    title = {Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation},
    booktitle = {{Proc. International Symposium on Formal Methods (FM 2016)}},
    series = {LNCS-FM},
    publisher = {Springer},
    year = {2016},
    pdf = {http://sav.sutd.edu.sg/wp-content/uploads/2016/08/Chen-Poskitt-Sun.FM_.2016.pdf},
    note = {To appear},
    }