IRIS Institutional Research Information System

Armando, Alessandro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.871
EU - Europa 2.062
AS - Asia 577
Continente sconosciuto - Info sul continente non disponibili 21
OC - Oceania 6
Totale 6.537
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.843
DE - Germania 468
UA - Ucraina 424
SE - Svezia 412
FI - Finlandia 227
CN - Cina 157
IT - Italia 156
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
BE - Belgio 34
CA - Canada 27
EU - Europa 20
IR - Iran 19
AU - Australia 5
PK - Pakistan 5
ES - Italia 4
ID - Indonesia 4
NL - Olanda 4
IL - Israele 3
JP - Giappone 3
PL - Polonia 3
SG - Singapore 3
AT - Austria 2
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.537
Salva come PNG Salva come JPEG
Città #
Jacksonville 908
Chandler 906
Wilmington 219
Ashburn 216
Dong Ket 127
Kronberg 125
Ann Arbor 118
Dearborn 116
Hong Kong 115
Dublin 113
Helsinki 102
Woodbridge 99
Boardman 81
Trento 75
Beijing 65
Houston 56
Seattle 55
Hangzhou 48
Brooklyn 41
New York 39
Phoenix 39
Brussels 34
Pune 32
Los Angeles 26
Shanghai 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
Miami 4
Tehran 4
Falkenstein 3
Guangzhou 3
Kunming 3
Merano 3
Neumarkt 3
Secaucus 3
Senigallia 3
Singapore 3
Warsaw 3
Berlin 2
Bolzano 2
Cologne 2
Daly City 2
Des Moines 2
Gunzenhausen 2
Howes Cave 2
Kolkata 2
North Bergen 2
Nuremberg 2
San Jose 2
Tappahannock 2
Tokyo 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
Düsseldorf 1
Easton 1
Edinburgh 1
Egham 1
Guildford 1
Inglewood 1
Islamabad 1
Jaipur 1
Totale 4.090
Salva come PNG Salva come JPEG
Nome #
Dynamic analysis security testing of multi-party web applications via attack patterns 157
Attack Patterns for Black-Box Security Testing of Multi-Party Web Applications 152
Proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, Sydney 97
Automatic Synthesis of Recursive Programs: the Proof-Planning Paradigm 86
Security of Mobile Single Sign-On: A Rational Reconstruction of Facebook Login Solution 85
New results on rewrite-based satisfiability procedures 76
Preface. Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2005) 76
MRG: Building planners for real world complex applications 75
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security 75
Large-Scale Analysis & Detection of Authentication Cross-Site Request Forgeries 75
RDL---Rewrite and Decision procedure Laboratory 74
MRG: un nucleo di ragionamento per un sistema integrato multifunzionale 74
The Phase Transition of the Linear Inequalities Problem 72
High Performance Deduction for verification: a case study in the theory of arrays 70
SATMC: a SAT-based Model Checker for Security-critical Systems 70
Structured Proof Procedures 68
Abstraction refinement of Linear Programs with Arrays 67
Automatic Security Analysis of SAML-based Single Sign-On Protocols 67
Coommunication Protocols for Mathematical Services based on KQML and OMRS 66
A Superposition Based Methodology to Design Satisfiability Decision Procedures 66
Attribute Based Access Control for APIs in Spring Security 66
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications 65
LTL Model Checking for Security Protocols 64
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints 63
Automated Analysis of Semantic-Aware Access Control Policies: a Logic-based Approach 62
Automated and Efficient Analysis of Role-Based Access Control with Attributes 62
Navigation by Combining Reactivity and Planning 61
ASASP: Automated Symbolic Analysis of Security Policies 61
From Model-checking to Automated Testing of Security Protocols: Bridging the Gap 61
Visual Representation of Natural Language Scene Descriptions 60
Un nucleo di ragionamento per un sistema integrato multi-funzionale: stato di avanzamento 60
The Control Component of Open Mechanized Reasoning Systems: Annotation and Tactics 59
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic 59
A knowledge based system for automatic 3D scene generation 59
Embedding complex decision procedures inside an interactive theorem prover 58
The Rewriting Approach to Satisfiability Procedures 58
Abstraction-driven SAT-based Analysis of Security Protocols 58
Special Issue on Integrated Symbolic Computation and Automated Deduction of the Journal of Symbolic Computation 57
An Empirical Evaluation of the Android Security Framework 57
Counterexample-guided abstraction refinement for linear programs with arrays 57
Flexible Planning by Integrating Multilevel Reasoning 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
SATMC: a SAT-based model checker for security protocols, business processes, and security APIs 56
An Authentication Flaw in Browser-based Single Sign-On Protocols: Impact and Remediations 55
Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module 55
Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: an Action-based Approach 54
From Propositional Deciders to First Order Deciders: a Structured Approach to the Decision Problem 53
On a rewriting approach to satisfiability procedures: extension, combination of theories and an experimental appraisal 53
Formal Modeling and Automatic Security Analysis of Two-Factor and Two-Channel Authentication Protocols 53
Building SMT-based Software Model Checkers: an Experience Report 52
SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective 52
Efficient Symbolic Automated Analysis of Administrative Attribute-based RBAC-Policies 52
Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning 52
Automated Analysis of Infinite State Workflows with Access Control Policies 52
Content- based information protection and release in NATO operations 52
Automatic Compilation of Protocol Insecurity Problems into Logic Programming. 51
The Control Component of Open Mechanized Reasoning Systems 51
Scalable automated symbolic analysis of administrative role-based access control policies by SMT solving 51
A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies 51
Special Issue of the Journal of Automated Reasoning on "Automated Reasoning for Security Protocol Analysis" 50
Uniform Derivation of Decision Procedures by Superposition 50
Boosting Model Checking to Analyse Large ARBAC Policies 50
An Action-based Approach to the Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints 50
First steps towards provably correct system synthesis of system code 49
On the Automated Analysis of Safety in Usage Control: A New Decidability Result 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
LTL Model Checking for Security Protocols 49
Android Permissions Unleashed 49
Android vs. SEAndroid: An empirical assessment 49
Proceedings of the First Italian Conference on Cybersecurity (ITASEC17), Venice, Italy 49
Bring Your Own Device, Securely 48
Formal Analysis of a Privacy-Preserving Billing Protocol 48
SMT-based Enforcement and Analysis of NATO Content-based Protection and Release Policies 48
SAT-Based Decision Procedures for Automated Reasoning: a unifying Perspective 47
Special Issue on "CALCULEMUS: Systems for Integrated Computation and Deduction" 47
From Multiple Credentials to Browser-based Single Sign-On: Are We More Secure? 47
A Reconstruction and Extension of Maple's Assume Facility via Constraint Contextual Rewriting. 46
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
Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers 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
An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols 44
Special Issue of the Journal of Automated Reasoning on Selected Papers from the 4th International Joint Conference of Automated Reasoning (IJCAR 2008) 44
Automated Symbolic Analysis of ARBAC Policies 44
Automatic SAT-compilation of Protocol Insecurity Problems via Reduction to Planning 43
Symbolic Model-Checking of Linear Programs 43
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures 43
SAT-based Model Checking for Security Protocols Analysis 43
Formal Analysis of SAML 2.0 Web Browser Single Sign-On: Breaking the SAML-based Single Sign-On for Google Apps. 42
Formal Modeling and Verification of the Android Security Framework 42
Scalable and Precise Automated Analysis of Administrative Temporal Role-Based Access Control 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
Trustworthy Opportunistic Access to the Internet of Services 41
Software Model Checking using Linear Constraints 41
Totale 5.763
Salva come PNG Salva come JPEG
Categoria #
all - tutte 36.693
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 36.693
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201926 0 0 0 0 0 0 0 0 0 0 20 6
2019/20201.168 132 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/2024811 86 37 94 45 66 94 76 171 29 112 1 0
Totale 6.675