IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

LILLI, MARIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 152
NA - Nord America 84
AS - Asia 62
AF - Africa 4
OC - Oceania 3
SA - Sud America 1
Totale 306
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 94
US - Stati Uniti d'America 84
SG - Singapore 20
CN - Cina 14
DE - Germania 13
SE - Svezia 10
GB - Regno Unito 9
RU - Federazione Russa 7
PK - Pakistan 6
KR - Corea 5
FR - Francia 4
IN - India 4
FI - Finlandia 3
HK - Hong Kong 3
IE - Irlanda 3
NL - Olanda 3
ZA - Sudafrica 3
CH - Svizzera 2
ID - Indonesia 2
IR - Iran 2
NZ - Nuova Zelanda 2
PL - Polonia 2
VN - Vietnam 2
AU - Australia 1
EG - Egitto 1
GR - Grecia 1
IL - Israele 1
JP - Giappone 1
KH - Cambogia 1
MY - Malesia 1
NO - Norvegia 1
PE - Perù 1
Totale 306
Salva come PNG Salva come JPEG
Città #
Milan 42
Santa Clara 16
Singapore 15
Round Rock 7
Chandler 5
Rome 5
Chicago 4
Fremont 4
Hamburg 4
Lahore 4
Palermo 4
Princeton 4
Sammichele di Bari 4
Andria 3
Bergamo 3
Boffalora sopra Ticino 3
Cardiff 3
Dublin 3
Frankfurt am Main 3
Helsinki 3
San Jose 3
Abbottabad 2
Ashburn 2
Auckland 2
Bengaluru 2
Boardman 2
Boston 2
Cambridge 2
Cape Town 2
Casape 2
Catania 2
Columbia 2
Eindhoven 2
Goyang-si 2
Hanoi 2
Jakarta 2
Lecce 2
Lublin 2
Medford 2
Motala 2
New York 2
Northampton 2
Nuremberg 2
Olbia 2
Palakkad 2
Philadelphia 2
Porto San Giorgio 2
Rouen 2
Saarbrücken 2
Swansea 2
Zurich 2
Athens 1
Barletta 1
Brescia 1
Broomfield 1
Cairo 1
Cassolnovo 1
Cinisello Balsamo 1
Cittadella 1
Council Bluffs 1
Desio 1
Fuzhou 1
Gloucester 1
Incheon 1
Ithaca 1
Jerusalem 1
Kent 1
Kuala Lumpur 1
Kyoto 1
Legnano 1
Lima 1
Linköping 1
Melbourne 1
Nanning 1
Naples 1
Nodeland 1
Orlando 1
Osimo 1
Phnom Penh 1
Phoenix 1
Piscataway 1
Quanzhou 1
Reno 1
Richmond 1
Roubaix 1
Shanghai 1
Sheffield 1
Stockholm 1
Suzzara 1
Yongin-si 1
Totale 241
Salva come PNG Salva come JPEG
Nome #
APROVER: A FRAMEWORK FOR THE DEVELOPMENT OF SECURITY PROTOCOLS 87
A model-based approach for vulnerability analysis of IoT security protocols: The Z-Wave case study 81
Formal proof of a vulnerability in Z-wave IoT protocol 69
Towards ASM-Based Automated Formal Verification of Security Protocols 68
Kant: A Domain-Specific Language for Modeling Security Protocols 16
Totale 321
Salva come PNG Salva come JPEG
Categoria #
all - tutte 1.569
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 1.569
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202219 0 0 0 0 0 0 0 0 2 6 3 8
2022/202366 5 1 4 5 8 5 4 4 6 6 8 10
2023/2024134 13 7 7 6 2 12 4 4 8 15 23 33
2024/2025102 5 16 24 25 29 3 0 0 0 0 0 0
Totale 321