| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2024 | — | conf |
DAPPS
|
| 2022 | — | conf |
dHealth
|
| 2019 | — | conf |
ICMHI
|
| 2019 | — | conf |
MedInfo
|
| 2012 | J | jnl |
J. Comput. Secur.
|
| 2011 | A | conf |
AAMAS
|
| 2010 | — | conf |
STM
|
| 2009 | — | conf |
Formal Aspects in Security and Trust
|
| 2009 | Misc | conf |
AISC
|
| 2006 | — | conf |
ICN/ICONS/MCL
|
| 2005 | B | conf |
ATVA
|
| 2005 | — | conf |
TestCom
|
| 2004 | C | conf |
FORTE
|