BUGLIESI, Michele
 Distribuzione geografica
Continente #
NA - Nord America 13.762
EU - Europa 7.221
AS - Asia 4.124
SA - Sud America 302
AF - Africa 115
Continente sconosciuto - Info sul continente non disponibili 20
OC - Oceania 17
Totale 25.561
Nazione #
US - Stati Uniti d'America 13.424
CN - Cina 2.274
IT - Italia 1.318
PL - Polonia 1.196
SG - Singapore 872
DE - Germania 870
UA - Ucraina 568
IE - Irlanda 561
SE - Svezia 494
RU - Federazione Russa 453
GB - Regno Unito 447
FI - Finlandia 375
CA - Canada 307
BR - Brasile 256
HK - Hong Kong 255
FR - Francia 209
TR - Turchia 145
JP - Giappone 133
NL - Olanda 118
AT - Austria 115
IN - India 86
ES - Italia 61
BE - Belgio 54
CH - Svizzera 52
PH - Filippine 52
BG - Bulgaria 48
KR - Corea 47
ZA - Sudafrica 43
CZ - Repubblica Ceca 41
SI - Slovenia 35
VN - Vietnam 35
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 13
UZ - Uzbekistan 13
NO - Norvegia 12
UY - Uruguay 11
CL - Cile 10
HR - Croazia 10
AR - Argentina 9
BY - Bielorussia 9
EG - Egitto 9
LT - Lituania 9
MA - Marocco 9
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
IQ - Iraq 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
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.541
Città #
Woodbridge 1.958
Fairfield 1.419
Warsaw 1.059
Chandler 998
Ashburn 956
Ann Arbor 903
Houston 897
Jacksonville 847
Seattle 641
Dublin 559
Cambridge 502
Singapore 501
Wilmington 501
Mestre 275
Nanjing 259
Jinan 238
Hong Kong 230
Boardman 193
Dearborn 191
Shenyang 184
Beijing 183
Guangzhou 177
San Mateo 162
New York 161
Venice 158
Venezia 147
Council Bluffs 136
Andover 125
Hebei 120
Izmir 114
Montreal 113
Boston 96
Tianjin 95
Las Vegas 93
Changsha 86
Mülheim 83
El Cajon 81
Princeton 81
Taiyuan 81
Vienna 81
Hangzhou 79
Nanchang 75
Ottawa 75
Ningbo 65
Zhengzhou 64
San Diego 63
Haikou 62
Helsinki 59
Milan 59
London 58
Los Angeles 57
Taizhou 57
Brandenburg 54
Jiaxing 54
Lexington 53
Hewlett 51
Moscow 51
Denton 48
Fuzhou 47
Munich 46
Brussels 45
Redwood City 45
St Petersburg 45
Amsterdam 41
Berlin 41
Philadelphia 41
Saint Petersburg 41
The Dalles 41
Tokyo 38
Beauharnois 36
Krakow 36
Frankfurt am Main 35
Des Moines 34
Hefei 33
Polesovice 33
Toronto 33
Brownsville 32
Polska 32
Santa Clara 32
Bremen 31
Davao City 30
Johannesburg 30
Strasbourg 29
Nuremberg 28
Madrid 27
Altamura 26
Flushing 26
Washington 26
Kyiv 25
Ravenna 25
Rome 25
Kunming 24
Chicago 23
Columbus 23
Cuges-les-Pins 23
São Paulo 23
Dallas 20
Sofia 20
Verona 20
San Paolo di Civitate 19
Totale 18.098
Nome #
CookiExt: Patching the browser against session hijacking attacks 4.418
Affine Refinement Types for Secure Distributed Programming 607
Semantics-based analysis of content security policy deployment 558
A Supervised Learning Approach to Protect Client Authentication on the Web 553
Behavioural equivalences and interference metrics for mobile ad-hoc networks 543
Sub-session hijacking on the web: Root causes and prevention 506
Fine-grained Detection of Privilege Escalation Attacks on Browser Extensions 445
Formal methods for web security 436
Designing Casanova: a language for games 396
Content Security Problems? Evaluating the Effectiveness of Content Security Policy in the Wild 396
Lintent: Towards Security Type-Checking of Android Applications 379
Security protocol specification and verification with AnBx 371
Model Checking Adaptive Service Compositions 358
Channel Abstractions for Network Security 357
Writing real-time .Net games in Casanova 343
CCSP: Controlled relaxation of content security policies by runtime policy composition 336
A formal specification for Casanova, a language for computer games 331
Secrecy and Authenticity Types for Secure Distributed Messaging 327
Provably Sound Browser-Based Enforcement of Web Session Integrity 312
A compilation technique to increase X3D performance and safety 306
Client Side Web Session Integrity as a Non-Interference Property 306
Dr Cookie and Mr Token - Web session implementations and how to live with them 305
A Type System for Discretionary Access Control 304
Static Detection of Collusion Attacks in ARBAC-based Workflow Systems 302
Type-Flow Analysis for Legacy Cobol Code 297
Quite a mess in my cookie jar! Leveraging machine learning to protect web authentication 296
Gran: model checking grsecurity RBAC policies 290
Semantically Sound Analysis of Content Security Policies 287
Automatic and robust client-side protection for cookie-based sessions 283
A Survey of Name-Passing Calculi and Crypto-Primitives 277
Compositional Typed Analysis of ARBAC Policies 273
Typing Legacy COBOL Code 266
Casanova: a declarative language for safe games 262
Interference-sensitive Preorders for MANETs 252
Affine Refinement Types for Authentication and Authorization 250
Formal verification of Liferay RBAC 250
Analysis of Typed Analyses of Authentication Protocols 248
Authenticity by tagging and typing 244
Behavioural typing for safe ambients 238
A Calculus of Bounded Capacities 234
Logical Foundations of Secure Resource Management in Protocol Implementations 229
Compliance Preorders for Web Services. 223
Object Calculi in Linear Logic 222
Reasoning about Security in Mobile Ambients 222
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II 219
Differential logic programs: Programming methodologies and semantics 217
A subtyping for Extensible Incomplete Objects 210
Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols 209
Typed Interpretations of Extensible Objects 208
Static vs Dynamic Typing for Access Control in Pi-Calculus 208
Secrecy in Untrusted Networks 206
Language Based Secure Communication 206
Testing for Integrity Flaws in Web Sessions 206
A Theory of Adaptable Contract-based Service Composition. 205
Boxed Ambients 204
Principles for Entity Authentication 202
Information Flow Security for Boxed Ambients 197
Compositional Analysis of Authentication Protocols 196
Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols 195
Subtyping and Matching for Mobile Objects 192
Matching for the Lambda Calculus of Objects 192
Type Based Discretionary Access Control 189
Context-Sensitive Equivalences for Non-Interference based Protocol Analysis 183
Abstractions for Distributed Protocol Design 183
Secure implementations of typed channel abstractions 180
Security Abstractions and Intruder Models 180
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I 178
An overview of Boxed Ambients 175
Access Control for Mobile Agents: the Calculus of Boxed Ambients 174
Typed Processes in Untyped Contexts 174
Dynamic Types for Authentication 172
Monadic Scripting in F# for Computer Games 168
On Casanova and databases or the similarity between games and DBs 168
Type Inference for Variant Object Types 167
Space-aware ambients and processes 166
Typed Mobile Objects 165
Communication and Mobility Control in Boxed Ambients 154
Secure Safe Ambients 146
Cryptographic Web Applications: from Security Engineering to Formal Analysis 144
Second Workshop on Object Oriented Developments (WOOD 2004) 141
First Workshop on Object Oriented Developments (WOOD 2003) 135
Communication Interference in Mobile Boxed Ambient 128
Fostering SMEs Digital Innovation through Advanced Training and Design Thinking. Italy as a Case Study 112
UNA REPUBBLICA DA DIGITALIZZARE 91
Short Circuits 4.0- How to Connect Business and Higher Technical Education 87
ALGOMOVE – A Move Embedding for Algorand 71
Smart contract languages: A comparative analysis 52
Assessing Code Understanding in LLMs 11
Totale 26.004
Categoria #
all - tutte 80.243
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 80.243


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/2026526 526 0 0 0 0 0 0 0 0 0 0 0
Totale 26.004