Kangfeng Ye
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2022–2025
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICFEM | Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks. | Kangfeng Ye, Roberto Metere, Jim Woodcock, Poonam Yadav |
| 2024 | SEFM | User-Guided Verification of Security Protocols via Sound Animation. | Kangfeng Ye, Roberto Metere, Poonam Yadav |
| 2022 | ICFEM | Formally Verified Animation for RoboChart Using Interaction Trees. | Kangfeng Ye, Simon Foster, Jim Woodcock |