IRIS
Ranise, Silvio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.395
AS - Asia 2.558
EU - Europa 1.687
SA - Sud America 589
Continente sconosciuto - Info sul continente non disponibili 189
AF - Africa 76
OC - Oceania 6
Totale 10.500
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.252
SG - Singapore 1.287
BR - Brasile 491
IT - Italia 453
CN - Cina 423
RU - Federazione Russa 371
VN - Vietnam 200
KR - Corea 189
FR - Francia 182
LV - Lettonia 163
DE - Germania 143
GB - Regno Unito 131
IN - India 89
BD - Bangladesh 74
CA - Canada 69
SE - Svezia 65
HK - Hong Kong 63
IQ - Iraq 48
MX - Messico 43
AR - Argentina 32
NL - Olanda 30
UA - Ucraina 28
ES - Italia 27
TR - Turchia 27
FI - Finlandia 25
JP - Giappone 24
ZA - Sudafrica 22
EC - Ecuador 20
ID - Indonesia 20
PK - Pakistan 20
PL - Polonia 14
CO - Colombia 13
KE - Kenya 13
PH - Filippine 13
SA - Arabia Saudita 10
UZ - Uzbekistan 10
AT - Austria 9
AZ - Azerbaigian 9
DZ - Algeria 8
PE - Perù 8
EG - Egitto 7
GT - Guatemala 7
JO - Giordania 7
LT - Lituania 7
MA - Marocco 7
TN - Tunisia 7
VE - Venezuela 7
NP - Nepal 6
TW - Taiwan 6
AU - Australia 5
IE - Irlanda 5
JM - Giamaica 5
PT - Portogallo 5
UY - Uruguay 5
AE - Emirati Arabi Uniti 4
BO - Bolivia 4
CL - Cile 4
CR - Costa Rica 4
DK - Danimarca 4
MY - Malesia 4
PY - Paraguay 4
BE - Belgio 3
BG - Bulgaria 3
ET - Etiopia 3
KG - Kirghizistan 3
KZ - Kazakistan 3
PR - Porto Rico 3
TH - Thailandia 3
TT - Trinidad e Tobago 3
BA - Bosnia-Erzegovina 2
CZ - Repubblica Ceca 2
GR - Grecia 2
HU - Ungheria 2
IL - Israele 2
IS - Islanda 2
LA - Repubblica Popolare Democratica del Laos 2
LU - Lussemburgo 2
MD - Moldavia 2
MN - Mongolia 2
MQ - Martinica 2
NI - Nicaragua 2
OM - Oman 2
PA - Panama 2
PS - Palestinian Territory 2
RO - Romania 2
SN - Senegal 2
XK - ???statistics.table.value.countryCode.XK??? 2
BB - Barbados 1
BJ - Benin 1
BS - Bahamas 1
CG - Congo 1
CI - Costa d'Avorio 1
EE - Estonia 1
GE - Georgia 1
HN - Honduras 1
KH - Cambogia 1
LB - Libano 1
MK - Macedonia 1
MM - Myanmar 1
NG - Nigeria 1
Totale 10.305
Salva come PNG Salva come JPEG
Città #
Ashburn 900
Singapore 721
San Jose 492
Dallas 364
Santa Clara 326
Princeton 309
Columbus 304
Moscow 288
New York 198
Seoul 189
Fairfield 188
Council Bluffs 163
Riga 163
The Dalles 146
Lauterbourg 136
Chandler 119
Milan 114
Los Angeles 112
Washington 94
Chicago 82
Redondo Beach 69
Ho Chi Minh City 66
Houston 64
Hong Kong 59
Beijing 58
Buffalo 53
Seattle 52
Munich 50
Cambridge 48
Hanoi 47
Woodbridge 45
Trento 42
São Paulo 41
London 38
San Diego 31
Rome 30
Salt Lake City 29
Wilmington 28
Boydton 25
Frankfurt am Main 24
Montreal 23
Ann Arbor 21
Atlanta 21
Helsinki 20
Orem 20
Baghdad 19
Tokyo 19
Jacksonville 18
Toronto 18
Chennai 17
Phoenix 17
Rio de Janeiro 15
Tampa 15
Brooklyn 14
Dhaka 14
Johannesburg 14
Miano 14
Da Nang 13
Mumbai 13
Amsterdam 12
Falkenstein 12
Kilburn 12
Stockholm 12
Verona 12
Belo Horizonte 11
Brasília 11
Figino 11
Andover 10
Warsaw 10
Detroit 9
Elk Grove Village 9
Fayetteville 9
Florence 9
Guangzhou 9
Guarulhos 9
San Francisco 9
Tashkent 9
Baku 8
Boston 8
Changsha 8
Curitiba 8
Genoa 8
Mexico City 8
Nairobi 8
Naples 8
Nuremberg 8
Prescot 8
Quito 8
Boardman 7
Bologna 7
Campinas 7
Chiswick 7
Delhi 7
Denver 7
Fortaleza 7
Hefei 7
Istanbul 7
Miami 7
New Delhi 7
San Mateo 7
Totale 6.989
Salva come PNG Salva come JPEG
Nome #
Artificial Intelligence in Healthcare and the Protection of Health as a Fundamental Right 305
Formal analysis of XACML policies using SMT 168
Security Analysis and Legal Compliance Checking for the Design of Privacy-friendly Information Systems 154
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 138
Can Data Subject Perception of Privacy Risks Be Useful in a Data Protection Impact Assessment? 131
Anatomy of the Facebook solution for mobile single sign-on: Security assessment and improvements 130
Automated Legal Compliance Checking by Security Policy Analysis 128
A framework for security and risk analysis of enrollment procedures: Application to fully-remote solutions based on eDocuments 106
Attestation-enabled secure and scalable routing protocol for IoT networks 105
Merging Datasets of CyberSecurity Incidents for Fun and Insight 98
A declarative two-level framework to specify and verify workflow and authorization policies in service-oriented architectures 98
A declarative framework for specifying and enforcing purpose-aware policies 96
A prototype implementation of a distributed Satisfiability Modulo Theories solver in the ToolBus framework 95
Cryptographic enforcement of access control policies in the cloud: Implementation and experimental assessment 94
A Tool-assisted Methodology for the Data Protection Impact Assessment 94
Aegis: Automatic enforcement of security policies in workflow-driven web applications 91
Automated analysis of semantic-aware access control policies: A logic-based approach 90
Scalable and precise automated analysis of administrative temporal role-based access control 89
Abstraction-Driven Verification of Array Programs 89
Incremental analysis of evolving administrative role based access control policies 89
On cryptographic mechanisms for the selective disclosure of verifiable credentials 87
Integrating a Pentesting Tool for IdM Protocols in a Continuous Delivery Pipeline 83
Solving multi-objectiveworkflow satisfiability problems with optimization modulo theories techniques 83
Automated analysis of scenario-based specifications of distributed access control policies with non-mechanizable activities 81
An extension of lazy abstraction with interpolation for programs with arrays 80
Collective Remote Attestation at the Internet of Things Scale: State-of-the-Art and Future Challenges 79
Blockchain tree as solution for distributed storage of personal id data and document access control 78
A theory of singly-linked lists and its extensible decision procedure 78
A combination of rewriting and constraint solving for the quantifier-free interpolation of arrays with integer difference constraints 77
Audit-Based Access Control with a Distributed Ledger: Applications to Healthcare Organizations 77
A rewriting approach to satisfiability procedures 76
Brief Announcement: Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study 74
A lazy approach to access control as a service (ACaaS) for IoT: An AWS case study 74
ALPS: An Action Language for Policy Specification and Automated Safety Analysis 74
DoS Attacks in Available MQTT Implementations: Investigating the Impact on Brokers and Devices, and supported Anti-DoS Protections 73
Learning from others' mistakes: An analysis of cyber-security incidents 72
Symbolic backward reachability with effectively propositional logic: Applications to security policy analysis 72
ASASPXL: New clother for analysing ARBAC policies 72
Best current practices for OAuth/OIDC Native Apps: A study of their adoption in popular providers and top-ranked Android clients 71
SARA: Secure Asynchronous Remote Attestation for IoT Systems 70
A SMT-based tool for the analysis and enforcement of NATO content-based protection and release policies 70
An Open and Flexible CyberSecurity Training Laboratory in IT/OT Infrastructures 69
Attribute based access control for APIs in Spring security 68
Compiling NATO Authorization Policies for Enforcement in the Cloud and SDNs 68
Analysis of XACML policies with SMT 68
A Wizard-based Approach for Secure Code Generation of Single Sign-On and Access Delegation Solutions for Mobile Native Apps 67
A methodology to build run-time monitors for security-aware workflows 67
Boosting model checking to analyse large ARBAC policies 66
ASASP: Automated Symbolic Analysis of Security Policies 66
Extending access control in AWS IoT through event-driven functions: an experimental evaluation using a smart lock system 66
Exploring Architectures for Cryptographic Access Control Enforcement in the Cloud for Fun and Optimization 65
Modular synthesis of enforcement mechanisms for the workflow satisfiability problem: Scalability and reusability 65
The Good, the Bad and the (Not So) Ugly of Out-of-Band Authentication with eID Cards and Push Notifications: Design, Formal and Risk Analysis 64
Combination methods for satisfiability and model-checking of infinite-state systems 64
Nelson-Oppen, Shostak and the extended Canonizer: A family picture with a newborn 64
A SMT-based methodology for monitoring of security-aware workflows 64
Assisted authoring, analysis and enforcement of access control policies in the cloud 63
Combining data structures with nonstably infinite theories using many-sorted logic 63
Efficient symbolic automated analysis of administrative attribute-based RBAC-policies 63
Applying light-weight theorem proving to debugging and verifying pointer programs 63
Automated analysis of infinite state workflows with access control policies 63
New results on rewrite-based satisfiability procedures 62
Backward reachability of array-based systems by smt solving: Termination and invariant synthesis 62
A practical extension mechanism for decision procedures: The case study of universal presburger arithmetic 62
Automated validation of security-sensitive web services specified in BPEL and RBAC 62
Multi-Objective Microservice Orchestration: Balancing Security and Performance in CCAM 61
Scalable automated analysis of access control and privacy policies 61
Design, formal specification and analysis of multi-factor authentication solutions with a single sign-on experience 61
Automatic combinability of rewriting-based satisfiability procedures 61
MCMT: A model checker modulo theories 61
Formal Analysis of Mobile Multi-Factor Authentication with Single Sign-On Login 60
Quantifier-Free interpolation in combinations of equality interpolating theories 60
Smart Card-Based Identity Management Protocols for V2V and V2I Communications in CCAM: A Systematic Literature Review 60
Cerberus: Automated synthesis of enforcement mechanisms for security-sensitive business processes 59
Automated and efficient analysis of administrative temporal RBAC policies with role hierarchies 59
Micro-Id-Gym: A Flexible Tool for Pentesting Identity Management Protocols in the Wild and in the Laboratory 59
Deploying access control enforcement for IoT in the cloud-edge continuum with the help of the CAP theorem 59
Blockchain Tree for eHealth 59
On a rewriting approach to satisfiability procedures: Extension, combination of theories and an experimental appraisal 59
Safety-Related Cooperative, Connected, and Automated Mobility Services: Interplay between Functional and Security Requirements 58
Automated analysis of RBAC policies with temporal constraints and static role hierarchies 58
Automated Symbolic Analysis of ARBAC-Policies 58
Secure Pull Printing with QR Codes and National eID Cards: A Software-oriented Design and an Open-source Implementation 58
Noetherianity and combination problems 57
Remote Attestation as a Service for IoT 57
Combination of convex theories: Modularity, deduction completeness, and explanation 57
Integrating static checking and interactive verification: Supporting multiple theories and provers in verification 57
MQTTSA: A tool for automatically assisting the secure deployments of MQTT brokers 57
Automated and Secure Integration of the OpenID Connect iGov Profile in Mobile Native Applications 57
Formal Modelling and Automated Trade-off Analysis of Enforcement Architectures for Cryptographic Access Control in the Cloud 56
Workflow and access control reloaded: A declarative specification framework for the automated analysis of web services 56
Automated analysis of parametric timing-based mutual exclusion algorithms 56
SPLIT: A Secure and Scalable RPL routing protocol for Internet of Things 56
Modeling authorization policies for Web services in presence of transitive dependencies 55
On run-time enforcement of authorization constraints in security-sensitive Workflows 55
Formal modelling of content-based protection and release for access control in NATO operations 55
Assisted content-based labelling and classification of documents 55
From integrated reasoning specialists to “plug-And-Play” reasoning components 55
Combining generic and domain specific reasoning by using contexts 55
An Automated Multi-Layered Methodology to Assist the Secure and Risk-Aware Design of Multi-Factor Authentication Protocols 54
Totale 7.564
Salva come PNG Salva come JPEG
Categoria #
all - tutte 76.693
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 426
Totale 77.119
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022690 0 0 2 3 2 1 1 269 66 47 6 293
2022/2023453 190 27 22 8 26 43 5 29 38 17 33 15
2023/20241.158 15 37 119 38 169 449 60 28 4 79 37 123
2024/20252.212 8 34 48 448 203 360 25 95 403 311 129 148
2025/20265.338 350 262 780 811 388 515 880 144 432 391 174 211
2026/2027419 84 333 2 0 0 0 0 0 0 0 0 0
Totale 10.500