Wenting Dong
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2024–2025
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SEKE | Formalization and Verification of XMPP Communication Mechanism Using CSP (S). | Di Wu, Wenting Dong, Huibiao Zhu |
| 2024 | COMPSAC | Formal Verification and Security Analysis of AMQP. | Huiying Liu, Wenting Dong, Huibiao Zhu, Ziqing Su |
| 2024 | ISSRE | A Security Verification Framework for the LoRaWAN Protocol with Application in the Manufacturing Industry. | Wenting Dong, Huibiao Zhu, Sini Chen, Ning Ge |