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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20212 0 0 0 0 0 0 0 0 0 0 0 2
2021/2022696 2 4 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.334 350 262 780 811 388 515 880 144 432 391 174 207
Totale 10.077