BUGLIESI, Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 13.049
EU - Europa 6.602
AS - Asia 3.340
AF - Africa 84
SA - Sud America 35
Continente sconosciuto - Info sul continente non disponibili 20
OC - Oceania 17
Totale 23.147
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 12.746
CN - Cina 2.189
IT - Italia 1.182
PL - Polonia 1.172
DE - Germania 763
UA - Ucraina 561
IE - Irlanda 558
SG - Singapore 548
SE - Svezia 483
GB - Regno Unito 421
FI - Finlandia 349
RU - Federazione Russa 310
CA - Canada 283
FR - Francia 160
TR - Turchia 129
HK - Hong Kong 97
AT - Austria 95
NL - Olanda 92
IN - India 57
ES - Italia 56
BE - Belgio 53
PH - Filippine 50
CH - Svizzera 48
JP - Giappone 47
BG - Bulgaria 45
CZ - Repubblica Ceca 39
ZA - Sudafrica 37
KR - Corea 35
SI - Slovenia 35
VN - Vietnam 27
IR - Iran 25
MD - Moldavia 25
RO - Romania 25
RS - Serbia 23
EU - Europa 20
MY - Malesia 20
PT - Portogallo 20
AU - Australia 16
BR - Brasile 14
DK - Danimarca 14
SA - Arabia Saudita 14
TW - Taiwan 13
BD - Bangladesh 12
PK - Pakistan 12
HR - Croazia 10
ID - Indonesia 10
BY - Bielorussia 9
CL - Cile 9
IL - Israele 9
NO - Norvegia 8
UZ - Uzbekistan 8
EG - Egitto 7
GR - Grecia 7
HU - Ungheria 7
MX - Messico 7
CM - Camerun 6
LB - Libano 6
LT - Lituania 6
LU - Lussemburgo 6
NG - Nigeria 6
TH - Thailandia 6
UY - Uruguay 6
GE - Georgia 5
LV - Lettonia 5
BJ - Benin 4
CI - Costa d'Avorio 4
CY - Cipro 4
GH - Ghana 4
IS - Islanda 4
MA - Marocco 4
MK - Macedonia 4
PA - Panama 4
SC - Seychelles 4
CR - Costa Rica 3
KH - Cambogia 3
MQ - Martinica 3
PE - Perù 3
AM - Armenia 2
AR - Argentina 2
AZ - Azerbaigian 2
BA - Bosnia-Erzegovina 2
DO - Repubblica Dominicana 2
ET - Etiopia 2
IM - Isola di Man 2
MU - Mauritius 2
NP - Nepal 2
TM - Turkmenistan 2
AE - Emirati Arabi Uniti 1
AF - Afghanistan, Repubblica islamica di 1
BS - Bahamas 1
CO - Colombia 1
EE - Estonia 1
GI - Gibilterra 1
IQ - Iraq 1
JO - Giordania 1
KG - Kirghizistan 1
KZ - Kazakistan 1
LR - Liberia 1
MW - Malawi 1
NZ - Nuova Zelanda 1
Totale 23.144
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.958
Fairfield 1.419
Warsaw 1.038
Chandler 998
Ann Arbor 903
Houston 897
Jacksonville 845
Ashburn 738
Seattle 639
Dublin 556
Cambridge 501
Wilmington 501
Singapore 413
Mestre 275
Nanjing 259
Jinan 238
Dearborn 191
Shenyang 184
Boardman 180
San Mateo 162
Guangzhou 153
Beijing 150
New York 149
Venezia 147
Andover 125
Hebei 120
Izmir 113
Venice 100
Montreal 99
Tianjin 94
Boston 93
Las Vegas 91
Changsha 86
Mülheim 83
El Cajon 81
Princeton 81
Taiyuan 81
Hangzhou 79
Nanchang 75
Hong Kong 74
Ottawa 73
Vienna 69
Ningbo 65
Zhengzhou 64
Haikou 62
San Diego 59
Taizhou 57
Jiaxing 54
Helsinki 53
Lexington 53
Hewlett 51
London 50
Denton 48
Milan 48
Fuzhou 47
Brandenburg 45
Redwood City 45
Brussels 44
St Petersburg 43
Los Angeles 41
Saint Petersburg 41
Philadelphia 40
Berlin 38
Beauharnois 36
Krakow 36
Des Moines 34
Polesovice 33
Brownsville 32
Polska 32
Bremen 31
Davao City 30
Amsterdam 29
Frankfurt am Main 29
Tokyo 29
Toronto 29
Johannesburg 27
Altamura 26
Flushing 26
Madrid 26
Santa Clara 26
Moscow 25
Ravenna 25
Washington 25
Hefei 24
Kunming 24
Cuges-les-Pins 23
Kyiv 22
Sofia 20
San Paolo di Civitate 19
Norwalk 18
Zurich 18
Dong Ket 17
Chicago 16
Krefeld 16
Buffalo 15
Nuremberg 15
Verona 15
Dallas 14
Kilburn 14
Krasnodar 14
Totale 17.049
Salva come PNG Salva come JPEG
Nome #
CookiExt: Patching the browser against session hijacking attacks 3.712
Affine Refinement Types for Secure Distributed Programming 590
Semantics-based analysis of content security policy deployment 534
A Supervised Learning Approach to Protect Client Authentication on the Web 523
Behavioural equivalences and interference metrics for mobile ad-hoc networks 512
Sub-session hijacking on the web: Root causes and prevention 472
Fine-grained Detection of Privilege Escalation Attacks on Browser Extensions 426
Formal methods for web security 400
Content Security Problems? Evaluating the Effectiveness of Content Security Policy in the Wild 375
Designing Casanova: a language for games 369
Security protocol specification and verification with AnBx 353
Lintent: Towards Security Type-Checking of Android Applications 348
Model Checking Adaptive Service Compositions 343
Channel Abstractions for Network Security 337
Writing real-time .Net games in Casanova 323
CCSP: Controlled relaxation of content security policies by runtime policy composition 322
Secrecy and Authenticity Types for Secure Distributed Messaging 312
A formal specification for Casanova, a language for computer games 307
Provably Sound Browser-Based Enforcement of Web Session Integrity 288
A Type System for Discretionary Access Control 284
Dr Cookie and Mr Token - Web session implementations and how to live with them 284
Quite a mess in my cookie jar! Leveraging machine learning to protect web authentication 281
Type-Flow Analysis for Legacy Cobol Code 279
A compilation technique to increase X3D performance and safety 277
Client Side Web Session Integrity as a Non-Interference Property 276
Gran: model checking grsecurity RBAC policies 274
Static Detection of Collusion Attacks in ARBAC-based Workflow Systems 274
Automatic and robust client-side protection for cookie-based sessions 267
Semantically Sound Analysis of Content Security Policies 263
A Survey of Name-Passing Calculi and Crypto-Primitives 256
Compositional Typed Analysis of ARBAC Policies 256
Casanova: a declarative language for safe games 243
Interference-sensitive Preorders for MANETs 241
Typing Legacy COBOL Code 239
Formal verification of Liferay RBAC 231
Behavioural typing for safe ambients 230
Analysis of Typed Analyses of Authentication Protocols 228
Affine Refinement Types for Authentication and Authorization 226
Authenticity by tagging and typing 222
A Calculus of Bounded Capacities 219
Logical Foundations of Secure Resource Management in Protocol Implementations 217
Reasoning about Security in Mobile Ambients 212
Object Calculi in Linear Logic 210
Compliance Preorders for Web Services. 207
Differential logic programs: Programming methodologies and semantics 203
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II 201
Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols 198
A subtyping for Extensible Incomplete Objects 197
Typed Interpretations of Extensible Objects 195
Language Based Secure Communication 194
Principles for Entity Authentication 192
Static vs Dynamic Typing for Access Control in Pi-Calculus 192
Boxed Ambients 190
Secrecy in Untrusted Networks 188
A Theory of Adaptable Contract-based Service Composition. 187
Information Flow Security for Boxed Ambients 186
Testing for Integrity Flaws in Web Sessions 186
Compositional Analysis of Authentication Protocols 183
Subtyping and Matching for Mobile Objects 182
Matching for the Lambda Calculus of Objects 181
Type Based Discretionary Access Control 176
Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols 175
Context-Sensitive Equivalences for Non-Interference based Protocol Analysis 172
Secure implementations of typed channel abstractions 164
Typed Processes in Untyped Contexts 163
Security Abstractions and Intruder Models 162
Abstractions for Distributed Protocol Design 161
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I 157
An overview of Boxed Ambients 157
Type Inference for Variant Object Types 157
Dynamic Types for Authentication 156
Access Control for Mobile Agents: the Calculus of Boxed Ambients 155
Typed Mobile Objects 154
Space-aware ambients and processes 153
Monadic Scripting in F# for Computer Games 150
On Casanova and databases or the similarity between games and DBs 147
Communication and Mobility Control in Boxed Ambients 140
Secure Safe Ambients 134
First Workshop on Object Oriented Developments (WOOD 2003) 127
Second Workshop on Object Oriented Developments (WOOD 2004) 123
Communication Interference in Mobile Boxed Ambient 106
Fostering SMEs Digital Innovation through Advanced Training and Design Thinking. Italy as a Case Study 76
Cryptographic Web Applications: from Security Engineering to Formal Analysis 73
UNA REPUBBLICA DA DIGITALIZZARE 65
Short Circuits 4.0- How to Connect Business and Higher Technical Education 49
ALGOMOVE – A Move Embedding for Algorand 28
Smart contract languages: A comparative analysis 5
Totale 23.582
Salva come PNG Salva come JPEG
Categoria #
all - tutte 69.245
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 69.245
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.435 0 0 0 0 332 393 305 438 329 266 209 163
2020/20214.013 191 116 243 155 494 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/2025979 162 181 233 262 141 0 0 0 0 0 0 0
Totale 23.582