FOCARDI, Riccardo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 25.520
EU - Europa 12.560
AS - Asia 11.299
SA - Sud America 866
Continente sconosciuto - Info sul continente non disponibili 700
AF - Africa 320
OC - Oceania 41
AN - Antartide 1
Totale 51.307
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 24.311
CN - Cina 4.299
SG - Singapore 3.184
IT - Italia 2.528
PL - Polonia 2.249
DE - Germania 1.620
VN - Vietnam 1.188
GB - Regno Unito 1.062
CA - Canada 1.057
UA - Ucraina 840
IE - Irlanda 817
BR - Brasile 669
RU - Federazione Russa 654
SE - Svezia 561
FI - Finlandia 558
HK - Hong Kong 507
FR - Francia 439
JP - Giappone 387
IN - India 367
KR - Corea 361
AT - Austria 269
TR - Turchia 222
NL - Olanda 204
ZA - Sudafrica 108
PH - Filippine 96
ES - Italia 91
CH - Svizzera 88
BD - Bangladesh 79
DK - Danimarca 77
BE - Belgio 75
CZ - Repubblica Ceca 68
ID - Indonesia 68
MX - Messico 62
MY - Malesia 57
MA - Marocco 55
BG - Bulgaria 54
JO - Giordania 54
AR - Argentina 53
IQ - Iraq 53
PK - Pakistan 43
RO - Romania 42
TH - Thailandia 39
IR - Iran 38
TW - Taiwan 38
AU - Australia 34
GR - Grecia 34
PT - Portogallo 34
RS - Serbia 32
SA - Arabia Saudita 32
IL - Israele 31
MD - Moldavia 30
UZ - Uzbekistan 30
CL - Cile 29
VE - Venezuela 29
EG - Egitto 26
CO - Colombia 25
EC - Ecuador 25
EU - Europa 23
SI - Slovenia 23
LT - Lituania 20
NO - Norvegia 20
JM - Giamaica 19
KE - Kenya 18
UY - Uruguay 16
BJ - Benin 15
CR - Costa Rica 15
TN - Tunisia 15
DZ - Algeria 12
LB - Libano 12
NG - Nigeria 12
NP - Nepal 12
BY - Bielorussia 11
HR - Croazia 11
OM - Oman 11
AE - Emirati Arabi Uniti 10
AZ - Azerbaigian 10
HU - Ungheria 9
QA - Qatar 9
DO - Repubblica Dominicana 8
GE - Georgia 8
HN - Honduras 8
CM - Camerun 7
KZ - Kazakistan 7
NZ - Nuova Zelanda 7
PS - Palestinian Territory 7
PY - Paraguay 7
BO - Bolivia 6
CI - Costa d'Avorio 6
CY - Cipro 6
GT - Guatemala 6
LU - Lussemburgo 6
MK - Macedonia 6
MU - Mauritius 6
PE - Perù 6
AO - Angola 5
ET - Etiopia 5
GH - Ghana 5
KH - Cambogia 5
LV - Lettonia 5
PA - Panama 5
Totale 50.522
Salva come PNG Salva come JPEG
Città #
Woodbridge 2.645
Ashburn 2.597
Warsaw 1.983
Fairfield 1.925
Singapore 1.744
Chandler 1.371
Jacksonville 1.308
Ann Arbor 1.121
Houston 1.043
Council Bluffs 966
San Jose 877
Seattle 850
Dublin 811
Wilmington 666
Cambridge 644
Dearborn 541
Munich 504
Dallas 499
Montréal 471
Hong Kong 447
Mcallen 423
Beijing 384
Nanjing 361
Ho Chi Minh City 348
New York 345
Guangzhou 340
Jinan 331
Boardman 312
Venice 302
Mestre 298
Shenyang 294
Hefei 293
Hanoi 292
Seoul 274
Venezia 248
Tokyo 234
Vienna 228
Los Angeles 199
Izmir 177
Boston 170
The Dalles 167
Bengaluru 163
San Mateo 155
Andover 153
Santa Clara 153
Montreal 152
Ottawa 151
Hebei 142
Tianjin 139
Princeton 138
Mülheim 136
Lauterbourg 134
Parma 128
Columbus 125
Changsha 116
Buffalo 113
Des Moines 111
San Diego 111
Frankfurt am Main 107
Taiyuan 107
Toronto 106
Las Vegas 105
Zhengzhou 105
Polska 104
Hangzhou 101
Berlin 98
Taizhou 95
Moscow 94
Nanchang 93
Milan 91
Jiaxing 90
Helsinki 88
Johannesburg 85
Haikou 84
Ningbo 83
El Cajon 81
London 77
Verona 75
Chicago 74
Fuzhou 69
Saint Petersburg 67
Amsterdam 61
Redwood City 61
Washington 60
Altamura 59
Philadelphia 57
Rome 57
São Paulo 57
Lexington 56
Brandenburg 55
Kraków 54
Da Nang 51
Hewlett 51
St Petersburg 49
Denton 48
Brussels 47
Casablanca 47
Naples 46
Orem 44
Memphis 43
Totale 34.435
Salva come PNG Salva come JPEG
Nome #
CookiExt: Patching the browser against session hijacking attacks 5.278
First Italian Conference on Cybersecurity 2.030
Mind Your Keys? A Security Evaluation of Java Keystores 724
Shaping the Glitch: Optimizing Voltage Fault Injection Attacks 659
Usable Cryptographic QR Codes 586
Surviving the Web: A Journey into Web Session Security 578
Run-time analysis of PKCS#11 attacks 573
APDU-Level Attacks in PKCS#11 Devices 537
Security Threats and Solutions for Two-Dimensional Barcodes: A Comparative Study 529
Development of security extensions based on Chrome APIs 517
Match It or Die: Proving Integrity by Equality 505
Firewall management with FireWall synthesizer 505
Analysis of Typed Analyses of Authentication Protocols 502
Formal methods for web security 496
Gathering of robots in a ring with mobile faults 493
Formal Analysis of Key Integrity in PKCS#11 472
Postcards from the post-HTTP world: Amplification of HTTPS vulnerabilities in the web ecosystem 466
Mignis: A semantic based tool for firewall configuration 454
Mitch: A machine learning approach to the black-box detection of CSRF vulnerabilities 437
Localizing Firewall Security Policies 435
A calculus of challenges and responses 431
Language-Independent Synthesis of Firewall Policies 424
Channel Abstractions for Network Security 421
Gathering of robots in a ring with mobile faults 420
Provably Sound Browser-Based Enforcement of Web Session Integrity 413
Usable security for QR code 412
Transcompiling Firewalls 410
A modular approach to Sprouts 409
Run-Time Attack Detection in Cryptographic APIs 407
A Classification of Security Properties for Process Algebras 403
Automatic and robust client-side protection for cookie-based sessions 396
Micro-Policies for Web Session Security 386
Efficient Padding Oracle Attacks on Cryptographic Hardware 378
Gran: model checking grsecurity RBAC policies 377
Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients 373
Practical Padding Oracle Attacks on RSA 373
A Survey of Name-Passing Calculi and Crypto-Primitives 368
WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring 366
An Introduction to Security API Analysis 365
Fast SQL Blind Injections in High Latency Networks. 358
Secure your PKCS#11 token against API attacks! 341
Analysing Sprouts 340
A Proof System for Information Flow Security 338
A semantic based tool for firewall configuration 337
Getting to know your card: Reverse-engineering the smart-card application protocol data unit 335
BANANA: A tool for Boundary Ambients Nesting ANAlysis 335
Automated Analysis of PUF-based Protocols 334
A hard lesson: Assessing the HTTPS deployment of Italian university websites 334
Authenticity by tagging and typing 326
Fixing PKCS#11 by key-diversification 325
Type-Based Analysis of PKCS#11 Key Management 325
Bisimulation and Unwinding for Verifying Possibilistic Security Properties 324
FWS: Analyzing, maintaining and transcompiling firewalls 317
A Comparison of Three Authentication Properties 312
The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties 309
A new analysis technique for the Sprouts Game 305
Localizing Security for Distributed Firewalls 305
Guessing Bank PINs by Winning a Mastermind Game 302
A Compiler for Analysing Cryptographic Protocols Using Non-Interference 300
Complexity of Nesting Analysis in Mobile Ambients 297
Type-Based Analysis of Generic Key Management APIs 294
Feedback Vertex Set in Hypercubes 292
Types for security protocols 291
Machine Learning for Web Vulnerability Detection: The Case of Cross-Site Request Forgery 291
A Security Property for Processes in Dynamic Contexts 288
Type-Based Analysis of PIN Processing APIs 288
Unwinding in Information Flow Security 287
Analysis and development of Security APIs for disposable RFID tickets 286
Authentication primitives for secure protocol specifications 286
Information Leakage Detection in Boundary Ambients 281
Language-Based Web Session Integrity 280
Refinement Operators and Information Flow Security 279
Attacking and Fixing PKCS#11 Security Tokens. 277
Boundary Inference for Enforcing Security Policies in Mobile Ambients 277
A formally verified configuration for Hardware Security Modules in the cloud 277
Information Flow Security in Mobile Ambients 276
Type-based Analysis of Key Management in PKCS#11 cryptographic devices 274
Authentication Primitives for Protocol Specifications 271
Blunting Differential Attacks on PIN Processing APIs 271
Nesting analysis of mobile ambients 270
A New Definition of Multilevel Security 269
Non Interference for the Analysis of Cryptographic Protocols 269
Primitives for Authentication in Process Algebras 263
Computer Languages and Security 260
Static Analysis of Authentication 260
Information flow security of multi-threaded distributed programs 260
Bridging the Gap: Automated Analysis of Sancus 259
Transforming processes to check and ensure Information Flow Security 259
Real-Time Information Flow Analysis 257
Language Based Secure Communication 255
Secure upgrade of hardware security modules in bank networks 255
Information Flow Security in Dynamic Contexts 253
Control Flow Analysis of Mobile Ambients with Security Boundaries 252
Bridging Language-Based and Process Calculi Security 251
Principles for Entity Authentication 250
Neural-Cryptanalysis of Classical Ciphers 249
Compositional Analysis of Authentication Protocols 246
Cracking Bank PINs by Playing Mastermind 246
Verifying Persistent Security Properties. 245
Security Abstractions and Intruder Models 243
Totale 41.844
Salva come PNG Salva come JPEG
Categoria #
all - tutte 150.079
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 150.079
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20223.899 0 653 381 555 310 74 178 112 79 508 666 383
2022/20235.111 277 363 86 527 665 1.191 236 409 573 137 426 221
2023/20243.199 255 235 171 238 354 504 242 170 192 223 340 275
2024/20254.374 232 216 353 368 310 236 443 492 473 463 431 357
2025/202612.246 789 879 978 966 1.277 952 1.245 830 1.521 1.284 545 980
2026/20271.154 533 621 0 0 0 0 0 0 0 0 0 0
Totale 51.307