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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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.875 162 181 233 262 205 147 256 271 355 279 290 234
2025/2026125 125 0 0 0 0 0 0 0 0 0 0 0
Totale 25.603