IRIS
COMPAGNA, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 825
Totale 825
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 825
Totale 825
Salva come PNG Salva come JPEG
Città #
Genova 682
Rapallo 62
Genoa 61
Vado Ligure 19
Bordighera 1
Totale 825
Salva come PNG Salva come JPEG
Nome #
Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning 120
SAT-based Model Checking for Security Protocols Analysis 118
LTL Model Checking for Security Protocols 114
From Multiple Credentials to Browser-based Single Sign-On: Are We More Secure? 99
SATMC: a SAT-based Model Checker for Security-critical Systems 96
LTL Model Checking for Security Protocols 95
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures 91
Automatic Security Analysis of SAML-Based Single Sign-On Protocols 89
Raze to the Ground: Query-Efficient Adversarial HTML Attacks on Machine-Learning Phishing Webpage Detectors 6
Totale 828
Salva come PNG Salva come JPEG
Categoria #
all - tutte 2.461
article - articoli 636
book - libri 0
conference - conferenze 1.542
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 283
Totale 4.922
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020233 0 9 11 20 23 20 30 19 22 42 25 12
2020/202140 3 7 3 4 2 4 0 6 3 6 1 1
2021/2022120 3 19 24 5 3 1 9 29 3 5 9 10
2022/202374 8 0 0 4 14 19 1 5 12 0 9 2
2023/202451 1 11 0 9 3 17 1 2 2 0 1 4
2024/202521 3 18 0 0 0 0 0 0 0 0 0 0
Totale 828