BUGLIESI, Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 13.483
EU - Europa 7.085
AS - Asia 3.937
SA - Sud America 276
AF - Africa 108
Continente sconosciuto - Info sul continente non disponibili 20
OC - Oceania 17
Totale 24.926
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 13.152
CN - Cina 2.242
IT - Italia 1.303
PL - Polonia 1.190
SG - Singapore 833
DE - Germania 823
UA - Ucraina 567
IE - Irlanda 561
SE - Svezia 491
GB - Regno Unito 440
RU - Federazione Russa 429
FI - Finlandia 367
CA - Canada 302
BR - Brasile 237
HK - Hong Kong 236
FR - Francia 206
TR - Turchia 143
AT - Austria 110
NL - Olanda 108
IN - India 76
JP - Giappone 62
ES - Italia 60
BE - Belgio 54
PH - Filippine 52
CH - Svizzera 51
BG - Bulgaria 47
KR - Corea 47
ZA - Sudafrica 42
CZ - Repubblica Ceca 41
SI - Slovenia 35
VN - Vietnam 30
RO - Romania 26
IR - Iran 25
MD - Moldavia 25
PT - Portogallo 25
RS - Serbia 23
MY - Malesia 22
EU - Europa 20
ID - Indonesia 20
IL - Israele 19
TW - Taiwan 18
BD - Bangladesh 17
SA - Arabia Saudita 17
AU - Australia 16
DK - Danimarca 14
PK - Pakistan 14
GR - Grecia 13
UZ - Uzbekistan 12
MX - Messico 11
NO - Norvegia 11
UY - Uruguay 11
HR - Croazia 10
BY - Bielorussia 9
CL - Cile 9
EG - Egitto 9
LT - Lituania 8
MA - Marocco 8
AR - Argentina 7
HU - Ungheria 7
NG - Nigeria 7
TH - Thailandia 7
CM - Camerun 6
LB - Libano 6
LU - Lussemburgo 6
LV - Lettonia 6
GE - Georgia 5
IS - Islanda 5
PA - Panama 5
AE - Emirati Arabi Uniti 4
AZ - Azerbaigian 4
BJ - Benin 4
CI - Costa d'Avorio 4
CY - Cipro 4
EC - Ecuador 4
GH - Ghana 4
KE - Kenya 4
MK - Macedonia 4
MU - Mauritius 4
SC - Seychelles 4
CR - Costa Rica 3
DZ - Algeria 3
IQ - Iraq 3
KH - Cambogia 3
KZ - Kazakistan 3
MQ - Martinica 3
PE - Perù 3
SK - Slovacchia (Repubblica Slovacca) 3
TN - Tunisia 3
AM - Armenia 2
BA - Bosnia-Erzegovina 2
CO - Colombia 2
DO - Repubblica Dominicana 2
ET - Etiopia 2
IM - Isola di Man 2
JO - Giordania 2
KG - Kirghizistan 2
NP - Nepal 2
TM - Turkmenistan 2
VE - Venezuela 2
AF - Afghanistan, Repubblica islamica di 1
Totale 24.910
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.958
Fairfield 1.419
Warsaw 1.054
Chandler 998
Ann Arbor 903
Houston 897
Jacksonville 845
Ashburn 774
Seattle 640
Dublin 559
Cambridge 502
Wilmington 501
Singapore 476
Mestre 275
Nanjing 259
Jinan 238
Hong Kong 211
Dearborn 191
Boardman 185
Shenyang 184
Guangzhou 176
San Mateo 162
New York 158
Venice 155
Beijing 153
Venezia 147
Council Bluffs 134
Andover 125
Hebei 120
Izmir 113
Montreal 111
Tianjin 95
Boston 94
Las Vegas 93
Changsha 86
Mülheim 83
El Cajon 81
Princeton 81
Taiyuan 81
Vienna 80
Hangzhou 79
Nanchang 75
Ottawa 74
Ningbo 65
Zhengzhou 64
San Diego 63
Haikou 62
Milan 59
Helsinki 58
London 57
Taizhou 57
Jiaxing 54
Brandenburg 53
Lexington 53
Los Angeles 52
Hewlett 51
Denton 48
Moscow 48
Fuzhou 47
Brussels 45
Redwood City 45
St Petersburg 45
Berlin 41
Philadelphia 41
Saint Petersburg 41
The Dalles 41
Amsterdam 37
Beauharnois 36
Krakow 36
Tokyo 35
Des Moines 34
Hefei 33
Polesovice 33
Toronto 33
Brownsville 32
Polska 32
Bremen 31
Frankfurt am Main 31
Santa Clara 31
Davao City 30
Johannesburg 29
Strasbourg 29
Madrid 27
Altamura 26
Flushing 26
Washington 26
Ravenna 25
Rome 25
Kunming 24
Kyiv 24
Cuges-les-Pins 23
Nuremberg 23
Sofia 20
São Paulo 20
Verona 20
Chicago 19
San Paolo di Civitate 19
Dallas 18
Istanbul 18
Norwalk 18
Totale 17.738
Salva come PNG Salva come JPEG
Nome #
CookiExt: Patching the browser against session hijacking attacks 4.286
Affine Refinement Types for Secure Distributed Programming 601
Semantics-based analysis of content security policy deployment 553
A Supervised Learning Approach to Protect Client Authentication on the Web 543
Behavioural equivalences and interference metrics for mobile ad-hoc networks 536
Sub-session hijacking on the web: Root causes and prevention 499
Fine-grained Detection of Privilege Escalation Attacks on Browser Extensions 439
Formal methods for web security 428
Designing Casanova: a language for games 389
Content Security Problems? Evaluating the Effectiveness of Content Security Policy in the Wild 387
Lintent: Towards Security Type-Checking of Android Applications 372
Security protocol specification and verification with AnBx 367
Channel Abstractions for Network Security 356
Model Checking Adaptive Service Compositions 356
Writing real-time .Net games in Casanova 337
CCSP: Controlled relaxation of content security policies by runtime policy composition 332
A formal specification for Casanova, a language for computer games 324
Secrecy and Authenticity Types for Secure Distributed Messaging 320
Provably Sound Browser-Based Enforcement of Web Session Integrity 305
Dr Cookie and Mr Token - Web session implementations and how to live with them 300
Client Side Web Session Integrity as a Non-Interference Property 298
A Type System for Discretionary Access Control 295
Static Detection of Collusion Attacks in ARBAC-based Workflow Systems 295
A compilation technique to increase X3D performance and safety 294
Quite a mess in my cookie jar! Leveraging machine learning to protect web authentication 291
Type-Flow Analysis for Legacy Cobol Code 290
Gran: model checking grsecurity RBAC policies 286
Semantically Sound Analysis of Content Security Policies 281
Automatic and robust client-side protection for cookie-based sessions 276
A Survey of Name-Passing Calculi and Crypto-Primitives 271
Compositional Typed Analysis of ARBAC Policies 267
Typing Legacy COBOL Code 257
Casanova: a declarative language for safe games 254
Interference-sensitive Preorders for MANETs 247
Formal verification of Liferay RBAC 243
Analysis of Typed Analyses of Authentication Protocols 241
Affine Refinement Types for Authentication and Authorization 240
Behavioural typing for safe ambients 237
Authenticity by tagging and typing 234
A Calculus of Bounded Capacities 228
Logical Foundations of Secure Resource Management in Protocol Implementations 226
Reasoning about Security in Mobile Ambients 219
Compliance Preorders for Web Services. 216
Object Calculi in Linear Logic 215
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II 210
Differential logic programs: Programming methodologies and semantics 210
Typed Interpretations of Extensible Objects 205
Language Based Secure Communication 205
Static vs Dynamic Typing for Access Control in Pi-Calculus 204
Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols 204
A subtyping for Extensible Incomplete Objects 202
Secrecy in Untrusted Networks 201
Principles for Entity Authentication 201
Testing for Integrity Flaws in Web Sessions 199
Boxed Ambients 198
A Theory of Adaptable Contract-based Service Composition. 195
Information Flow Security for Boxed Ambients 193
Compositional Analysis of Authentication Protocols 192
Subtyping and Matching for Mobile Objects 191
Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols 189
Type Based Discretionary Access Control 187
Matching for the Lambda Calculus of Objects 187
Context-Sensitive Equivalences for Non-Interference based Protocol Analysis 180
Security Abstractions and Intruder Models 178
Abstractions for Distributed Protocol Design 176
Secure implementations of typed channel abstractions 173
Typed Processes in Untyped Contexts 173
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I 171
Access Control for Mobile Agents: the Calculus of Boxed Ambients 169
Dynamic Types for Authentication 168
An overview of Boxed Ambients 167
Type Inference for Variant Object Types 165
Typed Mobile Objects 163
Monadic Scripting in F# for Computer Games 162
Space-aware ambients and processes 161
On Casanova and databases or the similarity between games and DBs 161
Communication and Mobility Control in Boxed Ambients 151
Secure Safe Ambients 142
Second Workshop on Object Oriented Developments (WOOD 2004) 138
Cryptographic Web Applications: from Security Engineering to Formal Analysis 137
First Workshop on Object Oriented Developments (WOOD 2003) 132
Communication Interference in Mobile Boxed Ambient 121
Fostering SMEs Digital Innovation through Advanced Training and Design Thinking. Italy as a Case Study 105
UNA REPUBBLICA DA DIGITALIZZARE 83
Short Circuits 4.0- How to Connect Business and Higher Technical Education 82
ALGOMOVE – A Move Embedding for Algorand 59
Smart contract languages: A comparative analysis 47
Totale 25.368
Salva come PNG Salva come JPEG
Categoria #
all - tutte 78.149
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 78.149
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020163 0 0 0 0 0 0 0 0 0 0 0 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/20252.765 162 181 233 262 205 147 256 271 355 279 290 124
Totale 25.368