Security Evidences (Std Model)[built on 2018-11-21]

Journal Paper U-Gov ID316172
Year2018
Author(s)Ranise, Silvio; Truong, Anh; Viganò, Luca
TitleAutomated and efficient analysis of administrative temporal RBAC policies with role hierarchies
JournalJOURNAL OF COMPUTER SECURITY
ISSN0926-227X
Volume26
InternationalNo
No ISI data
No ESF data
No ANVUR data
Conference Paper U-Gov ID314965
Year2018
Author(s)Demissie, Biniam Fisseha; Ceccato, Mariano; Khin Shar, Lwin
TitleAnFlo: Detecting Anomalous Sensitive Information Flows in Android Apps
ConferenceACM/IEEE 5th International Conference on Mobile Software Engineering and Systems (MOBILESoft 2018)
PlaceGothenburg, Sweden
Book TitleProceedings of the 2018 ACM/IEEE 5th International Conference on Mobile Software Engineering and Systems
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID316065
Year2018
Author(s)Franch, Xavier; Ralyté, Jolita; Perini, Anna; Abelló, Alberto; Ameller, David; Gorroñogoitia, Jesús; Nadal, Sergi; Oriol, Marc; Seyff, Norbert; Siena, Alberto; Susi, Angelo
TitleA Situational Approach for the Definition and Tailoring of a Data-Driven Software Evolution Method
ConferenceCAiSE 2018
PlaceTallinn, Estonia
Book TitleAdvanced Information Systems Engineering. CAiSE 2018
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID316174
Year2018
Author(s)Bertolissi, Clara; dos Santos, Daniel R.; Ranise, Silvio
TitleSolving Multi-Objective Workflow Satisfiability Problems with Optimization Modulo Theories Techniques
Conference23nd ACM on Symposium on Access Control Models and Technologies, SACMAT 18
PlaceIndianapolis, Indiana, USA
Book TitleProceedings of the 23nd ACM on Symposium on Access Control Models and Technologies, (SACMAT)
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID316176
Year2018
Author(s)Ahmad, Tahir; Morelli, Umberto; Ranise, Silvio; Zannone, Nicola
TitleA Lazy Approach to Access Control as a Service (ACaaS) for IoT
Conference23nd ACM on Symposium on Access Control Models and Technologies (SACMAT 18)
PlaceIndianapolis, Indiana, USA
Book TitleProceedings of the 23nd ACM on Symposium on Access Control Models and Technologies, (SACMAT)
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID316182
Year2018
Author(s)Sciarretta, Giada; Carbone, Roberto; Ranise, Silvio; Viganò, Luca
TitleDesign, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience
Conference2018 7th International Conference on Principles of Security and Trust (POST)
PlaceThessaloniki, Greece
Book TitleProceedings of 2018 7th International Conference on Principles of Security and Trust (POST)
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID316195
Year2018
Author(s)Ahmad, Tahir; Ranise, Silvio
TitleValidating Requirements of Access Control for Cloud-Edge IoT Solutions
ConferenceN/D
PlaceN/D
Book TitleProceedings of the 11th International Symposium on Foundations & Practice of Security (FPS 2018)
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID316309
Year2018
Author(s)Ambrosin, Moreno; Conti, Mauro; Lazzeretti, Riccardo; Rabbani, Md Masoom; Ranise, Silvio
TitlePADS: Practical Attestation for Highly Dynamic Swarm Topologies
ConferenceN/D
PlaceN/D
Book TitleProceedings of the 7th International Workshop onSecure Internet of Things (ESORICS 2018 workshop: SIoT 2018)
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID316311
Year2018
Author(s)Conti, Mauro; Kaliyar, Pallavi; Rabbani, Md Masoom; Ranise, Silvio
TitleSPLIT: A Secure and Scalable RPL routing protocol for Internet of Things
ConferenceN/D
PlaceN/D
Book TitleProceedings of the 14th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (IEEE WiMob'18)
InternationalNo
Conf. RankN/D
Book Chapter U-Gov ID316186
Year2018
Author(s)Cimatti, Alessandro; Ghilardi, Silvio; Ranise, Silvio
TitleModel checking: teoria ed applicazioni
Book TitleLe direzioni della ricerca logica in Italia 2
InternationalNo

           (\-.  +-------------------------------------------------+
           / _`> |         RAT - Research Assessment Tool          |
   _)     / _)=  | (C) 2011--2014 - FBK _ Fondazione Bruno Kessler |
  (      / _/    |                      v2.2                       |
   `-.__(___)_   +-------------------------------------------------+