BUGLIESI, Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 17.459
EU - Europa 7.949
AS - Asia 7.590
SA - Sud America 509
AF - Africa 226
OC - Oceania 24
Continente sconosciuto - Info sul continente non disponibili 21
Totale 33.778
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 17.007
CN - Cina 2.901
SG - Singapore 2.015
IT - Italia 1.451
PL - Polonia 1.235
DE - Germania 975
VN - Vietnam 872
UA - Ucraina 581
RU - Federazione Russa 568
IE - Irlanda 567
SE - Svezia 505
GB - Regno Unito 497
FI - Finlandia 401
BR - Brasile 393
CA - Canada 363
HK - Hong Kong 360
FR - Francia 310
JP - Giappone 292
IN - India 243
KR - Corea 224
TR - Turchia 154
NL - Olanda 152
AT - Austria 118
ES - Italia 85
PH - Filippine 78
BD - Bangladesh 73
ZA - Sudafrica 69
CH - Svizzera 61
BE - Belgio 57
BG - Bulgaria 53
CZ - Repubblica Ceca 50
MX - Messico 43
ID - Indonesia 38
IQ - Iraq 38
AR - Argentina 36
SI - Slovenia 35
TH - Thailandia 35
BJ - Benin 32
MY - Malesia 32
RO - Romania 31
PT - Portogallo 30
TW - Taiwan 29
MD - Moldavia 28
PK - Pakistan 27
IR - Iran 26
RS - Serbia 26
MA - Marocco 24
SA - Arabia Saudita 24
AU - Australia 23
IL - Israele 22
EG - Egitto 21
EU - Europa 20
CL - Cile 19
DK - Danimarca 19
UZ - Uzbekistan 19
GR - Grecia 18
VE - Venezuela 15
EC - Ecuador 14
AE - Emirati Arabi Uniti 12
CO - Colombia 12
LT - Lituania 12
NO - Norvegia 12
NP - Nepal 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
CR - Costa Rica 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
JM - Giamaica 5
MU - Mauritius 5
PA - Panama 5
CY - Cipro 4
DO - Repubblica Dominicana 4
HN - Honduras 4
KZ - Kazakistan 4
MK - Macedonia 4
MQ - Martinica 4
PE - Perù 4
SC - Seychelles 4
SK - Slovacchia (Repubblica Slovacca) 4
TT - Trinidad e Tobago 4
AM - Armenia 3
BO - Bolivia 3
KG - Kirghizistan 3
KH - Cambogia 3
Totale 33.724
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.959
Ashburn 1.804
Fairfield 1.419
Warsaw 1.091
Singapore 1.084
Chandler 998
Houston 912
Ann Arbor 903
Jacksonville 849
Seattle 648
Dublin 561
San Jose 558
Council Bluffs 542
Dallas 541
Wilmington 503
Cambridge 502
Hong Kong 321
Beijing 280
Mestre 277
Nanjing 261
Jinan 239
Ho Chi Minh City 228
New York 221
Boardman 216
Guangzhou 214
Hanoi 197
Dearborn 191
Shenyang 184
Tokyo 180
Los Angeles 172
Venice 166
San Mateo 162
Seoul 160
Hefei 154
Venezia 147
Montreal 132
Andover 125
Hebei 120
Izmir 115
Santa Clara 104
Bengaluru 103
Boston 103
Tianjin 99
Las Vegas 97
Changsha 96
Frankfurt am Main 92
Helsinki 85
Mülheim 83
Vienna 83
Hangzhou 82
The Dalles 82
El Cajon 81
Princeton 81
Taiyuan 81
Columbus 79
Lauterbourg 79
Nanchang 76
Ottawa 75
Milan 73
Moscow 73
Buffalo 70
London 67
Ningbo 65
Zhengzhou 65
San Diego 63
Haikou 62
Berlin 61
Taizhou 57
Amsterdam 55
Brandenburg 54
Jiaxing 54
Johannesburg 53
Lexington 53
Hewlett 51
Chicago 50
Denton 48
Fuzhou 47
St Petersburg 47
Brussels 46
Munich 46
Philadelphia 45
Redwood City 45
Saint Petersburg 41
São Paulo 40
Washington 40
Des Moines 38
Toronto 37
Beauharnois 36
Haiphong 36
Krakow 36
Rome 36
Brooklyn 35
Da Nang 35
Phoenix 35
Nuremberg 34
Brownsville 33
Kyiv 33
Orem 33
Polesovice 33
Cotonou 32
Totale 22.990
Salva come PNG Salva come JPEG
Nome #
CookiExt: Patching the browser against session hijacking attacks 5.239
Affine Refinement Types for Secure Distributed Programming 728
A Supervised Learning Approach to Protect Client Authentication on the Web 717
Semantics-based analysis of content security policy deployment 669
Behavioural equivalences and interference metrics for mobile ad-hoc networks 640
Sub-session hijacking on the web: Root causes and prevention 596
Content Security Problems? Evaluating the Effectiveness of Content Security Policy in the Wild 594
Fine-grained Detection of Privilege Escalation Attacks on Browser Extensions 550
Formal methods for web security 495
Lintent: Towards Security Type-Checking of Android Applications 488
Designing Casanova: a language for games 477
Writing real-time .Net games in Casanova 472
A formal specification for Casanova, a language for computer games 459
A compilation technique to increase X3D performance and safety 446
Security protocol specification and verification with AnBx 437
CCSP: Controlled relaxation of content security policies by runtime policy composition 431
Model Checking Adaptive Service Compositions 429
Channel Abstractions for Network Security 420
Client Side Web Session Integrity as a Non-Interference Property 419
Secrecy and Authenticity Types for Secure Distributed Messaging 411
Provably Sound Browser-Based Enforcement of Web Session Integrity 408
Type-Flow Analysis for Legacy Cobol Code 404
Dr Cookie and Mr Token - Web session implementations and how to live with them 401
Static Detection of Collusion Attacks in ARBAC-based Workflow Systems 393
Automatic and robust client-side protection for cookie-based sessions 392
Semantically Sound Analysis of Content Security Policies 382
A Type System for Discretionary Access Control 374
Gran: model checking grsecurity RBAC policies 374
Quite a mess in my cookie jar! Leveraging machine learning to protect web authentication 371
Affine Refinement Types for Authentication and Authorization 369
A Survey of Name-Passing Calculi and Crypto-Primitives 364
Typing Legacy COBOL Code 359
Compositional Typed Analysis of ARBAC Policies 355
Formal verification of Liferay RBAC 338
Interference-sensitive Preorders for MANETs 336
Casanova: a declarative language for safe games 334
Reasoning about Security in Mobile Ambients 331
Analysis of Typed Analyses of Authentication Protocols 323
Authenticity by tagging and typing 322
A Theory of Adaptable Contract-based Service Composition. 318
A Calculus of Bounded Capacities 310
Behavioural typing for safe ambients 298
Testing for Integrity Flaws in Web Sessions 298
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II 297
Differential logic programs: Programming methodologies and semantics 291
Compliance Preorders for Web Services. 291
A subtyping for Extensible Incomplete Objects 289
Secure Distributed State Management in eUTxO Blockchains 272
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I 272
Object Calculi in Linear Logic 272
Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols 270
Logical Foundations of Secure Resource Management in Protocol Implementations 269
Cryptographic Web Applications: from Security Engineering to Formal Analysis 265
Abstractions for Distributed Protocol Design 265
Static vs Dynamic Typing for Access Control in Pi-Calculus 264
Secrecy in Untrusted Networks 263
Typed Interpretations of Extensible Objects 258
Access Control for Mobile Agents: the Calculus of Boxed Ambients 257
Boxed Ambients 257
Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols 254
Language Based Secure Communication 254
Information Flow Security for Boxed Ambients 252
Secure implementations of typed channel abstractions 250
Principles for Entity Authentication 247
Type Based Discretionary Access Control 247
On Casanova and databases or the similarity between games and DBs 247
Subtyping and Matching for Mobile Objects 246
An overview of Boxed Ambients 244
Compositional Analysis of Authentication Protocols 243
Security Abstractions and Intruder Models 239
Context-Sensitive Equivalences for Non-Interference based Protocol Analysis 236
Monadic Scripting in F# for Computer Games 235
Matching for the Lambda Calculus of Objects 230
Dynamic Types for Authentication 227
Typed Mobile Objects 224
Typed Processes in Untyped Contexts 221
Type Inference for Variant Object Types 215
Space-aware ambients and processes 214
ALGOMOVE – A Move Embedding for Algorand 211
Communication and Mobility Control in Boxed Ambients 211
Fostering SMEs Digital Innovation through Advanced Training and Design Thinking. Italy as a Case Study 199
Secure Safe Ambients 198
Smart contract languages: A comparative analysis 196
First Workshop on Object Oriented Developments (WOOD 2003) 187
Communication Interference in Mobile Boxed Ambient 181
Second Workshop on Object Oriented Developments (WOOD 2004) 176
Short Circuits 4.0- How to Connect Business and Higher Technical Education 164
UNA REPUBBLICA DA DIGITALIZZARE 137
Assessing Code Understanding in LLMs 129
Vulnerability Detection in Solidity Smart Contracts via Machine Learning: A Qualitative Analysis 77
AlgoMove: Typed Abstractions for Algorand Smart Contracts 13
Totale 34.227
Salva come PNG Salva come JPEG
Categoria #
all - tutte 99.296
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 99.296
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/20268.521 597 655 856 692 1.044 584 861 484 970 772 418 588
2026/2027228 228 0 0 0 0 0 0 0 0 0 0 0
Totale 34.227