Speaker: MohammadReza Mousavi (Eindhoven University of Technology and Halmstad University)
Abstract: Testing and debugging are indispensable parts of software development and count for more than half of the development time and cost. However, the theory of testing is still in its infancy and has not developed yet fully into a rigorous discpline. In this talk, we present a foundational approach to model-based testing and show how we applied it in testing an operational financial system. Then, we reflect on the shortcomings we encountered while applying the theory and report on our ongoing theoretical work to remedy the encountered shortcomings.
Speaker: Silvano Colombo Tosatto (University of Luxembourg), Marwane El Kharbili (University of Luxembourg), Guido Governatori (NICTA, Australia), Pierre Kelsen (University of Luxembourg), Qin Ma (University of Luxembourg), and Leendert van der Torre (University of Luxembourg)
Speaker: Christopher Preschern (Graz University of Technology), Andreas Johann Hörmer (Graz University of Technology), Nermin Kajtazovic (Graz University of Technology), and Christian Kreiner (Graz University of Technology)
Speaker: Hirokazu Yatsu (Kyushu University), Takahiro Ando (Kyushu University), Weiqiang Kong (Kyushu University), Kenji Hisazumi (Kyushu University), Akira Fukuda (Kyushu University), Toshiaki Aoki (JAIST), and Kokichi Futatsugi (JAIST)
Speaker: Tomasz Truderung (Trier University)
Abstract: We consider the problem of establishing cryptographic guarantees -- in particular, computational indistinguishability -- for Java or Java-like programs that use cryptography. For this purpose, we propose a general framework that enables existing program analysis tools that can check (standard) non-interference properties of Java programs to establish cryptographic security guarantees, even if the tools a priori cannot deal with cryptography. The approach that we take combines techniques from program analysis and simulation-based security. Our framework is stated and proved for a Java-like language that comprises a rich fragment of Java. The general idea of our approach should, however, be applicable also to other practical programming languages.
Speaker: Yanhong Huang (East China Normal University), Yongxin Zhao (National University of Singapore), Jianqi Shi (National University of Singapore), and Huibiao Zhu (East China Normal University)
Speaker: Huiquan Zhu (National University of Singapore), Jin Song Dong (National University of Singapore), Bimlesh Wadhwa (National University of Singapore), and Shang-Wei Lin (National University of Singapore)