| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2007 | — | conf |
POLICY
|
| 2006 | — | conf |
Formal Aspects in Security and Trust
|
| 2005 | — | conf |
GRID
|
| 2004 | — | conf |
POLICY
|
| 2004 | — | conf |
Formal Aspects in Security and Trust
|
| 2004 | — | conf |
Security Protocols Workshop
|
| 2002 | — | conf |
S&P
|
| 2002 | — | conf |
Security Protocols Workshop
|
| 2002 | — | conf |
POLICY
|
| 2001 | — | conf |
Security Protocols Workshop
|
| 2001 | — | conf |
Security Protocols Workshop
|
| 2000 | J | jnl |
Appl. Artif. Intell.
|
| 2000 | J | jnl |
Appl. Artif. Intell.
|
| 1999 | — | conf |
Security Protocols Workshop
|
| 1999 | J | jnl |
Knowl. Eng. Rev.
|
| 1998 | A | conf |
ECAI
|