statistiche ricercatore

Continente	#
EU - Europa	1.627
Totale	1.627

Nazione	#
IT - Italia	1.627
Totale	1.627

Nome	#
Automated Analysis of Semantic-Aware Access Control Policies: a Logic-Based Approach	145
LTL Model Checking for Security Protocols	128
From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap	126
Android Permissions Unleashed	126
Security of Mobile Single Sign-On: A Rational Reconstruction of Facebook Login Solution	121
Attribute Based Access Control for APIs in Spring Security	120
Formal Modeling and Automatic Security Analysis of Two-Factor and Two-Channel Authentication Protocols	117
From Multiple Credentials to Browser-based Single Sign-On: Are We More Secure?	113
LTL Model Checking for Security Protocols	110
Selective Release of Smart Metering Data in Multi-domain Smart Grids	107
SATMC: a SAT-based Model Checker for Security-critical Systems	106
Automatic Security Analysis of SAML-Based Single Sign-On Protocols	104
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures	100
Pulmonary nodular amyloidosis in sjögren syndrome	68
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	17
An Automated Multi-Layered Methodology to Assist the Secure and Risk-Aware Design of Multi-Factor Authentication Protocols	16
Automated assistance to the security assessment of API for financial services	14
Totale	1.638

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2019/2020	215	0	0	0	0	0	0	0	34	42	70	52	17
2020/2021	123	7	11	16	8	9	13	13	8	7	12	9	10
2021/2022	173	8	8	29	15	7	10	7	43	6	13	11	16
2022/2023	146	14	8	0	9	24	31	1	11	27	0	18	3
2023/2024	114	3	20	1	17	7	38	1	4	8	1	4	10
2024/2025	222	6	28	8	12	57	40	16	55	0	0	0	0
Totale													1.638