Kit Sum Tse

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

Computational Framework

Computer Vision

Main Contribution

Top Venues

IEEE Symposium on Security and Privacy Workshops

Publications

Kit Sum Tse, Peter C. Johnson
A Framework for Validating Session Protocols. IEEE Symposium on Security and Privacy Workshops (2017)