The following paper has been accepted at the 1st International Workshop on Attribute Based Access Control (ABAC 2016):
Title: SMT-based Enforcement and Analysis of NATO Content-based Protection and Release Policies
Authors: A. Armando, S. Ranise, R. Traverso, K. Wrona (NCI Agency)
The following paper has been accepted at the Network and Distributed System Security Symposium (NDSS16):
Title: Attack Patterns for Black-Box Security Testing of Multi-Party Web Applications
Authors: A. Sudhodanan, A. Armando, L. Compagna, R. Carbone
This paper was one of 60 accepted out of 389 submissions. Congratulations!
The following paper has been accepted in form of a poster in Theory and Practice of Provenance workshop TaPP'15:
Title: A Proposal Architecture for Logical Data Tracking in Cloud
Authors: Mojtaba Eskandari, Bruno Crispo, Anderson Santana de Oliveira
The following paper has been accepted at the 29th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSec 2015):
Title: Assisting the Deployment of Security-Sensitive Workflows by Finding Execution Scenarios
Authors: D. R. Dos Santos, S. Ranise. L. Compagna, S. E. Ponta
The following paper has been accepted at 10th ACM Symposium on Information, Computer and Communications Security (ASIACCS 2015):
Title: Automated Synthesis of Run-time Monitors to Enforce Authorization Policies in Business Processes
Authors: C. Bertolissi, D. R. Dos Santos, S. Ranise
Congratulations to Tuan Anh Truong for successfully defending his thesis on "Efficient Automated Security Analysis of Complex Authorization Policies".
He is the first Phd student in our Research Unit that has been awarded a PhD. His advisors are Prof. Alessandro Armando and Dr. Silvio Ranise.
La scadenza per la presentazione delle domande di ammissione al Master di II livello in Cyber Security and Data Protection, organizzato dal Dipartimento DITEN dell' Università di Genova, in collaborazione con ISICT (Istituto Superiore di Studi in Tecnologie dell'Informazione e della Comunicazione) e Fondazione Ansaldo, è fissta per le ore 12.00 del 9 febbraio. Il programma del Master è disponibile sul sito www.mastercybersecurity.it
The following paper has been accepted at the 6th IEEE International Conference on Cloud Computing Technology and Science (IEEE CloudCom 2014):
Title: VLOC: An Approach To Verify The Physical Location Of A Virtual Machine In Cloud
Authors: M. Eskandari, A. Santana de Oliveira, B. Crispo
CloudCom is the premier conference on Cloud Computing worldwide and will be held in Singapore, from 15th to 18th, December.
The Doctoral Course on Security Threat Identification and Testing will be held in Trento (Italy), 20-25 November 2014, in the context of the Doctoral School in Information and Communication Technology of the University of Trento, organized in collaboration with the Center for Information Technology of the Bruno Kessler Foundation (FBK).
DESCRIPTION OF THE COURSE
