IRIS Institutional Research Information System

Armando, Alessandro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.922
EU - Europa 2.070
AS - Asia 626
Continente sconosciuto - Info sul continente non disponibili 21
OC - Oceania 6
Totale 6.645
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.894
DE - Germania 472
UA - Ucraina 424
SE - Svezia 412
FI - Finlandia 227
CN - Cina 168
IT - Italia 159
VN - Vietnam 127
HK - Hong Kong 118
IE - Irlanda 115
GB - Regno Unito 104
IN - India 70
KR - Corea 64
RU - Federazione Russa 52
FR - Francia 50
SG - Singapore 39
BE - Belgio 34
CA - Canada 27
EU - Europa 20
IR - Iran 19
AU - Australia 5
JP - Giappone 5
PK - Pakistan 5
ES - Italia 4
ID - Indonesia 4
NL - Olanda 4
AT - Austria 3
IL - Israele 3
PL - Polonia 3
LB - Libano 2
PT - Portogallo 2
RS - Serbia 2
TR - Turchia 2
A1 - Anonimo 1
HR - Croazia 1
LU - Lussemburgo 1
MX - Messico 1
NZ - Nuova Zelanda 1
RO - Romania 1
Totale 6.645
Salva come PNG Salva come JPEG
Città #
Jacksonville 908
Chandler 906
Wilmington 219
Ashburn 216
Dong Ket 127
Kronberg 125
Ann Arbor 118
Boardman 117
Dearborn 116
Hong Kong 115
Dublin 113
Helsinki 102
Woodbridge 99
Trento 77
Beijing 65
Houston 56
Seattle 55
Hangzhou 48
Brooklyn 41
New York 39
Phoenix 39
Brussels 34
Pune 32
Shanghai 29
Los Angeles 26
Singapore 25
Miami 18
Norwalk 16
Milan 14
Ottawa 14
Ardabil 13
Augusta 12
Monmouth Junction 11
Portland 11
Cheyenne 10
Toronto 10
Verona 10
Fremont 9
Leawood 9
Redwood City 9
San Mateo 9
Hanover 8
Campogalliano 7
Redmond 7
Saint Petersburg 7
Auburn Hills 6
Costa Mesa 6
Falls Church 6
Mountain View 6
Hefei 5
Mumbai 5
Nanjing 5
Irving 4
Tehran 4
Tokyo 4
Falkenstein 3
Guangzhou 3
Kunming 3
Merano 3
Neumarkt 3
Secaucus 3
Senigallia 3
Warsaw 3
Berlin 2
Bolzano 2
Cologne 2
Daly City 2
Des Moines 2
Gunzenhausen 2
Görwihl 2
Howes Cave 2
Kolkata 2
Munich 2
North Bergen 2
Nuremberg 2
San Jose 2
Tappahannock 2
Vienna 2
Wanchai 2
Wuhan 2
Albenga 1
Amsterdam 1
Ankara 1
Atlanta 1
Auckland 1
Barcelona 1
Belgirate 1
Belgrade 1
Blaine 1
Bonn 1
Bournemouth 1
Brecon 1
Canberra 1
Carol Stream 1
Central 1
Clifton 1
Düsseldorf 1
Easton 1
Edinburgh 1
Egham 1
Totale 4.180
Salva come PNG Salva come JPEG
Nome #
Dynamic analysis security testing of multi-party web applications via attack patterns 162
Attack Patterns for Black-Box Security Testing of Multi-Party Web Applications 153
Proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, Sydney 98
Automatic Synthesis of Recursive Programs: the Proof-Planning Paradigm 86
Security of Mobile Single Sign-On: A Rational Reconstruction of Facebook Login Solution 86
Large-Scale Analysis & Detection of Authentication Cross-Site Request Forgeries 79
New results on rewrite-based satisfiability procedures 77
Preface. Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2005) 77
MRG: Building planners for real world complex applications 76
MRG: un nucleo di ragionamento per un sistema integrato multifunzionale 75
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security 75
RDL---Rewrite and Decision procedure Laboratory 74
The Phase Transition of the Linear Inequalities Problem 72
SATMC: a SAT-based Model Checker for Security-critical Systems 71
A Superposition Based Methodology to Design Satisfiability Decision Procedures 70
High Performance Deduction for verification: a case study in the theory of arrays 70
Abstraction refinement of Linear Programs with Arrays 69
Automatic Security Analysis of SAML-based Single Sign-On Protocols 68
Structured Proof Procedures 68
Attribute Based Access Control for APIs in Spring Security 68
Coommunication Protocols for Mathematical Services based on KQML and OMRS 67
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications 65
LTL Model Checking for Security Protocols 65
Automated Analysis of Semantic-Aware Access Control Policies: a Logic-based Approach 64
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints 63
From Model-checking to Automated Testing of Security Protocols: Bridging the Gap 63
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic 62
ASASP: Automated Symbolic Analysis of Security Policies 62
Automated and Efficient Analysis of Role-Based Access Control with Attributes 62
A knowledge based system for automatic 3D scene generation 62
Navigation by Combining Reactivity and Planning 61
Visual Representation of Natural Language Scene Descriptions 60
Un nucleo di ragionamento per un sistema integrato multi-funzionale: stato di avanzamento 60
Abstraction-driven SAT-based Analysis of Security Protocols 60
Embedding complex decision procedures inside an interactive theorem prover 59
The Control Component of Open Mechanized Reasoning Systems: Annotation and Tactics 59
An Empirical Evaluation of the Android Security Framework 59
SATMC: a SAT-based model checker for security protocols, business processes, and security APIs 59
The Rewriting Approach to Satisfiability Procedures 58
Counterexample-guided abstraction refinement for linear programs with arrays 58
Special Issue on Integrated Symbolic Computation and Automated Deduction of the Journal of Symbolic Computation 57
An Authentication Flaw in Browser-based Single Sign-On Protocols: Impact and Remediations 57
Flexible Planning by Integrating Multilevel Reasoning 57
Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module 57
The Control Component of Open Mechanized Reasoning Systems 56
Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation 56
SAT-based Model-Checking of Security Protocols using Planning Graph Analysis 56
Formal Modeling and Automatic Security Analysis of Two-Factor and Two-Channel Authentication Protocols 55
Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: an Action-based Approach 55
A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies 55
SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective 54
From Propositional Deciders to First Order Deciders: a Structured Approach to the Decision Problem 54
Building SMT-based Software Model Checkers: an Experience Report 53
On a rewriting approach to satisfiability procedures: extension, combination of theories and an experimental appraisal 53
Automated Analysis of Infinite State Workflows with Access Control Policies 53
An Action-based Approach to the Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints 53
Content- based information protection and release in NATO operations 53
The Control Component of Open Mechanized Reasoning Systems 52
Efficient Symbolic Automated Analysis of Administrative Attribute-based RBAC-Policies 52
Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning 52
Android Permissions Unleashed 52
Automatic Compilation of Protocol Insecurity Problems into Logic Programming. 51
Special Issue of the Journal of Automated Reasoning on "Automated Reasoning for Security Protocol Analysis" 51
Scalable automated symbolic analysis of administrative role-based access control policies by SMT solving 51
LTL Model Checking for Security Protocols 51
Android vs. SEAndroid: An empirical assessment 51
Uniform Derivation of Decision Procedures by Superposition 50
On the Automated Analysis of Safety in Usage Control: A New Decidability Result 50
Boosting Model Checking to Analyse Large ARBAC Policies 50
Proceedings of the First Italian Conference on Cybersecurity (ITASEC17), Venice, Italy 50
First steps towards provably correct system synthesis of system code 49
From Multiple Credentials to Browser-based Single Sign-On: Are We More Secure? 49
Bring Your Own Device, Securely 49
Selective Release of Smart Metering Data in Multi-domain Smart Grids 49
SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform 49
Formal Analysis of a Privacy-Preserving Billing Protocol 49
SMT-based Enforcement and Analysis of NATO Content-based Protection and Release Policies 49
SAT-Based Decision Procedures for Automated Reasoning: a unifying Perspective 47
A Reconstruction and Extension of Maple's Assume Facility via Constraint Contextual Rewriting. 47
An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols 47
Special Issue on "CALCULEMUS: Systems for Integrated Computation and Deduction" 47
Formal Modeling and Reasoning about the Android Security Framework 46
Formal Modelling of Content-Based Protection and Release for Access Control in NATO Operations 46
Special Issue of the Journal of Automated Reasoning on Selected Papers from the 4th International Joint Conference of Automated Reasoning (IJCAR 2008) 45
Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers 45
Automated Symbolic Analysis of ARBAC Policies 45
Minimum Disclosure as Boolean Optimization: New Results 45
Post-workshop Proceedings of the 1st Workshop on Automated Reasoning for Security Protocol Analysis 45
Model Checking of Security-sensitive Business Processes 44
Automatic SAT-compilation of Protocol Insecurity Problems via Reduction to Planning 44
SAT-based Model Checking for Security Protocols Analysis 44
Formal Analysis of SAML 2.0 Web Browser Single Sign-On: Breaking the SAML-based Single Sign-On for Google Apps. 43
Symbolic Model-Checking of Linear Programs 43
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures 43
Formal Modeling and Verification of the Android Security Framework 42
Scalable and Precise Automated Analysis of Administrative Temporal Role-Based Access Control 42
Model-Checking Driven Security Testing of Web-Based Applications 42
Trustworthy Opportunistic Access to the Internet of Services 42
Post-workshop Proceedings of the 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning 41
Formal modeling and automatic enforcement of Bring Your Own Device policies 41
Totale 5.858
Salva come PNG Salva come JPEG
Categoria #
all - tutte 41.690
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 41.690
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.036 0 134 9 13 166 90 164 18 156 47 159 80
2020/20211.282 182 2 132 74 130 40 191 4 11 246 72 198
2021/2022531 24 40 6 82 29 11 12 118 52 6 47 104
2022/20231.765 46 125 47 286 108 298 13 153 469 136 55 29
2023/2024891 86 37 94 45 66 94 76 171 29 112 8 73
2024/202528 23 5 0 0 0 0 0 0 0 0 0 0
Totale 6.783