BUGLIESI, Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 18.513
EU - Europa 8.214
AS - Asia 7.643
SA - Sud America 615
Continente sconosciuto - Info sul continente non disponibili 471
AF - Africa 227
OC - Oceania 24
Totale 35.707
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 18.008
CN - Cina 2.903
SG - Singapore 2.028
IT - Italia 1.600
PL - Polonia 1.237
DE - Germania 975
VN - Vietnam 877
UA - Ucraina 581
IE - Irlanda 574
RU - Federazione Russa 568
SE - Svezia 555
GB - Regno Unito 536
BR - Brasile 438
FI - Finlandia 401
CA - Canada 392
HK - Hong Kong 362
FR - Francia 312
JP - Giappone 293
IN - India 244
KR - Corea 225
TR - Turchia 155
NL - Olanda 154
AT - Austria 118
ES - Italia 90
PH - Filippine 80
BD - Bangladesh 76
ZA - Sudafrica 69
CH - Svizzera 63
BE - Belgio 57
BG - Bulgaria 53
CZ - Repubblica Ceca 50
ID - Indonesia 47
CO - Colombia 44
AR - Argentina 43
MX - Messico 43
TH - Thailandia 39
IQ - Iraq 38
MY - Malesia 36
SI - Slovenia 35
BJ - Benin 32
RO - Romania 31
PT - Portogallo 30
EC - Ecuador 29
TW - Taiwan 29
MD - Moldavia 28
PK - Pakistan 28
IR - Iran 26
RS - Serbia 26
SA - Arabia Saudita 25
MA - Marocco 24
AU - Australia 23
IL - Israele 22
EG - Egitto 21
VE - Venezuela 21
EU - Europa 20
CL - Cile 19
DK - Danimarca 19
UZ - Uzbekistan 19
GR - Grecia 18
CR - Costa Rica 14
NP - Nepal 13
AE - Emirati Arabi Uniti 12
LT - Lituania 12
NO - Norvegia 12
TN - Tunisia 12
HR - Croazia 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
EE - Estonia 8
HN - Honduras 8
CM - Camerun 7
JO - Giordania 7
LU - Lussemburgo 7
LV - Lettonia 7
PA - Panama 7
TT - Trinidad e Tobago 7
CI - Costa d'Avorio 6
JM - Giamaica 6
GE - Georgia 5
GH - Ghana 5
IS - Islanda 5
MU - Mauritius 5
BO - Bolivia 4
CY - Cipro 4
DO - Repubblica Dominicana 4
KZ - Kazakistan 4
MK - Macedonia 4
MQ - Martinica 4
NI - Nicaragua 4
PE - Perù 4
SC - Seychelles 4
SK - Slovacchia (Repubblica Slovacca) 4
SV - El Salvador 4
Totale 35.192
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.960
Ashburn 1.924
Fairfield 1.419
Warsaw 1.093
Singapore 1.088
Chandler 998
Houston 915
Ann Arbor 903
Jacksonville 850
Seattle 648
San Jose 616
Council Bluffs 608
Dublin 561
Dallas 555
Cambridge 504
Wilmington 503
Hong Kong 323
Mestre 281
Beijing 280
Nanjing 261
Jinan 239
Ho Chi Minh City 231
New York 229
Boardman 216
Guangzhou 214
Hanoi 197
Los Angeles 192
Dearborn 191
Shenyang 184
Tokyo 181
Venice 166
San Mateo 162
Seoul 161
Hefei 154
Venezia 147
Montreal 134
Andover 125
Hebei 120
Santa Clara 120
Izmir 115
Boston 105
Bengaluru 103
Las Vegas 102
Tianjin 99
Changsha 96
Frankfurt am Main 92
The Dalles 86
Helsinki 85
Vienna 84
Columbus 83
Mülheim 83
Hangzhou 82
El Cajon 81
Princeton 81
Taiyuan 81
Lauterbourg 79
Milan 77
Nanchang 76
Staranzano 76
Ottawa 75
Moscow 73
Buffalo 72
London 67
Ningbo 65
Zhengzhou 65
San Diego 64
Haikou 62
Berlin 61
Chicago 61
Amsterdam 57
Taizhou 57
Lexington 55
Brandenburg 54
Jiaxing 54
Johannesburg 53
Philadelphia 53
Hewlett 51
Denton 48
Fuzhou 47
Phoenix 47
St Petersburg 47
Brussels 46
Munich 46
Arezzo 45
Redwood City 45
Washington 45
Brooklyn 44
São Paulo 44
Toronto 43
Atlanta 42
Beauharnois 42
Saint Petersburg 41
Des Moines 38
Rome 37
Staten Island 37
Haiphong 36
Krakow 36
Orem 36
Da Nang 35
Nuremberg 34
Totale 23.479
Salva come PNG Salva come JPEG
Nome #
CookiExt: Patching the browser against session hijacking attacks 5.394
Affine Refinement Types for Secure Distributed Programming 741
A Supervised Learning Approach to Protect Client Authentication on the Web 731
Semantics-based analysis of content security policy deployment 679
Behavioural equivalences and interference metrics for mobile ad-hoc networks 656
Content Security Problems? Evaluating the Effectiveness of Content Security Policy in the Wild 619
Sub-session hijacking on the web: Root causes and prevention 606
Fine-grained Detection of Privilege Escalation Attacks on Browser Extensions 555
Analysis of Typed Analyses of Authentication Protocols 511
Formal methods for web security 503
Lintent: Towards Security Type-Checking of Android Applications 501
Designing Casanova: a language for games 486
Writing real-time .Net games in Casanova 485
A formal specification for Casanova, a language for computer games 477
A compilation technique to increase X3D performance and safety 473
CCSP: Controlled relaxation of content security policies by runtime policy composition 444
Model Checking Adaptive Service Compositions 442
Security protocol specification and verification with AnBx 441
Channel Abstractions for Network Security 428
Client Side Web Session Integrity as a Non-Interference Property 428
Secrecy and Authenticity Types for Secure Distributed Messaging 423
Provably Sound Browser-Based Enforcement of Web Session Integrity 421
Type-Flow Analysis for Legacy Cobol Code 417
Dr Cookie and Mr Token - Web session implementations and how to live with them 411
Automatic and robust client-side protection for cookie-based sessions 406
Static Detection of Collusion Attacks in ARBAC-based Workflow Systems 402
Gran: model checking grsecurity RBAC policies 392
A Type System for Discretionary Access Control 387
Semantically Sound Analysis of Content Security Policies 385
Affine Refinement Types for Authentication and Authorization 382
Quite a mess in my cookie jar! Leveraging machine learning to protect web authentication 380
Typing Legacy COBOL Code 378
A Survey of Name-Passing Calculi and Crypto-Primitives 374
Compositional Typed Analysis of ARBAC Policies 364
Casanova: a declarative language for safe games 354
Formal verification of Liferay RBAC 348
Interference-sensitive Preorders for MANETs 344
Reasoning about Security in Mobile Ambients 341
Authenticity by tagging and typing 336
A Theory of Adaptable Contract-based Service Composition. 331
A Calculus of Bounded Capacities 319
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II 310
Behavioural typing for safe ambients 308
A subtyping for Extensible Incomplete Objects 303
Testing for Integrity Flaws in Web Sessions 303
Differential logic programs: Programming methodologies and semantics 302
Compliance Preorders for Web Services. 299
Object Calculi in Linear Logic 286
Secure Distributed State Management in eUTxO Blockchains 283
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I 281
Abstractions for Distributed Protocol Design 281
Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols 281
On Casanova and databases or the similarity between games and DBs 280
Logical Foundations of Secure Resource Management in Protocol Implementations 277
Static vs Dynamic Typing for Access Control in Pi-Calculus 274
Cryptographic Web Applications: from Security Engineering to Formal Analysis 273
Secrecy in Untrusted Networks 271
Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols 271
Access Control for Mobile Agents: the Calculus of Boxed Ambients 269
Typed Interpretations of Extensible Objects 268
Boxed Ambients 268
Information Flow Security for Boxed Ambients 265
Secure implementations of typed channel abstractions 263
Language Based Secure Communication 263
Principles for Entity Authentication 260
Monadic Scripting in F# for Computer Games 258
Compositional Analysis of Authentication Protocols 256
Type Based Discretionary Access Control 255
An overview of Boxed Ambients 254
Subtyping and Matching for Mobile Objects 253
Security Abstractions and Intruder Models 250
Context-Sensitive Equivalences for Non-Interference based Protocol Analysis 247
Matching for the Lambda Calculus of Objects 242
Typed Mobile Objects 237
Dynamic Types for Authentication 237
Type Inference for Variant Object Types 233
Typed Processes in Untyped Contexts 233
ALGOMOVE – A Move Embedding for Algorand 230
Space-aware ambients and processes 226
Communication and Mobility Control in Boxed Ambients 220
Secure Safe Ambients 212
Second Workshop on Object Oriented Developments (WOOD 2004) 211
Fostering SMEs Digital Innovation through Advanced Training and Design Thinking. Italy as a Case Study 205
Smart contract languages: A comparative analysis 203
First Workshop on Object Oriented Developments (WOOD 2003) 195
Communication Interference in Mobile Boxed Ambient 192
Short Circuits 4.0- How to Connect Business and Higher Technical Education 175
UNA REPUBBLICA DA DIGITALIZZARE 151
Assessing Code Understanding in LLMs 144
Vulnerability Detection in Solidity Smart Contracts via Machine Learning: A Qualitative Analysis 116
AlgoMove: Typed Abstractions for Algorand Smart Contracts 25
METODO DI ELABORAZIONE IMPLEMENTATO DA COMPUTER OTTIMIZZATO PER COMPUTARE, SCOPRIRE E GENERARE DINAMICAMENTE NUOVI MATERIALI 13
Totale 35.707
Salva come PNG Salva come JPEG
Categoria #
all - tutte 103.017
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 103.017
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20222.311 0 0 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/20268.521 597 655 856 692 1.044 584 861 484 970 772 418 588
2026/20271.708 289 595 824 0 0 0 0 0 0 0 0 0
Totale 35.707