BUGLIESI, Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 15.226
EU - Europa 7.505
AS - Asia 5.588
SA - Sud America 396
AF - Africa 184
Continente sconosciuto - Info sul continente non disponibili 20
OC - Oceania 19
Totale 28.938
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 14.852
CN - Cina 2.719
SG - Singapore 1.445
IT - Italia 1.368
PL - Polonia 1.222
DE - Germania 917
UA - Ucraina 578
IE - Irlanda 561
SE - Svezia 505
RU - Federazione Russa 491
GB - Regno Unito 480
FI - Finlandia 376
CA - Canada 325
HK - Hong Kong 321
BR - Brasile 320
FR - Francia 220
IN - India 204
JP - Giappone 176
TR - Turchia 150
NL - Olanda 137
VN - Vietnam 129
AT - Austria 116
KR - Corea 114
ES - Italia 74
BE - Belgio 55
PH - Filippine 55
CH - Svizzera 53
ZA - Sudafrica 53
BG - Bulgaria 50
CZ - Repubblica Ceca 45
SI - Slovenia 35
BJ - Benin 32
BD - Bangladesh 29
MX - Messico 29
MY - Malesia 29
RO - Romania 29
PT - Portogallo 28
ID - Indonesia 27
IR - Iran 26
MD - Moldavia 26
RS - Serbia 25
AR - Argentina 24
IL - Israele 21
EU - Europa 20
MA - Marocco 20
AU - Australia 18
TW - Taiwan 18
EG - Egitto 17
SA - Arabia Saudita 17
PK - Pakistan 16
UZ - Uzbekistan 16
DK - Danimarca 14
EC - Ecuador 13
GR - Grecia 13
NO - Norvegia 12
UY - Uruguay 11
CL - Cile 10
HR - Croazia 10
LT - Lituania 10
AE - Emirati Arabi Uniti 9
BY - Bielorussia 9
HU - Ungheria 9
IQ - Iraq 9
NG - Nigeria 9
DZ - Algeria 7
LB - Libano 7
LU - Lussemburgo 7
TH - Thailandia 7
VE - Venezuela 7
AZ - Azerbaigian 6
CI - Costa d'Avorio 6
CM - Camerun 6
CO - Colombia 6
LV - Lettonia 6
NP - Nepal 6
AL - Albania 5
GE - Georgia 5
IS - Islanda 5
KE - Kenya 5
MU - Mauritius 5
PA - Panama 5
TN - Tunisia 5
CY - Cipro 4
GH - Ghana 4
MK - Macedonia 4
SC - Seychelles 4
AM - Armenia 3
CR - Costa Rica 3
DO - Repubblica Dominicana 3
JO - Giordania 3
KH - Cambogia 3
KZ - Kazakistan 3
MQ - Martinica 3
PE - Perù 3
SK - Slovacchia (Repubblica Slovacca) 3
BA - Bosnia-Erzegovina 2
ET - Etiopia 2
IM - Isola di Man 2
KG - Kirghizistan 2
OM - Oman 2
Totale 28.910
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.958
Fairfield 1.419
Ashburn 1.287
Warsaw 1.080
Chandler 998
Houston 904
Ann Arbor 903
Jacksonville 847
Singapore 833
Seattle 646
Dublin 559
Dallas 531
Cambridge 502
Wilmington 502
Hong Kong 296
Mestre 275
Beijing 271
Nanjing 259
Jinan 238
Guangzhou 211
Boardman 209
New York 196
Dearborn 191
Shenyang 184
San Mateo 162
Venice 160
Hefei 154
Council Bluffs 148
Los Angeles 147
Venezia 147
Andover 125
Montreal 123
Hebei 120
Izmir 114
Bengaluru 102
Boston 101
Tianjin 98
Las Vegas 94
Changsha 91
Mülheim 83
El Cajon 81
Princeton 81
Taiyuan 81
Vienna 81
Hangzhou 80
Tokyo 78
Nanchang 75
Ottawa 75
Frankfurt am Main 68
Seoul 67
Ningbo 65
Zhengzhou 65
London 64
San Diego 63
Santa Clara 63
Haikou 62
Milan 61
Helsinki 60
Buffalo 59
Moscow 59
Taizhou 57
The Dalles 55
Brandenburg 54
Jiaxing 54
Lexington 53
Hewlett 51
Amsterdam 50
Denton 48
Fuzhou 47
Munich 46
Brussels 45
Redwood City 45
St Petersburg 45
Philadelphia 43
Berlin 41
Saint Petersburg 41
Chicago 39
Johannesburg 39
Des Moines 37
Beauharnois 36
Krakow 36
Toronto 35
Ho Chi Minh City 34
Polesovice 33
Brownsville 32
Cotonou 32
Kyiv 32
Polska 32
São Paulo 32
Bremen 31
Davao City 30
Hanoi 30
Rome 30
Nuremberg 29
Strasbourg 29
Brooklyn 28
Columbus 28
Madrid 27
Washington 27
Altamura 26
Totale 20.195
Salva come PNG Salva come JPEG
Nome #
CookiExt: Patching the browser against session hijacking attacks 4.831
Affine Refinement Types for Secure Distributed Programming 653
A Supervised Learning Approach to Protect Client Authentication on the Web 600
Semantics-based analysis of content security policy deployment 595
Behavioural equivalences and interference metrics for mobile ad-hoc networks 574
Sub-session hijacking on the web: Root causes and prevention 537
Fine-grained Detection of Privilege Escalation Attacks on Browser Extensions 493
Formal methods for web security 453
Content Security Problems? Evaluating the Effectiveness of Content Security Policy in the Wild 442
Lintent: Towards Security Type-Checking of Android Applications 438
Designing Casanova: a language for games 431
Writing real-time .Net games in Casanova 415
A formal specification for Casanova, a language for computer games 411
Security protocol specification and verification with AnBx 394
Channel Abstractions for Network Security 378
Model Checking Adaptive Service Compositions 376
A compilation technique to increase X3D performance and safety 368
CCSP: Controlled relaxation of content security policies by runtime policy composition 359
Type-Flow Analysis for Legacy Cobol Code 351
Secrecy and Authenticity Types for Secure Distributed Messaging 349
Provably Sound Browser-Based Enforcement of Web Session Integrity 346
Dr Cookie and Mr Token - Web session implementations and how to live with them 346
A Type System for Discretionary Access Control 337
Client Side Web Session Integrity as a Non-Interference Property 332
Static Detection of Collusion Attacks in ARBAC-based Workflow Systems 331
Semantically Sound Analysis of Content Security Policies 323
Quite a mess in my cookie jar! Leveraging machine learning to protect web authentication 322
Automatic and robust client-side protection for cookie-based sessions 322
Gran: model checking grsecurity RBAC policies 321
Affine Refinement Types for Authentication and Authorization 314
A Survey of Name-Passing Calculi and Crypto-Primitives 310
Compositional Typed Analysis of ARBAC Policies 301
Typing Legacy COBOL Code 294
Formal verification of Liferay RBAC 294
Authenticity by tagging and typing 291
Casanova: a declarative language for safe games 289
Interference-sensitive Preorders for MANETs 284
Analysis of Typed Analyses of Authentication Protocols 282
A Calculus of Bounded Capacities 260
Behavioural typing for safe ambients 259
A Theory of Adaptable Contract-based Service Composition. 255
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II 253
Compliance Preorders for Web Services. 251
Reasoning about Security in Mobile Ambients 249
Differential logic programs: Programming methodologies and semantics 246
A subtyping for Extensible Incomplete Objects 245
Object Calculi in Linear Logic 244
Logical Foundations of Secure Resource Management in Protocol Implementations 243
Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols 235
Testing for Integrity Flaws in Web Sessions 235
Static vs Dynamic Typing for Access Control in Pi-Calculus 234
Typed Interpretations of Extensible Objects 227
Secrecy in Untrusted Networks 227
Boxed Ambients 227
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I 225
Information Flow Security for Boxed Ambients 223
Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols 222
Language Based Secure Communication 221
Principles for Entity Authentication 219
Compositional Analysis of Authentication Protocols 217
Access Control for Mobile Agents: the Calculus of Boxed Ambients 215
Subtyping and Matching for Mobile Objects 212
Abstractions for Distributed Protocol Design 211
An overview of Boxed Ambients 209
Matching for the Lambda Calculus of Objects 209
Type Based Discretionary Access Control 208
Context-Sensitive Equivalences for Non-Interference based Protocol Analysis 205
Secure implementations of typed channel abstractions 202
Security Abstractions and Intruder Models 198
Cryptographic Web Applications: from Security Engineering to Formal Analysis 197
Secure Distributed State Management in eUTxO Blockchains 196
Dynamic Types for Authentication 195
Typed Mobile Objects 194
On Casanova and databases or the similarity between games and DBs 194
Space-aware ambients and processes 190
Typed Processes in Untyped Contexts 190
Monadic Scripting in F# for Computer Games 189
Type Inference for Variant Object Types 188
Communication and Mobility Control in Boxed Ambients 171
Secure Safe Ambients 164
First Workshop on Object Oriented Developments (WOOD 2003) 156
Second Workshop on Object Oriented Developments (WOOD 2004) 155
Fostering SMEs Digital Innovation through Advanced Training and Design Thinking. Italy as a Case Study 150
Communication Interference in Mobile Boxed Ambient 148
ALGOMOVE – A Move Embedding for Algorand 140
Short Circuits 4.0- How to Connect Business and Higher Technical Education 114
UNA REPUBBLICA DA DIGITALIZZARE 104
Smart contract languages: A comparative analysis 103
Assessing Code Understanding in LLMs 73
Totale 29.384
Salva come PNG Salva come JPEG
Categoria #
all - tutte 88.886
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 88.886
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20212.814 0 0 0 0 0 579 451 207 222 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/20263.906 597 655 856 692 1.044 62 0 0 0 0 0 0
Totale 29.384