| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2019 | J | jnl |
J. Hardw. Syst. Secur.
|
| 2017 | — | conf |
SPACE
|
| 2017 | — | conf |
TrustCom/BigDataSE/ICESS
|
| 2015 | Misc | conf |
ICISS
|
| 2014 | — | conf |
ICACCI
|
| 2013 | — | conf |
ISEC
|
| 2012 | — | conf |
CUBE
|
| 2012 | J | jnl |
IET Networks
|
| 2012 | Misc | conf |
COMSNETS
|
| 2012 | — | conf |
ISEC
|
| 2011 | — | conf |
ISED
|
| 2011 | — | ch. |
Cyber Security, Cyber Crime and Cyber Forensics
|
| 2010 | — | conf |
BAIP
|
| 2010 | — | conf |
ICWN
|
| 2009 | J | jnl |
J. Object Technol.
|
| 2009 | — | conf |
NaBIC
|
| 2009 | — | conf |
ICETET
|
| 2009 | J | jnl |
Comput. Stand. Interfaces
|
| 2009 | — | conf |
NaBIC
|
| 2008 | A | conf |
ICWS
|
| 2008 | — | conf |
ICIIS
|
| 2008 | C | conf |
APSCC
|
| 2007 | B | conf |
SAFECOMP
|
| 2005 | Misc | conf |
ICDCIT
|
| 2003 | B | conf |
SAFECOMP
|
| 2001 | J | jnl |
Reliab. Eng. Syst. Saf.
|
| 2001 | J | jnl |
Reliab. Eng. Syst. Saf.
|
| 2000 | — | conf |
FTRTFT
|
| 1999 | B | conf |
SAFECOMP
|
| 1999 | — | conf |
World Congress on Formal Methods
|