FOCARDI, Riccardo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 28.417
EU - Europa 12.990
AS - Asia 11.436
SA - Sud America 1.045
Continente sconosciuto - Info sul continente non disponibili 712
AF - Africa 329
OC - Oceania 43
AN - Antartide 1
Totale 54.973
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 27.088
CN - Cina 4.322
SG - Singapore 3.201
IT - Italia 2.768
PL - Polonia 2.251
DE - Germania 1.636
VN - Vietnam 1.191
GB - Regno Unito 1.172
CA - Canada 1.112
UA - Ucraina 841
IE - Irlanda 819
BR - Brasile 749
RU - Federazione Russa 658
FI - Finlandia 561
SE - Svezia 561
HK - Hong Kong 511
FR - Francia 456
JP - Giappone 396
IN - India 383
KR - Corea 363
AT - Austria 269
TR - Turchia 226
NL - Olanda 207
ZA - Sudafrica 108
PH - Filippine 100
ES - Italia 93
BD - Bangladesh 90
CH - Svizzera 88
BE - Belgio 78
DK - Danimarca 77
CO - Colombia 75
ID - Indonesia 74
CZ - Repubblica Ceca 68
MX - Messico 68
MY - Malesia 67
AR - Argentina 65
MA - Marocco 55
BG - Bulgaria 54
JO - Giordania 54
IQ - Iraq 53
EC - Ecuador 52
PK - Pakistan 47
TH - Thailandia 43
RO - Romania 42
IR - Iran 38
TW - Taiwan 38
VE - Venezuela 36
AU - Australia 35
IL - Israele 35
PT - Portogallo 35
SA - Arabia Saudita 35
GR - Grecia 34
RS - Serbia 33
UZ - Uzbekistan 31
MD - Moldavia 30
CL - Cile 29
EG - Egitto 27
EE - Estonia 26
JM - Giamaica 26
CR - Costa Rica 24
EU - Europa 23
SI - Slovenia 23
LT - Lituania 20
NO - Norvegia 20
KE - Kenya 19
TN - Tunisia 16
UY - Uruguay 16
BJ - Benin 15
NP - Nepal 15
HN - Honduras 14
NG - Nigeria 14
NI - Nicaragua 14
DZ - Algeria 13
LB - Libano 12
OM - Oman 12
AZ - Azerbaigian 11
BY - Bielorussia 11
GT - Guatemala 11
HR - Croazia 11
PS - Palestinian Territory 11
AE - Emirati Arabi Uniti 10
HU - Ungheria 9
KZ - Kazakistan 9
PR - Porto Rico 9
QA - Qatar 9
BO - Bolivia 8
DO - Repubblica Dominicana 8
GE - Georgia 8
TT - Trinidad e Tobago 8
CM - Camerun 7
LV - Lettonia 7
NZ - Nuova Zelanda 7
PE - Perù 7
PY - Paraguay 7
SV - El Salvador 7
BB - Barbados 6
CI - Costa d'Avorio 6
CY - Cipro 6
LU - Lussemburgo 6
MK - Macedonia 6
Totale 54.155
Salva come PNG Salva come JPEG
Città #
Ashburn 3.088
Woodbridge 2.645
Warsaw 1.984
Fairfield 1.925
Singapore 1.747
Chandler 1.373
Jacksonville 1.310
Ann Arbor 1.121
San Jose 1.103
Council Bluffs 1.100
Houston 1.051
Seattle 863
Dublin 811
Wilmington 666
Cambridge 644
Dearborn 542
Dallas 540
Munich 504
Montréal 471
Hong Kong 451
Mcallen 423
Beijing 387
New York 368
Nanjing 361
Ho Chi Minh City 348
Los Angeles 344
Guangzhou 340
Jinan 331
Venice 319
Boardman 314
Mestre 298
Shenyang 294
Hanoi 293
Hefei 293
Seoul 276
Venezia 248
Tokyo 240
Vienna 228
Boston 183
Santa Clara 180
Izmir 177
The Dalles 170
Bengaluru 163
Montreal 160
San Mateo 155
Andover 153
Ottawa 151
Hebei 142
Princeton 140
Tianjin 139
Mülheim 136
Lauterbourg 134
Columbus 128
Parma 128
Las Vegas 122
Buffalo 117
Changsha 117
Chicago 113
San Diego 113
Staranzano 113
Toronto 112
Des Moines 111
Frankfurt am Main 110
Taiyuan 107
Zhengzhou 105
Polska 104
Hangzhou 101
Berlin 98
Milan 98
Taizhou 95
Moscow 94
Nanchang 93
Helsinki 90
Jiaxing 90
Johannesburg 85
Haikou 84
Ningbo 83
El Cajon 81
London 79
Phoenix 78
Philadelphia 77
Verona 75
São Paulo 74
Fuzhou 69
Washington 69
Saint Petersburg 67
Amsterdam 62
Redwood City 61
Altamura 59
Rome 59
Lexington 57
Arezzo 55
Brandenburg 55
Kraków 54
Atlanta 53
Brooklyn 52
Da Nang 51
Hewlett 51
North Bergen 50
Memphis 49
Totale 35.875
Salva come PNG Salva come JPEG
Nome #
CookiExt: Patching the browser against session hijacking attacks 5.665
First Italian Conference on Cybersecurity 2.071
Mind Your Keys? A Security Evaluation of Java Keystores 760
Shaping the Glitch: Optimizing Voltage Fault Injection Attacks 712
Surviving the Web: A Journey into Web Session Security 611
Usable Cryptographic QR Codes 603
Run-time analysis of PKCS#11 attacks 589
APDU-Level Attacks in PKCS#11 Devices 556
Security Threats and Solutions for Two-Dimensional Barcodes: A Comparative Study 550
Development of security extensions based on Chrome APIs 529
Match It or Die: Proving Integrity by Equality 525
Firewall management with FireWall synthesizer 522
Analysis of Typed Analyses of Authentication Protocols 516
Formal methods for web security 511
Gathering of robots in a ring with mobile faults 503
Formal Analysis of Key Integrity in PKCS#11 499
Postcards from the post-HTTP world: Amplification of HTTPS vulnerabilities in the web ecosystem 489
Mignis: A semantic based tool for firewall configuration 484
Usable security for QR code 461
Mitch: A machine learning approach to the black-box detection of CSRF vulnerabilities 460
Localizing Firewall Security Policies 456
A calculus of challenges and responses 454
Efficient Padding Oracle Attacks on Cryptographic Hardware 451
Channel Abstractions for Network Security 443
Gathering of robots in a ring with mobile faults 439
Language-Independent Synthesis of Firewall Policies 438
Run-Time Attack Detection in Cryptographic APIs 436
Provably Sound Browser-Based Enforcement of Web Session Integrity 433
A modular approach to Sprouts 430
A Classification of Security Properties for Process Algebras 428
Transcompiling Firewalls 420
Automatic and robust client-side protection for cookie-based sessions 418
Practical Padding Oracle Attacks on RSA 404
Gran: model checking grsecurity RBAC policies 402
WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring 398
Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients 396
Micro-Policies for Web Session Security 396
An Introduction to Security API Analysis 389
A Survey of Name-Passing Calculi and Crypto-Primitives 380
Fast SQL Blind Injections in High Latency Networks. 374
A semantic based tool for firewall configuration 367
Analysing Sprouts 363
A Proof System for Information Flow Security 358
Secure your PKCS#11 token against API attacks! 358
Type-Based Analysis of PKCS#11 Key Management 357
A hard lesson: Assessing the HTTPS deployment of Italian university websites 356
Getting to know your card: Reverse-engineering the smart-card application protocol data unit 355
BANANA: A tool for Boundary Ambients Nesting ANAlysis 355
Automated Analysis of PUF-based Protocols 353
Authenticity by tagging and typing 348
Bisimulation and Unwinding for Verifying Possibilistic Security Properties 341
Fixing PKCS#11 by key-diversification 340
A Comparison of Three Authentication Properties 336
A Security Property for Processes in Dynamic Contexts 333
FWS: Analyzing, maintaining and transcompiling firewalls 333
A new analysis technique for the Sprouts Game 331
A Compiler for Analysing Cryptographic Protocols Using Non-Interference 329
The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties 328
A New Definition of Multilevel Security 322
Guessing Bank PINs by Winning a Mastermind Game 322
Complexity of Nesting Analysis in Mobile Ambients 321
Analysis and development of Security APIs for disposable RFID tickets 318
Localizing Security for Distributed Firewalls 315
Feedback Vertex Set in Hypercubes 311
Attacking and Fixing PKCS#11 Security Tokens. 311
Type-Based Analysis of Generic Key Management APIs 311
Types for security protocols 308
Information Leakage Detection in Boundary Ambients 305
Machine Learning for Web Vulnerability Detection: The Case of Cross-Site Request Forgery 305
Unwinding in Information Flow Security 304
Type-Based Analysis of PIN Processing APIs 304
Authentication primitives for secure protocol specifications 301
Boundary Inference for Enforcing Security Policies in Mobile Ambients 294
Language-Based Web Session Integrity 294
A formally verified configuration for Hardware Security Modules in the cloud 294
Type-based Analysis of Key Management in PKCS#11 cryptographic devices 293
Refinement Operators and Information Flow Security 292
Blunting Differential Attacks on PIN Processing APIs 292
Information Flow Security in Mobile Ambients 290
Primitives for Authentication in Process Algebras 289
Authentication Primitives for Protocol Specifications 287
Non Interference for the Analysis of Cryptographic Protocols 283
Nesting analysis of mobile ambients 283
Static Analysis of Authentication 280
Bridging the Gap: Automated Analysis of Sancus 279
Computer Languages and Security 277
Transforming processes to check and ensure Information Flow Security 277
Information Flow Security in Dynamic Contexts 276
Information flow security of multi-threaded distributed programs 275
Bridging Language-Based and Process Calculi Security 273
Language Based Secure Communication 273
Real-Time Information Flow Analysis 272
Secure upgrade of hardware security modules in bank networks 271
Control Flow Analysis of Mobile Ambients with Security Boundaries 270
Principles for Entity Authentication 270
Minumum Feedback Vertex Set in k-Dimensional Hypercubes 268
Neural-Cryptanalysis of Classical Ciphers 266
Compositional Analysis of Authentication Protocols 264
Verifying Persistent Security Properties. 264
Towards a type-based analysis of real PKCS#11 devices 264
Totale 44.410
Salva come PNG Salva come JPEG
Categoria #
all - tutte 158.029
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 158.029
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20222.865 0 0 0 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/20274.820 533 731 2.188 1.368 0 0 0 0 0 0 0 0
Totale 54.973