IRIS Institutional Research Information System

Ranise, Silvio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 12.794
NA - Nord America 11.597
AS - Asia 5.923
SA - Sud America 1.657
Continente sconosciuto - Info sul continente non disponibili 626
AF - Africa 207
OC - Oceania 55
AN - Antartide 1
Totale 32.860
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.176
RU - Federazione Russa 6.895
SG - Singapore 2.198
IT - Italia 1.647
BR - Brasile 1.389
CN - Cina 1.087
DE - Germania 1.072
VN - Vietnam 905
HK - Hong Kong 692
SE - Svezia 546
UA - Ucraina 488
FR - Francia 389
FI - Finlandia 357
GB - Regno Unito 348
IN - India 284
NL - Olanda 269
CA - Canada 254
IE - Irlanda 200
MX - Messico 111
BE - Belgio 101
AR - Argentina 98
PL - Polonia 98
ES - Italia 89
BD - Bangladesh 88
JP - Giappone 88
IQ - Iraq 72
PK - Pakistan 60
ZA - Sudafrica 59
TR - Turchia 51
IR - Iran 49
AT - Austria 47
AU - Australia 46
ID - Indonesia 46
EC - Ecuador 39
MY - Malesia 36
SA - Arabia Saudita 34
EU - Europa 32
KR - Corea 30
CO - Colombia 27
MA - Marocco 27
CH - Svizzera 26
LT - Lituania 26
NG - Nigeria 25
VE - Venezuela 25
CL - Cile 24
IL - Israele 22
PH - Filippine 22
PT - Portogallo 22
GR - Grecia 21
PE - Perù 21
UZ - Uzbekistan 21
KE - Kenya 20
NO - Norvegia 19
AE - Emirati Arabi Uniti 17
AZ - Azerbaigian 16
DZ - Algeria 16
EG - Egitto 16
PY - Paraguay 15
NP - Nepal 14
TN - Tunisia 14
JO - Giordania 13
RO - Romania 13
TH - Thailandia 13
TW - Taiwan 13
BY - Bielorussia 12
BA - Bosnia-Erzegovina 11
BO - Bolivia 11
HN - Honduras 11
JM - Giamaica 11
SI - Slovenia 11
CR - Costa Rica 10
CZ - Repubblica Ceca 10
EE - Estonia 10
DK - Danimarca 9
HU - Ungheria 9
LB - Libano 8
LU - Lussemburgo 8
NZ - Nuova Zelanda 8
UY - Uruguay 8
BG - Bulgaria 7
KZ - Kazakistan 7
SN - Senegal 7
TT - Trinidad e Tobago 7
AL - Albania 6
BH - Bahrain 6
HR - Croazia 6
OM - Oman 6
PA - Panama 6
RS - Serbia 6
DO - Repubblica Dominicana 5
LK - Sri Lanka 5
MD - Moldavia 5
SK - Slovacchia (Repubblica Slovacca) 5
KW - Kuwait 4
LV - Lettonia 4
PS - Palestinian Territory 4
BB - Barbados 3
BN - Brunei Darussalam 3
ET - Etiopia 3
MU - Mauritius 3
Totale 32.233
Salva come PNG Salva come JPEG
Città #
San Jose 1.339
Chandler 1.310
Council Bluffs 1.192
Singapore 1.078
Jacksonville 947
Ashburn 743
Hong Kong 647
Trento 589
Dallas 564
Moscow 409
The Dalles 371
Beijing 340
Boardman 274
Ho Chi Minh City 252
Los Angeles 247
Wilmington 229
Helsinki 208
New York 199
Hefei 195
Hanoi 194
Dublin 189
Lauterbourg 179
Kronberg 172
Dong Ket 151
Brooklyn 124
São Paulo 120
Ann Arbor 117
Dearborn 114
Santa Clara 112
Munich 100
Milan 92
Ottawa 88
Phoenix 81
Warsaw 80
Brussels 73
Montreal 68
Woodbridge 68
Verona 62
Tokyo 60
Redwood City 59
Houston 58
Shanghai 58
Atlanta 55
Denver 54
Frankfurt am Main 53
Orem 52
Seattle 52
Pune 51
Assago 50
Rome 50
Falkenstein 49
Campogalliano 47
London 45
Pergine Valsugana 45
Mexico City 44
Chicago 43
Chennai 42
Poplar 42
Rio de Janeiro 42
Da Nang 41
Miami 37
Secaucus 36
Toronto 36
Johannesburg 34
Belo Horizonte 32
Cheyenne 32
Stockholm 32
Amsterdam 30
Fremont 29
Tianjin 29
Turku 29
Hillsboro 28
Brasília 27
Columbus 27
Haiphong 27
Nuremberg 26
Curitiba 25
Hanover 25
Baghdad 24
Manchester 24
Mumbai 24
Sydney 24
Ardabil 23
Barcelona 23
Genoa 22
Guangzhou 21
Porto Alegre 21
Vienna 21
Berlin 20
Bologna 20
Neumarkt 20
San Francisco 20
Boston 19
Charlotte 19
Istanbul 19
Nairobi 19
Salvador 19
Tashkent 19
Monmouth Junction 18
Mountain View 18
Totale 15.407
Salva come PNG Salva come JPEG
Nome #
A Wizard-based Approach for Secure Code Generation of Single Sign-On and Access Delegation Solutions for Mobile Native Apps 489
Multi-Stakeholder Cybersecurity Risk Assessment for Data Protection 455
A First Appraisal of Cryptographic Mechanisms for the SelectiveDisclosure of Verifiable Credentials 329
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 311
Intelligent Systems and Formal Methods in Software Engineering 307
MQTTSA: A Tool for Automatically Assisting the Secure Deployments of MQTT Brokers 278
A First Appraisal of NIS2 and CRA Compliance Leveraging Open Source Tools 262
A Risk-based Approach to Trustworthy AI Systems for Judicial Procedures 260
Audit-Based Access Control with a Distributed Ledger: Applications to Healthcare Organizations 255
A Tool-assisted Methodology for the Data Protection Impact Assessment 242
A Threat Model for the W3C Digital Credentials API: An Initial Analysis 241
Anatomy of the Facebook solution for mobile single sign-on: Security assessment and improvements 239
A delegated authorization solution for smart-city mobile applications 238
Lost in TLS? No More! Assisted Deployment of Secure TLS Configurations 235
Protecting Digital Identity Wallet: A Threat Model in the Age of eIDAS 2.0 235
Automating Compliance for Improving TLS Security Postures: An Assessment of Public Administration Endpoints 232
Automated Assistance to the Security Assessment of API for Financial Services 232
PADS: Practical Attestation for Highly Dynamic Swarm Topologies 225
A Lazy Approach to Access Control as a Service (ACaaS) for IoT 218
A Superposition Based Methodology to Design Satisfiability Decision Procedures 216
Automated and Secure Integration of the OpenID Connect iGov Profile in Mobile Native Applications 214
A Declarative Framework for Specifying and Enforcing Purpose-Aware Policies 212
Learning from Others’ Mistakes: An Analysis of Cyber-security Incidents 212
A Declarative Two-level Framework to Specify and Verify Workflow and Authorization Policies in Service Oriented Architectures 211
Attribute Based Access Control for APIs in Spring Security 211
Validating Requirements of Access Control for Cloud-Edge IoT Solutions 211
An Open and Flexible CyberSecurity Training Laboratory in IT/OT Infrastructures 209
A Methodology to build run-time Monitors for Security-Aware Workflows 203
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic 202
Best current practices for OAuth/OIDC Native Apps: A study of their adoption in popular providers and top-ranked Android clients 198
Secure Pull Printing with QR Codes and National eID Cards: A Software-oriented Design and an Open-source Implementation 196
A Framework for Security and Risk Analysis of Enrollment Procedures: Application to Fully-remote Solutions based on eDocuments 196
Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience 193
Design and Security Assessment of Usable Multi-factor Authentication and Single Sign-On Solutions for Mobile Applications 193
Aegis: Automatic Enforcement of Security Policies in Workflow-driven Web Applications 191
Efficient Theory Combination via Boolean Search 190
Automated and Efficient Analysis of Role-Based Access Control with Attributes 188
TLSAssistant Goes FINSEC - A Security Platform Integration Extending Threat Intelligence Language 188
A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies 187
A Theory of Singly-Linked Lists and its Extensible Decision Procedure 186
Automated Risk Assessment and What-if Analysis of OpenID Connect and OAuth 2.0 Deployments 186
A Combination of Rewriting and Constraint Solving for the Quantifier-free Interpolation of Arrays with Integer Difference Constraints 184
New results on rewrite-based satisfiability procedures 184
Deploying Access Control Enforcement for IoT in the Cloud-Edge Continuum with the help of the CAP Theorem 182
Security of Mobile Single Sign-On: A Rational Reconstruction of Facebook Login Solution 181
Assisted Authoring, Analysis and Enforcement of Access Control Policies in the Cloud 179
Extending access control in AWS IoT through event-driven functions: an experimental evaluation using a smart lock system 179
A Modular and Extensible Framework for Securing TLS 178
Efficient theory combination via boolean search 178
ASASP: Automated Symbolic Analysis of Security Policies 177
Safety-Related Cooperative, Connected, and Automated Mobility Services: Interplay Between Functional and Security Requirements 176
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 175
Assessing the Effectiveness of the Shared Responsibility Model for Cloud Databases: the Case of Google’s Firebase 175
The eIDAS Regulation: A Survey of Technological Trends for European Electronic Identity Schemes 174
Modeling Authorization Policies for Web Services in Presence of Transitive Dependencies 174
Automated Analysis of Semantic-Aware Access Control Policies: a Logic-based Approach 172
SAFARI: SMT-Based Abstraction for Arrays with Interpolants 172
Beyond Screens: Investigating Identity Proofing for the Metaverse Through Cross-Device Flows 169
An Automated Multi-Layered Methodology to Assist the Secure and Risk-Aware Design of Multi-Factor Authentication Protocols 168
RDL---Rewrite and Decision procedure Laboratory 168
High Performance Deduction for verification: a case study in the theory of arrays 166
Quantifier-free interpolation in combinations of equality interpolating theories 166
Parameterized model checking for security policy analysis 165
The Phase Transition of the Linear Inequalities Problem 164
On Run-Time Enforcement of Authorization Constraints in Security-Sensitive Workflows 164
Automatically finding execution scenarios to deploy security-sensitive workflows 164
Attestation-enabled secure and scalable routing protocol for IoT networks 164
Enroll, and Authentication Will Follow 164
Abstraction-Driven Verification of Array Programs 163
WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications 163
The {SMT-LIB} Initiative and the Rise of {SMT} - {(HVC} 2010 Award Talk) 163
Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module 163
Formal Modelling and Automated Trade-off Analysis of Enforcement Architectures for Cryptographic Access Control in the Cloud 162
Combination of convex theories: Modularity, deduction completeness, and explanation 161
Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive Business Processes 161
Improving Security and Performance of Cryptographic Access Control with Trusted Execution Environments 159
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 159
Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis 159
Automated Analysis of Infinite State Workflows with Access Control Policies 158
Modular Synthesis of Enforcement Mechanisms for the Workflow Satisfiability Problem 158
Scalable Automated Analysis of Access Control and Privacy Policies 158
Assurance, Consent and Access Control for Privacy-Aware OIDC Deployments 157
Lazy Abstraction with Interpolants for Arrays 157
ALPS: An Action Language for Policy Specification and Automated Safety Analysis 157
DoS Attacks in Available MQTT Implementations: Investigating the Impact on Brokers and Devices, and supported Anti-DoS Protections 157
Distributed Enforcement of Access Control policies in Intelligent Transportation System (ITS) for Situation Awareness 155
A secure and quality of service-aware solution for the end-to-end protection of IoT applications 155
Selective Release of Smart Metering Data in Multi-domain Smart Grids 155
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies 154
Demo: TLSAssistant v2: A Modular and Extensible Framework for Securing TLS 153
Cryptographic Enforcement of Access Control Policies in the Cloud: Implementation and Experimental Assessment 153
Enhancing National Digital Identity Systems: A Framework for Institutional and Technical Harm Prevention Inspired by Microsoft’s Harms Modeling 152
Automated Synthesis of Run-time Monitors to Enforce Authorization Policies in Business Processes 152
SPLIT: A Secure and Scalable RPL routing protocol for Internet of Things 152
Cross-Domain Sharing of User Claims: A Design Proposal for OpenID Connect Attribute Authorities 151
Towards a Fine-Grained Threat Model for Video-Based Remote Identity Proofing 151
Control is Nothing Without Trust a First Look into Digital Identity Wallet Trends 150
Automated Legal Compliance Checking by Security Policy Analysis 150
Formal Analysis of Mobile Multi-Factor Authentication with Single Sign-On Login 150
Model checking: teoria ed applicazioni 149
Totale 19.335
Salva come PNG Salva come JPEG
Categoria #
all - tutte 131.275
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 131.275
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.107 0 69 29 136 52 31 57 206 119 34 131 243
2022/20232.879 117 243 55 482 112 423 42 395 617 212 108 73
2023/20241.920 147 123 158 83 146 209 114 262 81 343 42 212
2024/20255.864 78 112 404 199 113 207 380 431 1.851 729 903 457
2025/202615.886 631 954 1.124 1.319 761 611 2.030 5.606 986 733 868 263
2026/2027844 711 133 0 0 0 0 0 0 0 0 0 0
Totale 32.860