| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2020 | J | jnl |
CoRR
|
| 2017 | — | conf |
CyberICPS/SECPRE@ESORICS
|
| 2017 | J | jnl |
Digit. Investig.
|
| 2017 | A | conf |
ISSTA
|
| 2017 | B | conf |
ATVA
|
| 2016 | A | conf |
CSF
|
| 2016 | J | jnl |
CoRR
|
| 2016 | — | conf |
ESSoS
|
| 2015 | — | conf |
Security Protocols Workshop
|
| 2015 | — | conf |
Security Protocols Workshop
|
| 2015 | J | jnl |
Concurr. Comput. Pract. Exp.
|
| 2014 | — | conf |
CSL-LICS
|
| 2014 | — | conf |
POST
|
| 2014 | A* | conf |
CCS
|
| 2014 | J | jnl |
Inf. Process. Lett.
|
| 2014 | Misc | conf |
SEC
|
| 2013 | A | conf |
ISSTA
|
| 2013 | A | conf |
ICST
|
| 2012 | — | conf |
STM
|
| 2012 | J | jnl |
ACM Trans. Auton. Adapt. Syst.
|
| 2012 | J | jnl |
J. Log. Algebraic Methods Program.
|
| 2012 | — | conf |
AST@ICSE
|
| 2012 | A | conf |
TACAS
|
| 2011 | B | conf |
TrustCom
|
| 2011 | Misc | conf |
SAC
|
| 2011 | B | conf |
OPODIS
|
| 2011 | A | conf |
CSF
|
| 2011 | — | conf |
Formal Aspects in Security and Trust
|
| 2010 | — | ch. |
Handbook of Financial Cryptography and Security
|
| 2010 | — | conf |
ACSD
|
| 2010 | B | conf |
MFCS
|
| 2009 | A | conf |
CSF
|
| 2009 | C | conf |
SSS
|