BUGLIESI, Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 16.298
EU - Europa 7.890
AS - Asia 7.507
SA - Sud America 497
AF - Africa 226
OC - Oceania 23
Continente sconosciuto - Info sul continente non disponibili 20
Totale 32.461
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 15.889
CN - Cina 2.881
SG - Singapore 1.980
IT - Italia 1.415
PL - Polonia 1.234
DE - Germania 974
VN - Vietnam 870
UA - Ucraina 581
RU - Federazione Russa 567
IE - Irlanda 563
SE - Svezia 505
GB - Regno Unito 497
FI - Finlandia 398
BR - Brasile 387
HK - Hong Kong 358
CA - Canada 337
FR - Francia 306
JP - Giappone 288
IN - India 241
KR - Corea 224
TR - Turchia 154
NL - Olanda 152
AT - Austria 118
ES - Italia 82
PH - Filippine 77
ZA - Sudafrica 69
BD - Bangladesh 59
CH - Svizzera 59
BE - Belgio 57
BG - Bulgaria 53
CZ - Repubblica Ceca 50
MX - Messico 42
IQ - Iraq 38
ID - Indonesia 37
SI - Slovenia 35
TH - Thailandia 35
AR - Argentina 34
BJ - Benin 32
MY - Malesia 32
RO - Romania 30
PT - Portogallo 29
MD - Moldavia 28
TW - Taiwan 28
PK - Pakistan 27
IR - Iran 26
RS - Serbia 26
MA - Marocco 24
SA - Arabia Saudita 24
AU - Australia 22
IL - Israele 22
EG - Egitto 21
EU - Europa 20
UZ - Uzbekistan 19
GR - Grecia 18
DK - Danimarca 17
CL - Cile 16
VE - Venezuela 15
EC - Ecuador 14
AE - Emirati Arabi Uniti 12
LT - Lituania 12
NO - Norvegia 12
TN - Tunisia 12
CO - Colombia 11
HR - Croazia 11
NP - Nepal 11
UY - Uruguay 11
KE - Kenya 10
NG - Nigeria 10
AZ - Azerbaigian 9
BY - Bielorussia 9
HU - Ungheria 9
LB - Libano 9
AL - Albania 8
DZ - Algeria 8
CM - Camerun 7
JO - Giordania 7
LU - Lussemburgo 7
LV - Lettonia 7
CI - Costa d'Avorio 6
GE - Georgia 5
GH - Ghana 5
IS - Islanda 5
MU - Mauritius 5
PA - Panama 5
CY - Cipro 4
DO - Repubblica Dominicana 4
KZ - Kazakistan 4
MK - Macedonia 4
PE - Perù 4
SC - Seychelles 4
SK - Slovacchia (Repubblica Slovacca) 4
AM - Armenia 3
BO - Bolivia 3
CR - Costa Rica 3
JM - Giamaica 3
KG - Kirghizistan 3
KH - Cambogia 3
MQ - Martinica 3
OM - Oman 3
BA - Bosnia-Erzegovina 2
Totale 32.413
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.958
Ashburn 1.639
Fairfield 1.419
Warsaw 1.091
Singapore 1.073
Chandler 998
Houston 908
Ann Arbor 903
Jacksonville 847
Seattle 648
Dublin 561
Dallas 533
Cambridge 502
Wilmington 502
San Jose 435
Hong Kong 319
Beijing 277
Mestre 277
Nanjing 261
Jinan 239
Ho Chi Minh City 227
Guangzhou 214
New York 212
Boardman 211
Hanoi 197
Dearborn 191
Shenyang 184
Tokyo 177
Los Angeles 164
San Mateo 162
Venice 162
Seoul 160
Council Bluffs 157
Hefei 154
Venezia 147
Montreal 127
Andover 125
Hebei 120
Izmir 115
Bengaluru 103
Boston 103
Tianjin 98
Changsha 96
Las Vegas 95
Frankfurt am Main 92
Santa Clara 84
Mülheim 83
Vienna 83
Hangzhou 82
Helsinki 82
El Cajon 81
Princeton 81
Taiyuan 81
The Dalles 80
Lauterbourg 79
Nanchang 76
Ottawa 75
Moscow 73
Milan 68
London 66
Ningbo 65
Zhengzhou 65
Buffalo 63
San Diego 63
Haikou 62
Berlin 61
Taizhou 57
Amsterdam 55
Brandenburg 54
Jiaxing 54
Johannesburg 53
Lexington 53
Hewlett 51
Denton 48
Fuzhou 47
St Petersburg 47
Brussels 46
Munich 46
Redwood City 45
Philadelphia 43
Chicago 42
Saint Petersburg 41
São Paulo 39
Des Moines 38
Toronto 37
Beauharnois 36
Haiphong 36
Krakow 36
Da Nang 35
Columbus 34
Nuremberg 34
Brownsville 33
Kyiv 33
Orem 33
Polesovice 33
Cotonou 32
Madrid 32
Polska 32
Bremen 31
Phoenix 31
Totale 22.133
Salva come PNG Salva come JPEG
Nome #
CookiExt: Patching the browser against session hijacking attacks 5.180
Affine Refinement Types for Secure Distributed Programming 707
A Supervised Learning Approach to Protect Client Authentication on the Web 689
Semantics-based analysis of content security policy deployment 649
Behavioural equivalences and interference metrics for mobile ad-hoc networks 627
Sub-session hijacking on the web: Root causes and prevention 579
Content Security Problems? Evaluating the Effectiveness of Content Security Policy in the Wild 542
Fine-grained Detection of Privilege Escalation Attacks on Browser Extensions 536
Formal methods for web security 485
Lintent: Towards Security Type-Checking of Android Applications 470
Designing Casanova: a language for games 465
Writing real-time .Net games in Casanova 462
A formal specification for Casanova, a language for computer games 450
A compilation technique to increase X3D performance and safety 426
Security protocol specification and verification with AnBx 422
Model Checking Adaptive Service Compositions 417
Channel Abstractions for Network Security 408
CCSP: Controlled relaxation of content security policies by runtime policy composition 408
Client Side Web Session Integrity as a Non-Interference Property 401
Provably Sound Browser-Based Enforcement of Web Session Integrity 394
Secrecy and Authenticity Types for Secure Distributed Messaging 390
Dr Cookie and Mr Token - Web session implementations and how to live with them 386
Type-Flow Analysis for Legacy Cobol Code 385
Automatic and robust client-side protection for cookie-based sessions 377
Static Detection of Collusion Attacks in ARBAC-based Workflow Systems 376
A Type System for Discretionary Access Control 367
Semantically Sound Analysis of Content Security Policies 367
Gran: model checking grsecurity RBAC policies 361
Quite a mess in my cookie jar! Leveraging machine learning to protect web authentication 361
A Survey of Name-Passing Calculi and Crypto-Primitives 354
Affine Refinement Types for Authentication and Authorization 352
Typing Legacy COBOL Code 350
Compositional Typed Analysis of ARBAC Policies 344
Formal verification of Liferay RBAC 330
Casanova: a declarative language for safe games 327
Interference-sensitive Preorders for MANETs 325
Authenticity by tagging and typing 316
Analysis of Typed Analyses of Authentication Protocols 311
A Theory of Adaptable Contract-based Service Composition. 305
A Calculus of Bounded Capacities 297
Behavioural typing for safe ambients 286
Testing for Integrity Flaws in Web Sessions 286
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II 285
A subtyping for Extensible Incomplete Objects 278
Differential logic programs: Programming methodologies and semantics 277
Compliance Preorders for Web Services. 275
Reasoning about Security in Mobile Ambients 266
Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols 264
Object Calculi in Linear Logic 262
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I 261
Logical Foundations of Secure Resource Management in Protocol Implementations 258
Static vs Dynamic Typing for Access Control in Pi-Calculus 255
Secrecy in Untrusted Networks 253
Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols 248
Typed Interpretations of Extensible Objects 246
Boxed Ambients 245
Abstractions for Distributed Protocol Design 245
Access Control for Mobile Agents: the Calculus of Boxed Ambients 244
Cryptographic Web Applications: from Security Engineering to Formal Analysis 243
Information Flow Security for Boxed Ambients 243
Principles for Entity Authentication 242
Language Based Secure Communication 241
Secure Distributed State Management in eUTxO Blockchains 240
An overview of Boxed Ambients 237
On Casanova and databases or the similarity between games and DBs 236
Compositional Analysis of Authentication Protocols 235
Secure implementations of typed channel abstractions 235
Subtyping and Matching for Mobile Objects 231
Type Based Discretionary Access Control 231
Context-Sensitive Equivalences for Non-Interference based Protocol Analysis 225
Security Abstractions and Intruder Models 224
Matching for the Lambda Calculus of Objects 224
Monadic Scripting in F# for Computer Games 221
Typed Mobile Objects 219
Dynamic Types for Authentication 219
Typed Processes in Untyped Contexts 212
Space-aware ambients and processes 209
Type Inference for Variant Object Types 207
Communication and Mobility Control in Boxed Ambients 201
ALGOMOVE – A Move Embedding for Algorand 200
Fostering SMEs Digital Innovation through Advanced Training and Design Thinking. Italy as a Case Study 188
Secure Safe Ambients 181
First Workshop on Object Oriented Developments (WOOD 2003) 175
Smart contract languages: A comparative analysis 172
Communication Interference in Mobile Boxed Ambient 171
Second Workshop on Object Oriented Developments (WOOD 2004) 166
Short Circuits 4.0- How to Connect Business and Higher Technical Education 149
UNA REPUBBLICA DA DIGITALIZZARE 126
Assessing Code Understanding in LLMs 114
Vulnerability Detection in Solidity Smart Contracts via Machine Learning: A Qualitative Analysis 60
Totale 32.909
Salva come PNG Salva come JPEG
Categoria #
all - tutte 94.544
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 94.544
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.355 0 0 0 0 0 0 0 0 0 488 518 349
2021/20223.148 381 456 264 452 245 47 126 62 41 313 523 238
2022/20233.752 162 240 70 414 530 821 149 331 376 143 335 181
2023/20242.577 215 213 152 227 262 304 176 222 151 188 266 201
2024/20252.875 162 181 233 262 205 147 256 271 355 279 290 234
2025/20267.431 597 655 856 692 1.044 584 861 484 970 688 0 0
Totale 32.909