| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | — | conf |
Juggling Formal Methods and Security
|
| 2026 | J | jnl |
CoRR
|
| 2026 | — | conf |
ICISSP (1)
|
| 2025 | A* | conf |
USENIX Security Symposium
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | C | conf |
APSEC
|
| 2025 | J | jnl |
CoRR
|
| 2025 | A | conf |
AsiaCCS
|
| 2025 | J | jnl |
CoRR
|
| 2025 | A* | conf |
USENIX Security Symposium
|
| 2025 | J | jnl |
IEEE Trans. Comput. Soc. Syst.
|
| 2025 | Misc | conf |
SAC
|
| 2025 | — | conf |
WOOT
|
| 2025 | A* | conf |
SP
|
| 2024 | — | conf |
EuroS&P Workshops
|
| 2024 | A* | conf |
AAAI
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
Inf. Sci.
|
| 2024 | — | conf |
PROMISE
|
| 2024 | — | conf |
EuroS&P Workshops
|
| 2024 | — | conf |
EuroS&P Workshops
|
| 2024 | Misc | conf |
SAC
|
| 2023 | J | jnl |
CoRR
|
| 2023 | B | conf |
NSS
|
| 2023 | J | jnl |
CoRR
|
| 2022 | J | jnl |
CoRR
|
| 2022 | — | conf |
ACNS Workshops
|
| 2022 | J | jnl |
CoRR
|
| 2021 | C | conf |
CRiSIS
|
| 2021 | J | jnl |
CoRR
|
| 2021 | — | ed. |
ACNS Workshops
|
| 2020 | J | jnl |
Comput. Secur.
|
| 2020 | — | conf |
CODASPY
|
| 2020 | J | jnl |
ACM Trans. Softw. Eng. Methodol.
|
| 2020 | — | ed. |
GraMSec
|
| 2019 | — | conf |
GraMSec
|
| 2019 | J | jnl |
CoRR
|
| 2018 | A* | conf |
CCS
|
| 2018 | J | jnl |
CoRR
|
| 2018 | J | jnl |
CoRR
|
| 2018 | A* | conf |
CCS
|
| 2017 | — | conf |
GraMSec
|
| 2017 | — | conf |
STM
|
| 2016 | — | conf |
QEST
|
| 2016 | — | conf |
GraMSec
|
| 2016 | — | conf |
NordSec
|
| 2016 | — | conf |
FORMATS
|
| 2016 | A | conf |
RAID
|
| 2016 | C | conf |
CRiSIS
|
| 2016 | Misc | conf |
PoEM
|
| 2015 | — | conf |
GraMSec
|
| 2015 | J | jnl |
CoRR
|
| 2015 | — | conf |
CODASPY
|
| 2015 | B | conf |
ARES
|
| 2014 | — | conf |
CSP Forum
|
| 2014 | B | conf |
DBSec
|
| 2014 | J | jnl |
Computer
|
| 2013 | A* | conf |
CCS
|
| 2013 | J | jnl |
J. Inf. Secur. Appl.
|
| 2013 | J | jnl |
CoRR
|
| 2012 | — | conf |
FMCO
|
| 2012 | J | jnl |
Int. J. Crit. Comput. Based Syst.
|
| 2012 | — | conf |
ESSoS Doctoral Symposium
|
| 2012 | Misc | conf |
SEC
|
| 2011 | — | conf |
POLICY
|
| 2011 | Misc | conf |
ICISS
|
| 2010 | C | conf |
WISTP
|
| 2010 | — | conf |
NordSec
|
| 2008 | — | conf |
ICCSA (2)
|