Professor Bow-Yaw Wang, from Academia Sinica, paid a visit to Sino-Europe Institute of Dependable and Smart Software during Jul. 21st – 25th, 2019. Professor Wang gave us an excellent reports on the project progress of cryptography verification. He had an in-depth technical discussion with our members and developed some follow-up cooperative development plans.
Biography: Prof. Bow-Yaw Wang is a Research Fellow in Institute of Information Science, Academia Sinica, Taiwan. His research interest is logic and its application in computer science. He mainly works on formal verification. In the past, he has been working on compositional reasoning, program verification, learning-based verification techniques. More recently, he is interested in verifying assembly implementations of cryptographic primitives from security libraries such as OpenSSL and boringSSL. He is also running an interdisciplinary privacy research project at Academia Sinica.