| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | J | jnl |
Digit.
|
| 2024 | — | conf |
IoT
|
| 2024 | J | jnl |
Frontiers Comput. Sci.
|
| 2022 | C | conf |
SIN
|
| 2020 | C | conf |
ICISSP
|
| 2020 | J | jnl |
CoRR
|
| 2019 | J | jnl |
Comput. Secur.
|
| 2019 | J | jnl |
IEEE Trans. Smart Grid
|
| 2019 | J | jnl |
IEEE Commun. Surv. Tutorials
|
| 2019 | J | jnl |
CoRR
|
| 2017 | J | jnl |
Concurr. Comput. Pract. Exp.
|
| 2017 | J | jnl |
IEEE Trans. Serv. Comput.
|
| 2017 | J | jnl |
CoRR
|
| 2016 | — | conf |
SysTEX@Middleware
|
| 2016 | B | conf |
CLOUD
|
| 2016 | J | jnl |
CoRR
|
| 2016 | — | conf |
HCI (20)
|
| 2016 | J | jnl |
CoRR
|
| 2015 | J | jnl |
CoRR
|
| 2015 | — | conf |
ICC
|
| 2015 | — | conf |
CSCloud
|
| 2015 | J | jnl |
CoRR
|
| 2015 | — | conf |
ICSE (2)
|
| 2015 | Misc | conf |
UCC
|
| 2015 | C | conf |
SecureComm
|
| 2015 | B | conf |
CLOUD
|
| 2014 | — | ed. |
WISEC
|
| 2014 | — | conf |
HAISA
|
| 2014 | — | conf |
SmartGridSec
|
| 2014 | — | conf |
INTRUST
|
| 2014 | — | conf |
SmartGridComm
|
| 2014 | — | conf |
SmartGridSec
|
| 2014 | — | conf |
SIoT
|
| 2014 | B | conf |
FM
|
| 2013 | — | conf |
ICITST
|
| 2012 | J | jnl |
IEEE Commun. Surv. Tutorials
|
| 2012 | — | conf |
SmartGridSec
|
| 2012 | C | conf |
DAIS
|
| 2012 | — | conf |
TaPP
|
| 2012 | — | conf |
TRUST
|
| 2012 | J | jnl |
IEEE Trans. Ind. Informatics
|
| 2012 | B | conf |
SERVICES
|
| 2012 | J | jnl |
IEEE Trans. Ind. Informatics
|
| 2012 | — | conf |
WICSA/ECSA Companion Volume
|
| 2011 | J | jnl |
Empir. Softw. Eng.
|
| 2011 | — | conf |
STC@CCS
|
| 2011 | — | conf |
ICEIS (3)
|
| 2011 | — | conf |
ICITST
|
| 2011 | J | jnl |
Future Gener. Comput. Syst.
|
| 2011 | — | conf |
STC@CCS
|
| 2011 | B | conf |
TrustCom
|
| 2011 | J | jnl |
Inf. Secur. Tech. Rep.
|
| 2011 | — | ch. |
Guide to e-Science
|
| 2011 | — | conf |
TRUST
|
| 2011 | C | conf |
CloudCom
|
| 2010 | J | jnl |
ACM Trans. Softw. Eng. Methodol.
|
| 2010 | — | conf |
INTRUST
|
| 2010 | — | conf |
TRUST
|
| 2010 | C | conf |
EUC
|
| 2010 | — | conf |
eScience
|
| 2010 | — | conf |
TaPP
|
| 2009 | — | conf |
CSE (3)
|
| 2009 | C | conf |
ISPA
|
| 2009 | — | ed. |
TRUST
|
| 2007 | J | jnl |
Inf. Secur. Tech. Rep.
|
| 2006 | — | conf |
Security Protocols Workshop
|
| 2006 | B | conf |
e-Science
|
| 2006 | B | conf |
CCGRID
|
| 2006 | — | conf |
Digital Rights Management Workshop
|
| 2005 | — | conf |
WLFM@FM
|
| 2005 | J | jnl |
Softw. Pract. Exp.
|
| 2005 | — | conf |
WLFM@FM
|
| 2004 | C | conf |
WETICE
|
| 2004 | — | conf |
TFM
|
| 2003 | C | conf |
APSEC
|
| 2003 | A* | conf |
ICSE
|
| 2003 | — | conf |
ZB
|
| 2002 | — | conf |
IASTED PDCS
|
| 2002 | C | conf |
APSEC
|
| 2001 | — | conf |
CATS
|
| 2000 | J | jnl |
J. Symb. Comput.
|
| 2000 | J | jnl |
Formal Aspects Comput.
|
| 1999 | — | conf |
World Congress on Formal Methods
|
| 1998 | B | conf |
MPC
|
| 1997 | — | conf |
AMAST
|
| 1996 | J | jnl |
Formal Aspects Comput.
|
| 1993 | — | conf |
FME
|