| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | J | jnl |
CoRR
|
| 2025 | J | jnl |
Inf.
|
| 2025 | J | jnl |
CoRR
|
| 2025 | — | conf |
exp.at
|
| 2024 | J | jnl |
Formal Aspects Comput.
|
| 2023 | Misc | conf |
SAC
|
| 2023 | C | conf |
PRDC
|
| 2023 | J | jnl |
CoRR
|
| 2023 | A* | conf |
CCS
|
| 2022 | J | jnl |
IEEE Trans. Dependable Secur. Comput.
|
| 2021 | B | conf |
NCA
|
| 2020 | A | conf |
DSN
|
| 2020 | — | conf |
DSN (Supplements)
|