IRIS Institutional Research Information System

Ranise, Silvio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 12.680
NA - Nord America 11.539
AS - Asia 5.904
SA - Sud America 1.655
AF - Africa 204
OC - Oceania 55
Continente sconosciuto - Info sul continente non disponibili 35
AN - Antartide 1
Totale 32.073
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.126
RU - Federazione Russa 6.895
SG - Singapore 2.194
IT - Italia 1.608
BR - Brasile 1.388
CN - Cina 1.084
DE - Germania 1.065
VN - Vietnam 905
HK - Hong Kong 692
UA - Ucraina 488
SE - Svezia 484
FR - Francia 389
FI - Finlandia 357
GB - Regno Unito 345
IN - India 281
NL - Olanda 269
CA - Canada 248
IE - Irlanda 200
MX - Messico 111
BE - Belgio 99
AR - Argentina 98
PL - Polonia 98
ES - Italia 88
BD - Bangladesh 87
JP - Giappone 86
IQ - Iraq 72
PK - Pakistan 60
ZA - Sudafrica 59
TR - Turchia 51
IR - Iran 49
AT - Austria 47
AU - Australia 46
ID - Indonesia 45
EC - Ecuador 38
SA - Arabia Saudita 34
MY - Malesia 33
EU - Europa 32
KR - Corea 29
CO - Colombia 27
MA - Marocco 27
CH - Svizzera 26
LT - Lituania 26
NG - Nigeria 25
VE - Venezuela 25
CL - Cile 24
PH - Filippine 22
PT - Portogallo 22
GR - Grecia 21
IL - Israele 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
CZ - Repubblica Ceca 10
EE - Estonia 10
DK - Danimarca 9
HU - Ungheria 9
CR - Costa Rica 8
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
QA - Qatar 3
Totale 32.040
Salva come PNG Salva come JPEG
Città #
San Jose 1.336
Chandler 1.310
Council Bluffs 1.190
Singapore 1.075
Jacksonville 947
Ashburn 737
Hong Kong 647
Trento 575
Dallas 564
Moscow 409
The Dalles 363
Beijing 339
Boardman 274
Ho Chi Minh City 252
Los Angeles 245
Wilmington 228
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 110
Munich 97
Milan 92
Ottawa 88
Phoenix 81
Warsaw 80
Brussels 71
Woodbridge 68
Montreal 66
Redwood City 59
Verona 59
Shanghai 58
Tokyo 58
Houston 57
Atlanta 55
Denver 54
Frankfurt am Main 53
Orem 52
Seattle 52
Pune 51
Assago 50
Falkenstein 49
Rome 48
Campogalliano 47
Pergine Valsugana 45
London 44
Mexico City 44
Chicago 43
Poplar 42
Rio de Janeiro 42
Da Nang 41
Chennai 40
Miami 36
Secaucus 36
Toronto 35
Johannesburg 34
Belo Horizonte 32
Cheyenne 32
Stockholm 32
Amsterdam 30
Fremont 29
Tianjin 29
Turku 29
Columbus 27
Haiphong 27
Hillsboro 27
Brasília 26
Nuremberg 26
Curitiba 25
Hanover 25
Baghdad 24
Manchester 24
Sydney 24
Ardabil 23
Mumbai 23
Barcelona 22
Genoa 22
Guangzhou 21
Porto Alegre 21
Vienna 21
Bologna 20
Neumarkt 20
San Francisco 20
Boston 19
Istanbul 19
Nairobi 19
Salvador 19
Tashkent 19
Berlin 18
Charlotte 18
Monmouth Junction 18
Mountain View 18
Totale 15.338
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 452
A First Appraisal of Cryptographic Mechanisms for the SelectiveDisclosure of Verifiable Credentials 325
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 Risk-based Approach to Trustworthy AI Systems for Judicial Procedures 257
A First Appraisal of NIS2 and CRA Compliance Leveraging Open Source Tools 255
Audit-Based Access Control with a Distributed Ledger: Applications to Healthcare Organizations 255
A Tool-assisted Methodology for the Data Protection Impact Assessment 242
Anatomy of the Facebook solution for mobile single sign-on: Security assessment and improvements 238
A delegated authorization solution for smart-city mobile applications 238
A Threat Model for the W3C Digital Credentials API: An Initial Analysis 235
Protecting Digital Identity Wallet: A Threat Model in the Age of eIDAS 2.0 233
Lost in TLS? No More! Assisted Deployment of Secure TLS Configurations 232
Automated Assistance to the Security Assessment of API for Financial Services 232
Automating Compliance for Improving TLS Security Postures: An Assessment of Public Administration Endpoints 230
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 213
Attribute Based Access Control for APIs in Spring Security 211
A Declarative Framework for Specifying and Enforcing Purpose-Aware Policies 211
Validating Requirements of Access Control for Cloud-Edge IoT Solutions 211
Learning from Others’ Mistakes: An Analysis of Cyber-security Incidents 211
A Declarative Two-level Framework to Specify and Verify Workflow and Authorization Policies in Service Oriented Architectures 209
An Open and Flexible CyberSecurity Training Laboratory in IT/OT Infrastructures 206
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 197
A Framework for Security and Risk Analysis of Enrollment Procedures: Application to Fully-remote Solutions based on eDocuments 196
Secure Pull Printing with QR Codes and National eID Cards: A Software-oriented Design and an Open-source Implementation 195
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 192
Aegis: Automatic Enforcement of Security Policies in Workflow-driven Web Applications 190
Efficient Theory Combination via Boolean Search 189
A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies 187
TLSAssistant Goes FINSEC - A Security Platform Integration Extending Threat Intelligence Language 187
Automated and Efficient Analysis of Role-Based Access Control with Attributes 186
A Theory of Singly-Linked Lists and its Extensible Decision Procedure 185
Automated Risk Assessment and What-if Analysis of OpenID Connect and OAuth 2.0 Deployments 185
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
A Modular and Extensible Framework for Securing TLS 178
Assisted Authoring, Analysis and Enforcement of Access Control Policies in the Cloud 178
Extending access control in AWS IoT through event-driven functions: an experimental evaluation using a smart lock system 178
Efficient theory combination via boolean search 177
ASASP: Automated Symbolic Analysis of Security Policies 176
Safety-Related Cooperative, Connected, and Automated Mobility Services: Interplay Between Functional and Security Requirements 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 173
SAFARI: SMT-Based Abstraction for Arrays with Interpolants 172
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 172
Automated Analysis of Semantic-Aware Access Control Policies: a Logic-based Approach 171
Assessing the Effectiveness of the Shared Responsibility Model for Cloud Databases: the Case of Google’s Firebase 171
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 165
Quantifier-free interpolation in combinations of equality interpolating theories 165
The Phase Transition of the Linear Inequalities Problem 164
Parameterized model checking for security policy analysis 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
On Run-Time Enforcement of Authorization Constraints in Security-Sensitive Workflows 163
Attestation-enabled secure and scalable routing protocol for IoT networks 163
Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module 162
Automatically finding execution scenarios to deploy security-sensitive workflows 162
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 160
Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis 159
Improving Security and Performance of Cryptographic Access Control with Trusted Execution Environments 158
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 158
Scalable Automated Analysis of Access Control and Privacy Policies 158
Assurance, Consent and Access Control for Privacy-Aware OIDC Deployments 157
Automated Analysis of Infinite State Workflows with Access Control Policies 157
Modular Synthesis of Enforcement Mechanisms for the Workflow Satisfiability Problem 157
DoS Attacks in Available MQTT Implementations: Investigating the Impact on Brokers and Devices, and supported Anti-DoS Protections 157
Lazy Abstraction with Interpolants for Arrays 156
ALPS: An Action Language for Policy Specification and Automated Safety Analysis 156
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 154
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies 154
Cryptographic Enforcement of Access Control Policies in the Cloud: Implementation and Experimental Assessment 153
Demo: TLSAssistant v2: A Modular and Extensible Framework for Securing TLS 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
Automated Synthesis of Run-time Monitors to Enforce Authorization Policies in Business Processes 151
Formal Analysis of Mobile Multi-Factor Authentication with Single Sign-On Login 150
Control is Nothing Without Trust a First Look into Digital Identity Wallet Trends 149
Enhancing National Digital Identity Systems: A Framework for Institutional and Technical Harm Prevention Inspired by Microsoft’s Harms Modeling 149
Automated Legal Compliance Checking by Security Policy Analysis 149
Model checking: teoria ed applicazioni 149
Towards a Fine-Grained Threat Model for Video-Based Remote Identity Proofing 148
Totale 19.246
Salva come PNG Salva come JPEG
Categoria #
all - tutte 128.852
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 128.852
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.227 120 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/2027647 647 0 0 0 0 0 0 0 0 0 0 0
Totale 32.663