Login / Signup

Hanyue Dou

ORCID

Publication Activity (10 Years)

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

Top Topics

Formal Proof
File Transfer
Coloured Petri Nets
Lightweight

Top Venues

J. Inf. Secur. Appl.
Publications