Shuanglong Kan

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 18

Top Topics

Operational Semantics

Linear Temporal Logic

Cardinality Constraints

Boolean Variables

Top Venues

Softw. Pract. Exp.

IEEE Symposium on Security and Privacy

Publications