| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | A* | conf |
SOSP
|
| 2025 | J | jnl |
IEEE Trans. Sustain. Comput.
|
| 2025 | J | jnl |
IEEE Trans. Sustain. Comput.
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2023 | J | jnl |
Sensors
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
J. Syst. Archit.
|
| 2023 | J | jnl |
IEEE Internet Things J.
|
| 2022 | J | jnl |
IEEE Trans. Netw. Sci. Eng.
|
| 2021 | J | jnl |
Pers. Ubiquitous Comput.
|
| 2020 | — | conf |
ICAIS (1)
|
| 2019 | J | jnl |
Manag. Sci.
|
| 2018 | — | conf |
I-SPAN
|
| 2017 | J | jnl |
Secur. Commun. Networks
|
| 2016 | — | conf |
Monterey Workshop
|
| 2014 | C | conf |
IGARSS
|
| 2008 | — | conf |
FICS
|
| 2008 | Misc | conf |
FAW
|
| 2008 | — | conf |
FMSE
|
| 2008 | — | conf |
FICS
|
| 2008 | Misc | conf |
Inscrypt
|
| 2008 | C | conf |
SEKE
|
| 2007 | — | conf |
An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming.
ASIAN
|
| 2007 | Misc | conf |
FAW
|