BUGLIESI, Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 12.597
EU - Europa 6.226
AS - Asia 2.792
AF - Africa 78
SA - Sud America 25
Continente sconosciuto - Info sul continente non disponibili 20
OC - Oceania 11
Totale 21.749
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 12.307
CN - Cina 2.104
PL - Polonia 1.161
IT - Italia 1.126
DE - Germania 687
UA - Ucraina 553
IE - Irlanda 531
SE - Svezia 480
GB - Regno Unito 416
FI - Finlandia 336
CA - Canada 274
RU - Federazione Russa 226
SG - Singapore 154
FR - Francia 143
TR - Turchia 125
AT - Austria 91
HK - Hong Kong 90
NL - Olanda 69
BE - Belgio 53
IN - India 50
CH - Svizzera 48
PH - Filippine 46
JP - Giappone 44
ES - Italia 42
BG - Bulgaria 41
CZ - Repubblica Ceca 39
ZA - Sudafrica 35
SI - Slovenia 34
KR - Corea 27
IR - Iran 25
MD - Moldavia 24
RS - Serbia 23
VN - Vietnam 21
EU - Europa 20
MY - Malesia 20
RO - Romania 18
DK - Danimarca 13
PT - Portogallo 13
SA - Arabia Saudita 13
PK - Pakistan 12
AU - Australia 10
CL - Cile 9
HR - Croazia 9
TW - Taiwan 9
BR - Brasile 8
BY - Bielorussia 8
NO - Norvegia 8
UZ - Uzbekistan 8
EG - Egitto 7
HU - Ungheria 7
BD - Bangladesh 6
CM - Camerun 6
GR - Grecia 6
IL - Israele 6
LB - Libano 6
LT - Lituania 6
MX - Messico 6
NG - Nigeria 5
TH - Thailandia 5
BJ - Benin 4
CI - Costa d'Avorio 4
GE - Georgia 4
GH - Ghana 4
LV - Lettonia 4
PA - Panama 4
SC - Seychelles 4
CR - Costa Rica 3
CY - Cipro 3
KH - Cambogia 3
LU - Lussemburgo 3
PE - Perù 3
UY - Uruguay 3
AM - Armenia 2
AR - Argentina 2
AZ - Azerbaigian 2
DO - Repubblica Dominicana 2
ET - Etiopia 2
ID - Indonesia 2
IM - Isola di Man 2
IS - Islanda 2
MA - Marocco 2
MU - Mauritius 2
NP - Nepal 2
AF - Afghanistan, Repubblica islamica di 1
BS - Bahamas 1
EE - Estonia 1
GI - Gibilterra 1
IQ - Iraq 1
KG - Kirghizistan 1
LR - Liberia 1
MK - Macedonia 1
MW - Malawi 1
NZ - Nuova Zelanda 1
SK - Slovacchia (Repubblica Slovacca) 1
ZM - Zambia 1
Totale 21.749
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.958
Fairfield 1.419
Warsaw 1.033
Chandler 998
Ann Arbor 903
Houston 894
Jacksonville 844
Ashburn 724
Seattle 636
Dublin 530
Cambridge 501
Wilmington 500
Mestre 275
Nanjing 259
Jinan 238
Dearborn 191
Shenyang 184
San Mateo 162
Guangzhou 152
Beijing 150
Venezia 147
New York 143
Andover 125
Hebei 120
Izmir 113
Singapore 95
Montreal 94
Tianjin 94
Boston 93
Boardman 89
Venice 88
Changsha 86
Mülheim 83
El Cajon 81
Princeton 81
Taiyuan 80
Hangzhou 79
Nanchang 75
Hong Kong 73
Ottawa 73
Vienna 66
Ningbo 65
Zhengzhou 63
Haikou 62
San Diego 59
Taizhou 57
Jiaxing 54
Hewlett 51
Lexington 51
London 48
Fuzhou 47
Redwood City 45
Brussels 44
Denton 44
St Petersburg 43
Helsinki 41
Milan 41
Saint Petersburg 41
Philadelphia 39
Brandenburg 38
Krakow 36
Beauharnois 35
Des Moines 34
Polesovice 33
Los Angeles 32
Polska 32
Bremen 29
Davao City 29
Tokyo 28
Toronto 28
Altamura 26
Flushing 26
Johannesburg 26
Ravenna 25
Brownsville 24
Hefei 24
Kunming 24
Cuges-les-Pins 23
Washington 23
Amsterdam 22
Frankfurt am Main 21
Sofia 20
Kyiv 19
San Paolo di Civitate 19
Norwalk 18
Zurich 18
Dong Ket 17
Madrid 17
Moscow 17
Krefeld 15
Chicago 14
Kilburn 14
Quezon City 14
Southend 14
Verona 14
Brzesko 13
Kraków 13
Brooklyn 12
Renton 12
Zanjan 12
Totale 16.334
Salva come PNG Salva come JPEG
Nome #
CookiExt: Patching the browser against session hijacking attacks 3.054
Affine Refinement Types for Secure Distributed Programming 578
Semantics-based analysis of content security policy deployment 521
A Supervised Learning Approach to Protect Client Authentication on the Web 509
Behavioural equivalences and interference metrics for mobile ad-hoc networks 500
Sub-session hijacking on the web: Root causes and prevention 457
Fine-grained Detection of Privilege Escalation Attacks on Browser Extensions 414
Formal methods for web security 387
Content Security Problems? Evaluating the Effectiveness of Content Security Policy in the Wild 358
Designing Casanova: a language for games 357
Security protocol specification and verification with AnBx 345
Lintent: Towards Security Type-Checking of Android Applications 340
Model Checking Adaptive Service Compositions 337
Channel Abstractions for Network Security 331
Writing real-time .Net games in Casanova 313
CCSP: Controlled relaxation of content security policies by runtime policy composition 310
Secrecy and Authenticity Types for Secure Distributed Messaging 303
A formal specification for Casanova, a language for computer games 294
Provably Sound Browser-Based Enforcement of Web Session Integrity 283
A Type System for Discretionary Access Control 276
Type-Flow Analysis for Legacy Cobol Code 271
Quite a mess in my cookie jar! Leveraging machine learning to protect web authentication 270
Dr Cookie and Mr Token - Web session implementations and how to live with them 269
A compilation technique to increase X3D performance and safety 267
Gran: model checking grsecurity RBAC policies 265
Client Side Web Session Integrity as a Non-Interference Property 264
Static Detection of Collusion Attacks in ARBAC-based Workflow Systems 262
Automatic and robust client-side protection for cookie-based sessions 257
Semantically Sound Analysis of Content Security Policies 248
A Survey of Name-Passing Calculi and Crypto-Primitives 247
Compositional Typed Analysis of ARBAC Policies 247
Casanova: a declarative language for safe games 233
Typing Legacy COBOL Code 231
Interference-sensitive Preorders for MANETs 231
Behavioural typing for safe ambients 225
Formal verification of Liferay RBAC 223
Analysis of Typed Analyses of Authentication Protocols 220
Authenticity by tagging and typing 214
Affine Refinement Types for Authentication and Authorization 214
A Calculus of Bounded Capacities 213
Logical Foundations of Secure Resource Management in Protocol Implementations 211
Reasoning about Security in Mobile Ambients 208
Object Calculi in Linear Logic 201
Compliance Preorders for Web Services. 199
Differential logic programs: Programming methodologies and semantics 196
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II 192
Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols 192
Typed Interpretations of Extensible Objects 191
A subtyping for Extensible Incomplete Objects 190
Language Based Secure Communication 189
Principles for Entity Authentication 188
Static vs Dynamic Typing for Access Control in Pi-Calculus 188
Secrecy in Untrusted Networks 184
Boxed Ambients 184
Information Flow Security for Boxed Ambients 182
Testing for Integrity Flaws in Web Sessions 179
Compositional Analysis of Authentication Protocols 178
Subtyping and Matching for Mobile Objects 177
A Theory of Adaptable Contract-based Service Composition. 177
Matching for the Lambda Calculus of Objects 177
Type Based Discretionary Access Control 171
Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols 168
Context-Sensitive Equivalences for Non-Interference based Protocol Analysis 166
Secure implementations of typed channel abstractions 160
Security Abstractions and Intruder Models 159
Typed Processes in Untyped Contexts 158
Abstractions for Distributed Protocol Design 155
Type Inference for Variant Object Types 153
Dynamic Types for Authentication 151
An overview of Boxed Ambients 149
Typed Mobile Objects 149
Access Control for Mobile Agents: the Calculus of Boxed Ambients 148
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I 147
Space-aware ambients and processes 147
Monadic Scripting in F# for Computer Games 142
On Casanova and databases or the similarity between games and DBs 139
Communication and Mobility Control in Boxed Ambients 133
Secure Safe Ambients 130
First Workshop on Object Oriented Developments (WOOD 2003) 122
Second Workshop on Object Oriented Developments (WOOD 2004) 119
Communication Interference in Mobile Boxed Ambient 102
Cryptographic Web Applications: from Security Engineering to Formal Analysis 65
UNA REPUBBLICA DA DIGITALIZZARE 46
Fostering SMEs Digital Innovation through Advanced Training and Design Thinking. Italy as a Case Study 37
Short Circuits 4.0- How to Connect Business and Higher Technical Education 27
ALGOMOVE – A Move Embedding for Algorand 17
Totale 22.181
Salva come PNG Salva come JPEG
Categoria #
all - tutte 59.627
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 59.627
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019887 0 0 0 0 0 0 0 0 0 0 364 523
2019/20204.398 411 304 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.155 215 213 152 227 262 304 176 222 151 188 45 0
Totale 22.181