FOCARDI, Riccardo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 24.500
EU - Europa 12.448
AS - Asia 11.219
SA - Sud America 839
AF - Africa 319
OC - Oceania 40
Continente sconosciuto - Info sul continente non disponibili 26
AN - Antartide 1
Totale 49.392
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 23.388
CN - Cina 4.285
SG - Singapore 3.149
IT - Italia 2.487
PL - Polonia 2.248
DE - Germania 1.612
VN - Vietnam 1.184
GB - Regno Unito 1.060
CA - Canada 1.001
UA - Ucraina 840
IE - Irlanda 817
BR - Brasile 656
RU - Federazione Russa 654
FI - Finlandia 557
SE - Svezia 535
HK - Hong Kong 507
FR - Francia 432
JP - Giappone 385
IN - India 363
KR - Corea 359
AT - Austria 269
TR - Turchia 222
NL - Olanda 200
ZA - Sudafrica 108
PH - Filippine 95
ES - Italia 87
CH - Svizzera 86
DK - Danimarca 77
BE - Belgio 74
BD - Bangladesh 73
CZ - Repubblica Ceca 65
ID - Indonesia 65
MX - Messico 61
MA - Marocco 55
MY - Malesia 55
JO - Giordania 54
AR - Argentina 53
BG - Bulgaria 53
IQ - Iraq 53
PK - Pakistan 43
RO - Romania 42
TH - Thailandia 39
IR - Iran 38
TW - Taiwan 38
AU - Australia 34
PT - Portogallo 33
RS - Serbia 32
SA - Arabia Saudita 32
MD - Moldavia 30
UZ - Uzbekistan 30
GR - Grecia 28
CL - Cile 27
VE - Venezuela 27
EG - Egitto 26
IL - Israele 25
EU - Europa 23
EC - Ecuador 22
SI - Slovenia 22
LT - Lituania 20
NO - Norvegia 20
CO - Colombia 18
KE - Kenya 18
UY - Uruguay 16
BJ - Benin 15
TN - Tunisia 15
DZ - Algeria 12
LB - Libano 12
NG - Nigeria 12
NP - Nepal 12
BY - Bielorussia 11
HR - Croazia 11
AE - Emirati Arabi Uniti 10
AZ - Azerbaigian 10
OM - Oman 10
HU - Ungheria 9
QA - Qatar 9
GE - Georgia 8
JM - Giamaica 8
CM - Camerun 7
DO - Repubblica Dominicana 7
KZ - Kazakistan 7
PS - Palestinian Territory 7
PY - Paraguay 7
BO - Bolivia 6
CI - Costa d'Avorio 6
CY - Cipro 6
LU - Lussemburgo 6
MU - Mauritius 6
NZ - Nuova Zelanda 6
PE - Perù 6
AO - Angola 5
CR - Costa Rica 5
GH - Ghana 5
HN - Honduras 5
KH - Cambogia 5
PA - Panama 5
SC - Seychelles 5
AL - Albania 4
BA - Bosnia-Erzegovina 4
BB - Barbados 4
Totale 49.295
Salva come PNG Salva come JPEG
Città #
Woodbridge 2.645
Ashburn 2.418
Warsaw 1.983
Fairfield 1.925
Singapore 1.738
Chandler 1.371
Jacksonville 1.306
Ann Arbor 1.121
Houston 1.039
San Jose 861
Seattle 848
Council Bluffs 846
Dublin 811
Wilmington 662
Cambridge 644
Dearborn 540
Munich 504
Dallas 494
Montréal 471
Hong Kong 447
Mcallen 423
Beijing 382
Nanjing 361
Ho Chi Minh City 346
Guangzhou 340
New York 339
Jinan 331
Boardman 312
Venice 301
Mestre 298
Shenyang 294
Hefei 293
Hanoi 291
Seoul 272
Venezia 248
Tokyo 233
Vienna 228
Los Angeles 183
Izmir 177
Boston 170
The Dalles 165
Bengaluru 163
San Mateo 155
Andover 153
Ottawa 151
Montreal 147
Hebei 142
Santa Clara 139
Tianjin 139
Princeton 137
Mülheim 136
Lauterbourg 134
Parma 128
Columbus 125
Changsha 116
Buffalo 111
Des Moines 111
San Diego 110
Frankfurt am Main 107
Taiyuan 107
Zhengzhou 105
Polska 104
Hangzhou 101
Toronto 101
Las Vegas 100
Berlin 98
Taizhou 95
Moscow 94
Nanchang 93
Jiaxing 90
Helsinki 88
Milan 88
Johannesburg 85
Haikou 84
Ningbo 83
El Cajon 81
London 76
Verona 75
Fuzhou 69
Saint Petersburg 67
Chicago 65
Amsterdam 61
Redwood City 61
Altamura 59
São Paulo 57
Washington 56
Brandenburg 55
Kraków 54
Lexington 54
Philadelphia 52
Da Nang 51
Hewlett 51
St Petersburg 49
Denton 48
Rome 48
Casablanca 47
Brussels 46
Naples 43
Orem 43
Nuremberg 42
Totale 33.991
Salva come PNG Salva come JPEG
Nome #
CookiExt: Patching the browser against session hijacking attacks 5.221
First Italian Conference on Cybersecurity 2.021
Mind Your Keys? A Security Evaluation of Java Keystores 716
Shaping the Glitch: Optimizing Voltage Fault Injection Attacks 614
Usable Cryptographic QR Codes 579
Surviving the Web: A Journey into Web Session Security 562
Run-time analysis of PKCS#11 attacks 560
APDU-Level Attacks in PKCS#11 Devices 532
Security Threats and Solutions for Two-Dimensional Barcodes: A Comparative Study 521
Development of security extensions based on Chrome APIs 507
Match It or Die: Proving Integrity by Equality 499
Firewall management with FireWall synthesizer 499
Formal methods for web security 492
Gathering of robots in a ring with mobile faults 489
Formal Analysis of Key Integrity in PKCS#11 462
Postcards from the post-HTTP world: Amplification of HTTPS vulnerabilities in the web ecosystem 457
Mignis: A semantic based tool for firewall configuration 444
Localizing Firewall Security Policies 428
A calculus of challenges and responses 424
Mitch: A machine learning approach to the black-box detection of CSRF vulnerabilities 421
Channel Abstractions for Network Security 416
Language-Independent Synthesis of Firewall Policies 414
Gathering of robots in a ring with mobile faults 413
Provably Sound Browser-Based Enforcement of Web Session Integrity 407
Transcompiling Firewalls 404
A modular approach to Sprouts 400
A Classification of Security Properties for Process Algebras 398
Usable security for QR code 397
Run-Time Attack Detection in Cryptographic APIs 391
Automatic and robust client-side protection for cookie-based sessions 388
Micro-Policies for Web Session Security 380
Efficient Padding Oracle Attacks on Cryptographic Hardware 374
Gran: model checking grsecurity RBAC policies 373
Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients 371
A Survey of Name-Passing Calculi and Crypto-Primitives 362
Practical Padding Oracle Attacks on RSA 362
WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring 359
Fast SQL Blind Injections in High Latency Networks. 353
An Introduction to Security API Analysis 349
A Proof System for Information Flow Security 334
Analysing Sprouts 331
Secure your PKCS#11 token against API attacks! 331
A semantic based tool for firewall configuration 331
BANANA: A tool for Boundary Ambients Nesting ANAlysis 330
Automated Analysis of PUF-based Protocols 328
Getting to know your card: Reverse-engineering the smart-card application protocol data unit 327
A hard lesson: Assessing the HTTPS deployment of Italian university websites 323
Authenticity by tagging and typing 321
Analysis of Typed Analyses of Authentication Protocols 320
Fixing PKCS#11 by key-diversification 318
Bisimulation and Unwinding for Verifying Possibilistic Security Properties 317
Type-Based Analysis of PKCS#11 Key Management 317
FWS: Analyzing, maintaining and transcompiling firewalls 309
A Comparison of Three Authentication Properties 307
The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties 301
Localizing Security for Distributed Firewalls 301
A new analysis technique for the Sprouts Game 296
Guessing Bank PINs by Winning a Mastermind Game 294
Complexity of Nesting Analysis in Mobile Ambients 293
Type-Based Analysis of Generic Key Management APIs 289
A Compiler for Analysing Cryptographic Protocols Using Non-Interference 288
Feedback Vertex Set in Hypercubes 286
Types for security protocols 286
Machine Learning for Web Vulnerability Detection: The Case of Cross-Site Request Forgery 285
Type-Based Analysis of PIN Processing APIs 283
Authentication primitives for secure protocol specifications 283
A Security Property for Processes in Dynamic Contexts 282
Unwinding in Information Flow Security 280
Analysis and development of Security APIs for disposable RFID tickets 280
Information Leakage Detection in Boundary Ambients 277
Language-Based Web Session Integrity 275
Refinement Operators and Information Flow Security 274
Boundary Inference for Enforcing Security Policies in Mobile Ambients 273
Information Flow Security in Mobile Ambients 271
Attacking and Fixing PKCS#11 Security Tokens. 268
Type-based Analysis of Key Management in PKCS#11 cryptographic devices 268
Blunting Differential Attacks on PIN Processing APIs 267
A formally verified configuration for Hardware Security Modules in the cloud 267
Authentication Primitives for Protocol Specifications 266
Non Interference for the Analysis of Cryptographic Protocols 265
Nesting analysis of mobile ambients 265
A New Definition of Multilevel Security 261
Primitives for Authentication in Process Algebras 259
Computer Languages and Security 258
Information flow security of multi-threaded distributed programs 256
Real-Time Information Flow Analysis 255
Language Based Secure Communication 253
Transforming processes to check and ensure Information Flow Security 253
Static Analysis of Authentication 252
Secure upgrade of hardware security modules in bank networks 250
Control Flow Analysis of Mobile Ambients with Security Boundaries 249
Bridging Language-Based and Process Calculi Security 246
Principles for Entity Authentication 245
Information Flow Security in Dynamic Contexts 245
Bridging the Gap: Automated Analysis of Sancus 243
Cracking Bank PINs by Playing Mastermind 243
Compositional Analysis of Authentication Protocols 242
Verifying Persistent Security Properties. 241
Minumum Feedback Vertex Set in k-Dimensional Hypercubes 238
Security Abstractions and Intruder Models 238
Totale 40.893
Salva come PNG Salva come JPEG
Categoria #
all - tutte 145.441
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 145.441
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021519 0 0 0 0 0 0 0 0 0 0 0 519
2021/20224.405 506 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.157 789 879 978 966 1.277 952 1.245 830 1.521 1.284 545 891
Totale 50.064