BUGLIESI, Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 12.907
EU - Europa 6.417
AS - Asia 3.041
AF - Africa 83
SA - Sud America 31
Continente sconosciuto - Info sul continente non disponibili 20
OC - Oceania 16
Totale 22.515
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 12.607
CN - Cina 2.122
PL - Polonia 1.165
IT - Italia 1.148
DE - Germania 746
UA - Ucraina 556
IE - Irlanda 546
SE - Svezia 481
GB - Regno Unito 418
SG - Singapore 342
FI - Finlandia 341
CA - Canada 280
RU - Federazione Russa 257
FR - Francia 156
TR - Turchia 129
HK - Hong Kong 92
AT - Austria 91
NL - Olanda 81
BE - Belgio 53
ES - Italia 53
IN - India 53
PH - Filippine 50
CH - Svizzera 48
BG - Bulgaria 45
JP - Giappone 45
CZ - Repubblica Ceca 39
ZA - Sudafrica 37
SI - Slovenia 35
KR - Corea 33
IR - Iran 25
MD - Moldavia 24
RS - Serbia 23
VN - Vietnam 21
EU - Europa 20
MY - Malesia 20
RO - Romania 18
AU - Australia 15
BR - Brasile 14
PT - Portogallo 14
SA - Arabia Saudita 14
DK - Danimarca 13
BD - Bangladesh 12
PK - Pakistan 12
TW - Taiwan 11
HR - Croazia 10
CL - Cile 9
ID - Indonesia 9
BY - Bielorussia 8
IL - Israele 8
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
NG - Nigeria 6
TH - Thailandia 6
GE - Georgia 5
LU - Lussemburgo 5
BJ - Benin 4
CI - Costa d'Avorio 4
GH - Ghana 4
LV - Lettonia 4
PA - Panama 4
SC - Seychelles 4
CR - Costa Rica 3
CY - Cipro 3
IS - Islanda 3
KH - Cambogia 3
MA - Marocco 3
MQ - Martinica 3
PE - Perù 3
UY - Uruguay 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
AE - Emirati Arabi Uniti 1
AF - Afghanistan, Repubblica islamica di 1
BS - Bahamas 1
EE - Estonia 1
GI - Gibilterra 1
IQ - Iraq 1
KG - Kirghizistan 1
KZ - Kazakistan 1
LR - Liberia 1
MK - Macedonia 1
MW - Malawi 1
NZ - Nuova Zelanda 1
SK - Slovacchia (Repubblica Slovacca) 1
TD - Ciad 1
TM - Turkmenistan 1
Totale 22.514
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.958
Fairfield 1.419
Warsaw 1.033
Chandler 998
Ann Arbor 903
Houston 897
Jacksonville 844
Ashburn 735
Seattle 638
Dublin 544
Cambridge 501
Wilmington 501
Mestre 275
Nanjing 259
Jinan 238
Singapore 238
Dearborn 191
Shenyang 184
San Mateo 162
Guangzhou 152
Beijing 150
New York 149
Venezia 147
Andover 125
Hebei 120
Izmir 113
Montreal 97
Boardman 94
Tianjin 94
Boston 93
Venice 88
Changsha 86
Las Vegas 84
Mülheim 83
El Cajon 81
Princeton 81
Taiyuan 80
Hangzhou 79
Nanchang 75
Hong Kong 74
Ottawa 73
Vienna 66
Ningbo 65
Zhengzhou 63
Haikou 62
San Diego 59
Taizhou 57
Jiaxing 54
Lexington 53
Hewlett 51
London 50
Denton 48
Fuzhou 47
Helsinki 46
Milan 45
Redwood City 45
Brussels 44
St Petersburg 43
Saint Petersburg 41
Brandenburg 40
Philadelphia 40
Berlin 38
Los Angeles 38
Beauharnois 36
Krakow 36
Des Moines 34
Polesovice 33
Brownsville 32
Polska 32
Davao City 30
Bremen 29
Tokyo 29
Amsterdam 28
Toronto 28
Johannesburg 27
Altamura 26
Flushing 26
Frankfurt am Main 26
Madrid 25
Ravenna 25
Washington 25
Hefei 24
Kunming 24
Santa Clara 24
Cuges-les-Pins 23
Moscow 21
Sofia 20
Kyiv 19
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
Quezon City 14
Totale 16.704
Salva come PNG Salva come JPEG
Nome #
CookiExt: Patching the browser against session hijacking attacks 3.495
Affine Refinement Types for Secure Distributed Programming 582
Semantics-based analysis of content security policy deployment 524
A Supervised Learning Approach to Protect Client Authentication on the Web 513
Behavioural equivalences and interference metrics for mobile ad-hoc networks 506
Sub-session hijacking on the web: Root causes and prevention 464
Fine-grained Detection of Privilege Escalation Attacks on Browser Extensions 419
Formal methods for web security 392
Designing Casanova: a language for games 362
Content Security Problems? Evaluating the Effectiveness of Content Security Policy in the Wild 362
Security protocol specification and verification with AnBx 348
Lintent: Towards Security Type-Checking of Android Applications 344
Model Checking Adaptive Service Compositions 340
Channel Abstractions for Network Security 334
Writing real-time .Net games in Casanova 317
CCSP: Controlled relaxation of content security policies by runtime policy composition 315
Secrecy and Authenticity Types for Secure Distributed Messaging 307
A formal specification for Casanova, a language for computer games 301
Provably Sound Browser-Based Enforcement of Web Session Integrity 284
A Type System for Discretionary Access Control 280
Type-Flow Analysis for Legacy Cobol Code 274
Quite a mess in my cookie jar! Leveraging machine learning to protect web authentication 274
Dr Cookie and Mr Token - Web session implementations and how to live with them 273
A compilation technique to increase X3D performance and safety 272
Client Side Web Session Integrity as a Non-Interference Property 270
Gran: model checking grsecurity RBAC policies 269
Static Detection of Collusion Attacks in ARBAC-based Workflow Systems 265
Automatic and robust client-side protection for cookie-based sessions 260
Semantically Sound Analysis of Content Security Policies 254
Compositional Typed Analysis of ARBAC Policies 251
A Survey of Name-Passing Calculi and Crypto-Primitives 250
Casanova: a declarative language for safe games 238
Interference-sensitive Preorders for MANETs 235
Typing Legacy COBOL Code 234
Behavioural typing for safe ambients 228
Formal verification of Liferay RBAC 227
Analysis of Typed Analyses of Authentication Protocols 223
Affine Refinement Types for Authentication and Authorization 219
Authenticity by tagging and typing 218
A Calculus of Bounded Capacities 216
Logical Foundations of Secure Resource Management in Protocol Implementations 214
Reasoning about Security in Mobile Ambients 210
Object Calculi in Linear Logic 208
Compliance Preorders for Web Services. 202
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II 198
Differential logic programs: Programming methodologies and semantics 198
Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols 194
Typed Interpretations of Extensible Objects 193
Language Based Secure Communication 193
A subtyping for Extensible Incomplete Objects 193
Principles for Entity Authentication 190
Static vs Dynamic Typing for Access Control in Pi-Calculus 190
Boxed Ambients 187
Secrecy in Untrusted Networks 186
Information Flow Security for Boxed Ambients 184
Testing for Integrity Flaws in Web Sessions 182
A Theory of Adaptable Contract-based Service Composition. 181
Subtyping and Matching for Mobile Objects 180
Compositional Analysis of Authentication Protocols 180
Matching for the Lambda Calculus of Objects 178
Type Based Discretionary Access Control 174
Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols 172
Context-Sensitive Equivalences for Non-Interference based Protocol Analysis 168
Secure implementations of typed channel abstractions 162
Typed Processes in Untyped Contexts 161
Security Abstractions and Intruder Models 160
Abstractions for Distributed Protocol Design 158
Type Inference for Variant Object Types 156
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I 153
An overview of Boxed Ambients 153
Dynamic Types for Authentication 153
Typed Mobile Objects 152
Access Control for Mobile Agents: the Calculus of Boxed Ambients 151
Space-aware ambients and processes 150
Monadic Scripting in F# for Computer Games 146
On Casanova and databases or the similarity between games and DBs 142
Communication and Mobility Control in Boxed Ambients 138
Secure Safe Ambients 132
First Workshop on Object Oriented Developments (WOOD 2003) 125
Second Workshop on Object Oriented Developments (WOOD 2004) 120
Communication Interference in Mobile Boxed Ambient 104
Cryptographic Web Applications: from Security Engineering to Formal Analysis 68
UNA REPUBBLICA DA DIGITALIZZARE 57
Fostering SMEs Digital Innovation through Advanced Training and Design Thinking. Italy as a Case Study 53
Short Circuits 4.0- How to Connect Business and Higher Technical Education 38
ALGOMOVE – A Move Embedding for Algorand 21
Totale 22.947
Salva come PNG Salva come JPEG
Categoria #
all - tutte 65.436
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 65.436
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20203.683 0 0 329 919 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/2025344 162 181 1 0 0 0 0 0 0 0 0 0
Totale 22.947