2024 ()

Majid Mollaeefar, Eleonora Marchesini, Roberto Carbone, Silvio Ranise
A Risk-based Approach to Trustworthy AI Systems for Judicial Procedures
In: 4th CINI National Conference on Artificial Intelligence (Ital-IA 2024) (URL, news)
Marco Pernpruner, Roberto Carbone, Giada Sciarretta, Silvio Ranise
An Automated Multi-Layered Methodology to Assist the Secure and Risk-Aware Design of Multi-Factor Authentication Protocols
In: IEEE Transactions on Dependable and Secure Computing (TDSC), Volume 21, Issue 4, July/August 2024, Pages 1935-1950 (DOI, complementary material, news)
Riccardo Germenia, Salvatore Manfredi, Matteo Rizzi, Giada Sciarretta, Alessandro Tomasi, Silvio Ranise
Automating Compliance for Improving TLS Security Postures: An Assessment of Public Administration Endpoints
In: 21th International Conference on Security and Cryptography (SECRYPT 2024) (DOI, complementary material, news)
Stefano Galantino, Elisa Albanese, Nasir Asadov, Stefano Braghin, Francesco Cappa, Andrea Colli-Vignarelli, Yousef Majid Amjad, Eduard Marin, Jacopo Marino, Lorenzo Moro, Liubov Nedoshivina, Fulvio Risso, Domenico Siracusa, Antonio Skarmeta, Luca Zuanazzi
Building the Cloud Continuum with REAR
In: Proceedings of 2024 IEEE 10th International Conference on Network Softwarization (NetSoft) (DOI)
Marco Zambianco, Silvio Cretti, Domenico Siracusa
Cost Minimization in Multi-cloud Systems with Runtime Microservice Re-orchestration
In: Proceedings of 27th Conference on Innovation in Clouds, Internet and Networks (DOI)
Andrea Bisegna, Matteo Bitussi, Roberto Carbone, Luca Compagna, Silvio Ranise, Avinash Sudhodanan
CSRFing the SSO Waves: Security Testing of SSO-Based Account Linking Process
In: 9th IEEE European Symposium on Security and Privacy (EUROS&P 2024) (DOI, complementary material)
Silvio Cretti, Marco Zambianco, Domenico Siracusa
Demonstrating Runtime Microservice Rescheduling in Hybrid Clouds for Cost Minimization
In: Proceedings of 27th Conference on Innovation in Clouds, Internet and Networks (DOI)
Silvia Ricciuti, Simona Stoklin, Francesca Giuliano, Christian Mari, Massimiliano Zanchiello, Salvatore Manfredi
Emerging security and legal challenges within renewable energy communities: key prevention and defence strategies
In: 2024 AEIT International Annual Conference (AEIT 2024) (DOI)
Andrea Bisegna, Matteo Bitussi, Roberto Carbone, Silvio Ranise
Enhancing Security Testing for Identity Management Implementations: Introducing Micro-Id-Gym Language and Micro-Id-Gym Testing Tool
In: IEEE Security & Privacy (DOI, news)
Roberto Doriguzzi Corin, Domenico Siracusa
FLAD: Adaptive Federated Learning for DDoS Attack Detection
In: Computers & Security (DOI)
Roberto Doriguzzi Corin, Luis Augusto Dias Knob, Luca Mendozzi, Domenico Siracusa, Marco Savi
Introducing packet-level analysis in programmable data planes to advance Network Intrusion Detection
In: Computer Networks (DOI)
Stefano Berlato, Davide Pizzolotto, Mariano Ceccato
Mitigating Debugger-based Attacks to Java Applications with Self-Debugging
In: ACM Transactions on Software Engineering and Methodology (TOSEM) (DOI)
Stefano Berlato, Silvio Cretti, Domenico Siracusa, Silvio Ranise
Multi-Objective Microservice Orchestration: Balancing Security and Performance in CCAM
In: 27th Conference on Innovation in Clouds, Internet and Networks (ICIN 2024) (DOI)
Andrea Flamini, Giada Sciarretta, Mario Scuro, Amir Sharif, Alessandro Tomasi, Silvio Ranise
On Cryptographic Mechanisms for the Selective Disclosure of Verifiable Credentials
In: Journal of Information Security and Applications (JISA) (DOI, news)
Simone Magnani, Seshu Tirupathi, Roberto Doriguzzi Corin, Liubov Nedoshivina, Stefano Braghin, Domenico Siracusa
Online Learning and Model Pruning Against Concept Drifts in Edge Devices
In: Proceedings of IEEE 10th International Conference on Network Softwarization (NetSoft) (DOI)
Marco Zambianco, Claudio Facchinetti, Roberto Doriguzzi Corin, Domenico Siracusa
Resource-aware Cyber Deception for Microservice-based Applications
In: IEEE Transactions on Services Computing (DOI)
Roberto Doriguzzi Corin, Silvio Cretti, Domenico Siracusa
Resource-Efficient Federated Learning for Network Intrusion Detection
In: Proceedings of IEEE 10th International Conference on Network Softwarization (NetSoft) (DOI)
Stefano Berlato, Matteo Rizzi, Matteo Franzil, Silvio Cretti, Pietro De Matteis, Roberto Carbone
Work-in-Progress: A Sidecar Proxy for Usable and Performance-Adaptable End-to-End Protection of Communications in Cloud Native Applications
In: 2024 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) (OSVS) (DOI)

2023 ()

Andrea Flamini, Silvio Ranise, Giada Sciarretta, Mario Scuro, Amir Sharif, Alessandro Tomasi
A First Appraisal of Cryptographic Mechanisms for the Selective Disclosure of Verifiable Credentials
In: 20th International Conference on Security and Cryptography (SECRYPT 2023) (DOI)
Gianluca Sassetti, Amir Sharif, Giada Sciarretta, Roberto Carbone, Silvio Ranise
Assurance, Consent and Access Control for Privacy-Aware OIDC Deployments
In: Proceedings of the 37th Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy (DBSec 2023) (DOI, news)
Matteo Bitussi, Riccardo Longo, Francesco Antonio Marino, Umberto Morelli, Amir Sharif, Chiara Spadafora, Alessandro Tomasi
Coercion-resistant i-voting with short PIN and OAuth 2.0
In: Eighth International Joint Conference on Electronic Voting (E-Vote-ID 2023)
Zahra Ebadi Ansaroudi, Roberto Carbone, Giada Sciarretta, Silvio Ranise
Control is Nothing Without Trust a First Look into Digital Identity Wallet Trends
In: Proceedings of the 37th Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy (DBSec 2023) (DOI)
Amir Sharif, Francesco Antonio Marino, Giada Sciarretta, Giuseppe De Marco, Roberto Carbone, Silvio Ranise
Cross-Domain Sharing of User Claims: A Design Proposal for OpenID Connect Attribute Authorities
In: 18th International Conference on Availability, Reliability and Security (ARES 2023) (DOI, news)
Giacomo Segala, Roberto Doriguzzi Corin, Claudio Peroni, Matteo Gerola, Domenico Siracusa
EECO: An AI-Based Algorithm for Energy-Efficient Comfort Optimisation
In: Energies (DOI)
Simone Magnani, Roberto Doriguzzi Corin, Domenico Siracusa
Enhancing Network Intrusion Detection: An Online Methodology for Performance Analysis
In: Proceedings of 2023 IEEE 9th International Conference on Network Softwarization (NetSoft) (DOI)
Majid Mollaeefar, Silvio Ranise
Identifying and Quantifying Trade-offs in Multi-Stakeholder Risk Evaluation with Applications to the Data Protection Impact Assessment of the GDPR
In: Computers & Security Journal (COSE) (DOI, news)
Francescomaria Faticanti, Marco Savi, Francesco De Pellegrini, Domenico Siracusa
Locality-aware deployment of application microservices for multi-domain fog computing
In: Computer Communications (DOI)
Simone Magnani, Stefano Braghin, Ambrish Rawat, Roberto Doriguzzi Corin, Mark Purcell, Domenico Siracusa
Pruning Federated Learning Models for Anomaly Detection in Resource-Constrained Environments
In: Proceedings of 2023 IEEE International Conference on Big Data (BigData) (DOI)
Luca Verderame, Luca Caviglione, Roberto Carbone, Alessio Merlo
SecCo: Automated Services to Secure Containers in the DevOps Paradigm
In: 2023 International Conference on Research in Adaptive and Convergent Systems (RACS 2023) (DOI)

2022 ()

Simone Magnani, Fulvio Risso, Domenico Siracusa
A Control Plane Enabling Automated and Fully Adaptive Network Traffic Monitoring with eBPF
In: IEEE Access (DOI)
Filippo Rebecchi, Antonio Pastor, Alberto Mozo, Chiara Lombardo, Roberto Bruschi, Ilias Aliferis, Roberto Doriguzzi Corin, Panagiotis Gouvas, Antonio Alvarez Romero, Anna Angelogianni, Ilias Politis, Christos Xenakis
A Digital Twin for the 5G Era: the SPIDER Cyber Range
In: Proceedings of 2022 IEEE 23rd International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM) (DOI)
Matteo Rizzi, Salvatore Manfredi, Giada Sciarretta, Silvio Ranise
A Modular and Extensible Framework for Securing TLS
In: Proceedings of the Twelfth ACM Conference on Data and Application Security and Privacy (CODASPY 2022) (DOI, news)
Maged Abdelaty, Roberto Doriguzzi Corin, Domenico Siracusa
DAICS: A Deep Learning Solution for Anomaly Detection in Industrial Control Systems
In: IEEE Transactions on Emerging Topics in Computing (DOI)
Matteo Rizzi, Salvatore Manfredi, Giada Sciarretta, Silvio Ranise
Demo: TLSAssistant v2 - A Modular and Extensible Framework for Securing TLS
In: Proceedings of the 27th ACM Symposium on Access Control Models and Technologies (SACMAT 2022) (DOI, news)
Tahir Ahmad, Umberto Morelli, Silvio Ranise
Distributed Enforcement of Access Control policies in Intelligent Transportation System (ITS) for Situation Awareness
In: 17th International Workshop on Frontiers in Availability, Reliability and Security (FARES2022) (DOI, news)
Salvatore Manfredi, Mariano Ceccato, Giada Sciarretta, Silvio Ranise
Empirical Validation on the Usability of Security Reports for Patching TLS Misconfigurations: User- and Case-Studies on Actionable Mitigations
In: Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA) (DOI)
Stefano Berlato, Roberto Carbone, Umberto Morelli, Silvio Ranise
End-to-End Protection of IoT Communications Through Cryptographic Enforcement of Access Control Policies
In: Proceedings of the 36th Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy (DBSec 2022) (DOI)
Amir Sharif, Matteo Ranzi, Roberto Carbone, Giada Sciarretta, Silvio Ranise
SoK: A Survey on Technological Trends for (pre)Notified eIDAS Electronic Identity Schemes
In: 17th International Workshop on Frontiers in Availability, Reliability and Security (FARES2022) (DOI, complementary material, news)
Amir Sharif, Matteo Ranzi, Roberto Carbone, Giada Sciarretta, Francesco Antonio Marino, Silvio Ranise
The eIDAS Regulation: A Survey of Technological Trends for European Electronic Identity Schemes
In: MDPI Journal of Applied Science (APPLSCI) (DOI, complementary material, news)
Roberto Doriguzzi Corin, Silvio Cretti, Tiziana Catena, Simone Magnani, Domenico Siracusa
Towards Application-Aware Provisioning of Security Services with Kubernetes
In: 2022 IEEE 8th International Conference on Network Softwarization (NetSoft) (DOI)
Damu Ding, Marco Savi, Domenico Siracusa
Tracking Normalized Network Traffic Entropy to Detect DDoS Attacks in P4
In: IEEE Transactions on Dependable and Secure Computing (DOI)

2021 ()

Marco Pernpruner, Giada Sciarretta, Silvio Ranise
A Framework for Security and Risk Analysis of Enrollment Procedures: Application to Fully-Remote Solutions Based on eDocuments
In: 18th International Conference on Security and Cryptography (SECRYPT 2021) (DOI, complementary material)
Giacomo Segala, Roberto Doriguzzi Corin, Claudio Peroni, Tommaso Gazzini, Domenico Siracusa
A Practical and Adaptive Approach to Predicting Indoor CO2
In: Applied Sciences (DOI)
Francescomaria Faticanti, Daniele Santoro, Silvio Cretti, Domenico Siracusa
An Application of Kubernetes Cluster Federation in Fog Computing
In: Proceedings of 2021 24th Conference on Innovation in Clouds, Internet and Networks and Workshops (ICIN) (DOI)
Biniam Fisseha Demissie, Silvio Ranise
Assessing the Effectiveness of the Shared Responsibility Model for Cloud Databases: the Case of Google's Firebase
In: IEEE International Conference on Smart Data Services (SMDS 2021) (news)
Salimeh Dashti, Amir Sharif, Roberto Carbone, Silvio Ranise
Automated Risk Assessment and What-if Analysis of OpenID Connect and OAuth 2.0 Deployments
In: Proceedings of the 35th Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy (DBSec 2021) (news)
Amir Sharif, Roberto Carbone, Giada Sciarretta, Silvio Ranise
Best Current Practices for OAuth/OIDC Native Apps: A Study of their Adoption in Popular Providers and Top-Ranked Android Clients
In: Journal of Information Security and Applications (JISA) (DOI, news)
Andreas Heider-Aviet, Danny Roswin Ollik, Stefano Berlato, Silvio Ranise, Roberto Carbone, Van Thanh Le, Nabil El Ioini, Claus Pahl, Hamid R. Berzegar
Blockchain Based RAN Data Sharing
In: IEEE International Conference on Smart Data Services (SMDS 2021) (DOI)
Luis Augusto Dias Knob, Francescomaria Faticanti, Tiago Ferreto, Domenico Siracusa
Community-based placement of registries to speed up application deployment on Edge Computing
In: Proceedings of 2021 IEEE International Conference on Cloud Engineering (IC2E) (DOI)
Stefano Berlato, Roberto Carbone, Silvio Ranise
Cryptographic Enforcement of Access Control Policies in the Cloud: Implementation and Experimental Assessment
In: 18th International Conference on Security and Cryptography (SECRYPT 2021)
Salvatore Manfredi, Mariano Ceccato, Giada Sciarretta, Silvio Ranise
Do Security Reports Meet Usability? - Lessons Learned from Using Actionable Mitigations for Patching TLS Misconfigurations
In: The 16th International Conference on Availability, Reliability and Security (ARES 2021) (ETACS 2021) (DOI, complementary material, news)
Umberto Morelli, Ivan Vaccari, Silvio Ranise, Enrico Cambiaso
DoS Attacks in Available MQTT Implementations: Investigating the Impact on Brokers and Devices, and supported Anti-DoS Protections.
In: The 5th International Workshop on Security and Forensics of IoT (IoT-SECFOR 2021) (complementary material, news)
Tahir Ahmad, Umberto Morelli, Silvio Ranise, Nicola Zannone
Extending access control in AWS IoT through event-driven functions: an experimental evaluation using a smart lock system
In: International Journal of Information Security (DOI)
Francescomaria Faticanti, Lorenzo Maggi, Francesco De Pellegrini, Daniele Santoro, Domenico Siracusa
Fog Orchestration meets Proactive Caching
In: Proceedings of 6th IEEE/IFIP International Workshop on Analytics for Network and Service Management (AnNet 2021)
Maged Abdelaty, Sandra Scott-Hayward, Roberto Doriguzzi Corin, Domenico Siracusa
GaDoT: GAN-based Adversarial Training for Robust DDoS Attack Detection
In: Proceedings of 2021 IEEE Conference on Communications and Network Security (CNS) (DOI)
Sajad Khorsandroo, Adrián Gallego Sánchez, Ali Saman Tosun, José Manuel Arco Rodríguez, Roberto Doriguzzi Corin
Hybrid SDN evolution: A comprehensive survey of the state-of-the-art
In: Computer Networks (DOI)
Damu Ding, Marco Savi, Federico Pederzolli, Mauro Campanella, Domenico Siracusa
In-Network Volumetric DDoS Victim Identification Using Programmable Commodity Switches
In: IEEE Transactions on Network and Service Management (DOI)
Andrea Bisegna, Roberto Carbone, Silvio Ranise
Integrating a Pentesting Tool for IdM Protocols in a Continuous Delivery Pipeline
In: 4th International Workshop on Emerging Technologies for Authorization and Authentication (ETAA2021) (DOI)
Damu Ding, Marco Savi, Federico Pederzolli, Domenico Siracusa
INVEST: Flow-Based Traffic Volume Estimation in Data-Plane Programmable Networks
In: Proceedings of IFIP Networking Conference 2021 (DOI)
Marco Centenaro, Stefano Berlato, Roberto Carbone, Gianfranco Burzio, Giuseppe Faranda Cordella, Roberto Riggio, Silvio Ranise
Safety-Related Cooperative, Connected, and Automated Mobility Services: Interplay Between Functional and Security Requirements
In: IEEE Vehicular Technology Magazine, Volume 16, Issue 4, December 2021, Pages 78-88 (DOI)
Matteo Leonelli, Umberto Morelli, Silvio Ranise, Giada Sciarretta
Secure Pull Printing with QR Codes and National eID Cards: A Software-oriented Design and an Open-source Implementation
In: Proceedings of the Eleventh ACM Conference on Data and Application Security and Privacy (CODASPY 2021) (DOI, complementary material, news)
Biniam Fisseha Demissie, Mariano Ceccato, Lwin Khin Shar
Security Analysis of Permission Re-delegation Vulnerabilities in Android Apps
In: 43rd Internation Conference on Software Engineering (ICSE 2021) (news)
Stefano Berlato, Marco Centenaro, Silvio Ranise
Smart Card-Based Identity Management Protocols for V2V and V2I Communications in CCAM: a Systematic Literature Review
In: IEEE Transactions on Intelligent Transportation Systems (T-ITS) (DOI, news)

2020 ()

Marco Savi, Daniele Santoro, Katarzyna Teresa Di Meo, Daniele Pizzolli, Pincheira Miguel, Raffaele Giaffreda, Silvio Cretti, Seung woo Kum, Domenico Siracusa
A Blockchain-based Brokerage Platform for Fog Computing Resource Federation
In: Proceedings of Conference on Innovation in Clouds, Internet and Networks (DOI)
Stefano Berlato, Mariano Ceccato
A Large-Scale Study on the Adoption of Anti-Debugging and Anti-Tampering Protections in Android Apps
In: Journal of Information Security and Applications (JISA) (DOI, news)
Maged Abdelaty, Roberto Doriguzzi Corin, Domenico Siracusa
AADS: A Noise-Robust Anomaly Detection Framework for Industrial Control Systems
In: Proceedings of 21st International Conference on Information and Communications Security (ICICS 2019) (DOI)
Antonio Marsico, Marco Savi, Domenico Siracusa, Elio Salvadori
An Automated Negotiation Framework for Application-Aware Transport Network Services
In: Optical Switching and Networking (DOI)
Damu Ding, Marco Savi, Gianni Antichi, Domenico Siracusa
An Incrementally-deployable P4-enabled Architecture for Network-wide Heavy-hitter Detection
In: IEEE Transactions on Network and Service Management (DOI)
Seung woo Kum, Youngkee Kim, Domenico Siracusa, Jaewon Moon
Artificial Intelligence Service Architecture for Edge Device
In: Proceedings of 2020 IEEE 10th International Conference on Consumer Electronics (ICCE-Berlin) (DOI)
Mauro Conti, Pallavi Kaliyar, Md Masoom Rabbani, Silvio Ranise
Attestation-enabled secure and scalable routing protocol for IoT networks
In: Ad Hoc Networks (DOI)
Amir Sharif, Roberto Carbone, Giada Sciarretta, Silvio Ranise
Automated and Secure Integration of the OpenID Connect iGov Profile in Mobile Native Applications
In: 3rd International Workshop on Emerging Technologies for Authorization and Authentication (ETAA2020) (DOI, complementary material)
Andrea Bisegna, Roberto Carbone, Mariano Ceccato, Salvatore Manfredi, Silvio Ranise, Giada Sciarretta, Alessandro Tomasi, Emanuele Viglianisi
Automated Assistance to the Security Assessment of API for Financial Services in book Cyber-Physical Threat Intelligence for Critical Infrastructures Security: A Guide to Integrated Cyber-Physical Protection of Modern Critical Infrastructures
In: Cyber-Physical Threat Intelligence for Critical Infrastructures Security: A Guide to Integrated Cyber-Physical Protection of Modern Critical Infrastructures (DOI)
Tahir Ahmad, Umberto Morelli, Silvio Ranise
Deploying Access Control Enforcement for IoT in the Cloud-Edge Continuum with the help of the CAP Theorem
In: 25th ACM Symposium on Access Control Models And Technologies (SACMAT 2020) (news)
Francescomaria Faticanti, Marco Savi, Francesco De Pellegrini, Petar Kochovski, Vlado Stankovski, Domenico Siracusa
Deployment of Application Microservices in Multi-Domain Federated Fog Environments
In: Proceedings of IEEE 2020 International Conference on Omni-layer Intelligent Systems (COINS) (DOI)
Francescomaria Faticanti, Jason Zormpas, Sergey Drozdov, Kewin Rausch, Orlando Avila García, Fragkiskos Sardis, Silvio Cretti, Mohsen Amiribesheli, Domenico Siracusa
Distributed Cloud Intelligence: Implementing An ETSI MANO-Compliant Predictive Cloud Bursting Solution using Openstack and Kubernetes
In: Economics of Grids, Clouds, Systems, and Services 17th International Conference, GECON 2020 (DOI)
Damu Ding, Marco Savi, Domenico Siracusa
Estimating Logarithmic and Exponential Functions to Track Network Traffic Entropy in P4
In: Proceedings of IEEE/IFIP Network Operations and Management Symposium (NOMS) (DOI)
Stefano Berlato, Roberto Carbone, Adam J. Lee, Silvio Ranise
Exploring Architectures for Cryptographic Access Control Enforcement in the Cloud for Fun and Optimization
In: 15th ACM ASIA Conference on Computer and Communications Security (ASIACCS 2020) (DOI)
Roberto Carbone, Silvio Ranise, Giada Sciarretta, Luca Viganò
Formal Analysis of Mobile Multi-Factor Authentication with Single Sign-On Login
In: ACM Transactions on Privacy and Security (TOPS) (DOI, complementary material, news)
Stefano Berlato, Roberto Carbone, Adam J. Lee, Silvio Ranise
Formal Modelling and Automated Trade-Off Analysis of Enforcement Architectures for Cryptographic Access Control in the Cloud
In: ACM Transactions on Privacy and Security (TOPS)
Daniele Tovazzi, Francescomaria Faticanti, Domenico Siracusa, Claudio Peroni, Silvio Cretti, Tommaso Gazzini
GEM-Analytics: Cloud-to-Edge AI-Powered Energy Management
In: Economics of Grids, Clouds, Systems, and Services
Roberto Doriguzzi Corin, Stuart Millar, Sandra Scott-Hayward, Jesus Martinez-Del-Rincón, Domenico Siracusa
LUCID: A Practical, Lightweight Deep Learning Solution for DDoS Attack Detection
In: IEEE Transactions on Network and Service Management (DOI)
Andrea Bisegna, Roberto Carbone, Giulio Pellizzari, Silvio Ranise
Micro-Id-Gym: a Flexible Tool for Pentesting Identity Management Protocols in the Wild and in the Laboratory
In: 3rd International Workshop on Emerging Technologies for Authorization and Authentication (ETAA2020) (DOI)
Majid Mollaeefar, Alberto Siena, Silvio Ranise
Multi-Stakeholder Cybersecurity Risk Assessment for Data Protection
In: 17th International Conference on Security and Cryptography (SECRYPT 2020) (DOI)
Francesco De Pellegrini, Francescomaria Faticanti, Mandar Datar, Eitan Altman, Domenico Siracusa
Optimal Blind and Adaptive Fog Orchestration under Local Processor Sharing
In: Proceedings of 18th International Symposium on Modeling and Optimization in Mobile, Ad Hoc and Wireless Networks (WiOpt 2020)
Federico Pederzolli, Francescomaria Faticanti, Domenico Siracusa
Optimal Design of Practical Quantum Key Distribution Backbones for Securing Core Transport Networks
In: Quantum Reports (DOI)
Edlira Dushku, Md Masoom Rabbani, Mauro Conti, Luigi V. Mancini, Silvio Ranise
SARA: Secure Asynchronous Remote Attestation for IoT Systems
In: IEEE Transactions on Information Forensics and Security (TIFS) (DOI)
Marco Centenaro, Stefano Berlato, Roberto Carbone, Gianfranco Burzio, Giuseppe Faranda Cordella, Silvio Ranise, Roberto Riggio
Security Considerations on 5G-Enabled Back-Situation Awareness for CCAM
In: 3rd IEEE 5G World Forum (5GWF20) (news)
Petar Kochovski, Vlado Stankovski, Sandi Gec, Francescomaria Faticanti, Marco Savi, Domenico Siracusa, Seung woo Kum
Smart Contracts for Service-Level Agreements in Edge-to-Cloud Computing
In: Journal of Grid Computing (DOI)
Marco Pernpruner, Roberto Carbone, Silvio Ranise, Giada Sciarretta
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
In: Proceedings of the Tenth ACM Conference on Data and Application Security and Privacy (CODASPY 2020) (DOI, complementary material, news)
Francescomaria Faticanti, Francesco De Pellegrini, Domenico Siracusa, Daniele Santoro, Silvio Cretti
Throughput-aware Partitioning and Placement of Applications in Fog Computing
In: IEEE Transactions on Network and Service Management (DOI)
Salvatore Manfredi, Silvio Ranise, Giada Sciarretta, Alessandro Tomasi
TLSAssistant goes FINSEC: A Security Platform Integration Extending Threat Intelligence Language
In: 1st International Workshop on Cyber-Physical Security for Critical Infrastructures Protection (CPS4CIP 2020)
Sergio Manuel Nóbrega Gonçalves, Alessandro Tomasi, Andrea Bisegna, Giulio Pellizzari, Silvio Ranise
Verifiable Contracting: A Use Case for Onboarding and Contract Offering in Financial Services with eIDAS and Verifiable Credentials
In: 25th European Symposium on Research in Computer Security (DETIPS2020) (DOI)

2019 ()

Salimeh Dashti, Silvio Ranise
A Tool-assisted Methodology for the Data Protection Impact Assessment
In: 16th International Conference on Security and Cryptography (SECRYPT 2019) (DOI, news)
Amir Sharif, Roberto Carbone, Silvio Ranise, Giada Sciarretta
A Wizard-Based Approach for Secure Code Generation of Single Sign-On and Access Delegation Solutions for Mobile Native Apps
In: 16th International Conference on Security and Cryptography (SECRYPT 2019) (DOI, complementary material, news)
Umberto Morelli, Silvio Ranise, Lorenzo Nicolodi
An Open and Flexible CyberSecurity Training Laboratory in IT/OT Infrastructures
In: 1st Model-driven Simulation and Training Environments for Cybersecurity Workshop (MSTEC 2019) (DOI, news)
Umberto Morelli, Silvio Ranise, Damiano Sartori, Giada Sciarretta, Alessandro Tomasi
Audit-Based Access Control with a Distributed Ledger: Applications to Healthcare Organizations
In: 15th International Workshop on Security and Trust Management (STM 2019) (DOI, news)
Sergii Kushch, Silvio Ranise, Giada Sciarretta
Blockchain Tree for eHealth
In: 2019 IEEE Global Conference on Internet of Things (GCIoT 2019) (DOI)
Francescomaria Faticanti, Francesco De Pellegrini, Domenico Siracusa, Daniele Santoro, Silvio Cretti
Cutting Throughput with the Edge: App-Aware Placement in Fog Computing
In: Proceedings of IEEE EDGECOM 2019 (DOI)
Roberto Doriguzzi Corin, Sandra Scott-Hayward, Domenico Siracusa, Marco Savi, Elio Salvadori
Dynamic and Application-Aware Provisioning of Chained Virtual Security Network Functions
In: IEEE Transactions on Network and Service Management (DOI)
Silvio Ranise, Giada Sciarretta, Alessandro Tomasi
Enroll, and authentication will follow: eID-based enrollment for a customized, secure, and frictionless authentication experience
In: 12th International Symposium on Foundations & Practice of Security (FPS 2019) (DOI, news)
M. Furdek, N. Fontaine, W. Klaus, N. Parsons, Domenico Siracusa
Guest Editorial Photonic Networks and Devices
In: Journal of Lightwave Technology (DOI)
Damu Ding, Marco Savi, Gianni Antichi, Domenico Siracusa
Incremental Deployment of Programmable Switches for Network-wide Heavy-hitter Detection
In: Proceedings of IEEE Conference on Network Softwarization (NetSoft 2019) (DOI)
Sebastiano Miano, Roberto Doriguzzi Corin, Fulvio Risso, Domenico Siracusa, R. Sommese
Introducing SmartNICs in Server-Based Data Plane Processing: The DDoS Mitigation Use Case
In: IEEE Access (DOI)
Giovanni Maria Abbiati, Silvio Ranise, Antonio Schizzerotto, Alberto Siena
Learning from Others' Mistakes: An Analysis of Cyber-security Incidents
In: 4th International Conference on Internet of Things, Big Data and Security (IoTBDS 2019) (DOI)
Salvatore Manfredi, Silvio Ranise, Giada Sciarretta
Lost in TLS? No More! Assisted Deployment of Secure TLS Configurations
In: Proceedings of the 33rd Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy (DBSec 2019), vol. 11559, pp. 201-220 (DOI, news)
Andrea Bisegna, Roberto Carbone, Ivan Martini, Valentina Odorizzi, Giulio Pellizzari, Silvio Ranise
Micro-Id-Gym: Identity Management Workouts with Container-Based Microservices
In: International Journal of Information Security and Cybercrime (IJISP), Volume 8, Issue 1 (DOI)
Andrea Palmieri, Paolo Prem, Silvio Ranise, Umberto Morelli, Tahir Ahmad
MQTTSA: A Tool for Automatically Assisting the Secure Deployments of MQTT brokers
In: IEEE SERVICES Workshop on Cyber Security & Resilience in the Internet of Things (IEEE SERVICES CSRIoT 2019) (DOI, news)
Federico Sinigaglia, Roberto Carbone, Gabriele Costa, Silvio Ranise
MuFASA: A Tool for High-level Specification and Analysis of Multi-factor Authentication Protocols
In: Emerging Technologies for Authorization and Authentication (ETAA 2019) (DOI, complementary material, news)
Federico Pederzolli, Marco Savi, Domenico Siracusa, Elio Salvadori
Optimization of Secure Quantum Key Distribution Backbones in Core Transport Networks
In: Proceedings of Optical Fiber Communication Conference (OFC) 2019, OSAPUBLISHING (DOI)
Federico Pederzolli, Domenico Siracusa, Andrea Zanardi, Gabriele Galimberti, Domenico La Fauci, Giovanni Martinelli
Path-based Fragmentation Metric and RSA Algorithms for Elastic Optical Networks
In: Journal of Optical Communications and Networking (DOI)

2018 ()

C. Rozic, Marco Savi, Chris Matrakidis, D. Klonidis, Domenico Siracusa
A Dynamic Multi-Layer Resource Allocation and Optimization Framework in Application-Centric Networks
In: Journal of Lightwave Technology (DOI)
Tahir Ahmad, Umberto Morelli, Silvio Ranise, Nicola Zannone
A Lazy Approach to Access Control as a Service (ACaaS) for IoT: An AWS Case Study
In: 23rd ACM Symposium on Access Control Models And Technologies (SACMAT 2018) (DOI, news)
Antonio Marsico, Marco Savi, Domenico Siracusa, Elio Salvadori
An Automated Service-downgrade Negotiation Scheme for Application-centric Networks
In: Proceedings of Optical Fiber Communication Conference, 2018 (DOI)
I. Tomkos, C. Rozic, Marco Savi, P. Skoldstrom, Victor Lopez, M. Chamania, Domenico Siracusa, Chris Matrakidis, D. Klonidis, O. Gerstel
Application aware multilayer control and optimization of elastic WDM switched optical networks
In: Proceedings of Optical Fiber Communication Conference, 2018 (DOI)
Marco Savi, Domenico Siracusa
Application-aware Service Provisioning and Restoration in SDN-based Multi-layer Transport Networks
In: Optical Switching and Networking (DOI)
Rojas Elisa, Roberto Doriguzzi Corin, Tamurejo Sergio, Beato Andres, Schwabe Arne, Phemius Kevin, Guerrero Carmen
Are We Ready to Drive Software-Defined Networks? A Comprehensive Survey on Management Tools and Techniques
In: ACM Computing Surveys (DOI)
Silvio Ranise, Tuan Anh Truong, Luca Viganò
Automated and efficient analysis of administrative temporal RBAC policies with role hierarchies
In: Journal of Computer Security (JCS) (DOI)
Thomas Szyrkowiec, Michele Santuari, Mohit Chamania, Domenico Siracusa, Achim Autenrieth, Victor Lopez, Joo Cho, Wolfgang Kellerer
Automatic intent-based secure service creation through a multilayer SDN network orchestration
In: Journal of Optical Communications and Networking (DOI)
Thomas Szyrkowiec, Mohit Chamania, Bogdan Mihai Andrus, Achim Autenrieth, Antonio Marsico, Domenico Siracusa
Demonstration of an Application-Based Service Lifecycle Orchestration for the Future Internet
In: Proceedings of 44th European Conference on Optical Communication (ECOC 2018) (DOI)
Roberto Carbone, Silvio Ranise, Giada Sciarretta
Design and Security Assessment of Usable Multi-factor Authentication and Single Sign-On Solutions for Mobile Applications
In: Privacy and Identity Management. Fairness, Accountability, and Transparency in the Age of Big Data (DOI)
Giada Sciarretta, Roberto Carbone, Silvio Ranise, Luca Viganò
Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience
In: Principles of Security and Trust (POST 2018) (DOI, news)
Federico Pederzolli, Mohit Chamania, Michele Santuari, Thomas Szyrkowiec, Chris Matrakidis, Ciril Rozic, Dimitrios Klonidis, Victor Lopez, Domenico Siracusa
Disaggregating Optical Nodes in a Multi-Layer SDN Orchestrator for the Integration of an In-Operation Planning Tool
In: Proceedings of The Optical Networking and Communication Conference (OFC 2018)
Antonio Marsico, Mohit Chamania, Roberto Doriguzzi Corin, Chris Matrakidis, Dimitrios Klonidis, Pontus Sköldström, Abdul Ghafoor, Stéphane Junique, Victor Lopez, Domenico Siracusa
Enriching Intent-based SDN to Ease Customer Service Management in Transport Networks
In: Proceedings of Advanced Photonics 2018 - OSA Technical Digest (DOI)
S. Ben-Ezra, Matteo Gerola, Domenico Siracusa, Federico Pederzolli, Dan M. Marom, M. Blau, J. Macdonald, N. Psaila, Christian Sánchez Costa, Andrew D. Ellis, X. Forns, J. F. Ferran, F. Jimenez, N. Christodoulia, Behnam Shariati, D. Klonidis, I. Tomkos
First WDM-SDM Optical Network with Spatial Sub-Group Routing ROADM Nodes Supporting Spatial Lane Changes
In: Proceedings of Advanced Photonics 2018 (BGPP, IPR, NP, NOMA, Sensors, Networks, SPPCom, SOF) OSA Technical Digest (online) (Optical Society of America, 2018) (DOI)
Md Masoom Rabbani, Silvio Ranise
PADS: Practical Attestation for Highly Dynamic Swarm Topologies
In: 7th International Workshop on Secure Internet of Things (SIoT 2018) (DOI)
Clara Bertolissi, Daniel Ricardo dos Santos, Silvio Ranise
Solving Multi-Objective Workflow Satisfiability Problems with Optimization Modulo Theories Techniques
In: 23rd ACM Symposium on Access Control Models And Technologies (SACMAT 2018) (DOI)
Mauro Conti, Pallavi Kaliyar, Md Masoom Rabbani, Silvio Ranise
SPLIT: A Secure and Scalable RPL routing protocol for Internet of Things
In: 7th International Workshop on Secure Internet of Things (SIoT 2018) (DOI)
Dan M. Marom, M. Blau, J. Macdonald, N. Psaila, Christian Sánchez Costa, Andrew D. Ellis, J. F. Ferran, F. Jimenez, G. Papastergiou, S. Ben-Ezra, Matteo Gerola, Domenico Siracusa, Federico Pederzolli, Behnam Shariati, D. Klonidis, I. Tomkos
Technologies for the Implementation of Spectrally-Spatially Flexible Optical Networks (SS-FONs)
In: Proceedings of Advanced Photonics 2018 (DOI)
Federico Pederzolli, M. Furdek, Domenico Siracusa, L. Wosinska
Towards Secure Optical Networks: A Framework to Aid Localization of Harmful Connections
In: Proceedings of Optical Networking and Communication Conference 2018 (OFC) (DOI)
Tahir Ahmad, Silvio Ranise
Validating Requirements of Access Control for Cloud-Edge IoT Solutions
In: 11th International Symposium on Foundations & Practice of Security (FPS 2018) (DOI, news)

2017 ()

Ciril Rozic, Marco Savi, Chris Matrakidis, Dimitrios Klonidis, Domenico Siracusa, Ioannis Tomkos
A Framework for Dynamic Multi-layer Resource Allocation in Application-Centric Networking
In: Proceedings of 2017 Optical Fiber Communication Conference (OFC 2017) (DOI)
Luca Compagna, Daniel Ricardo dos Santos, Serena Elisa Ponta, Silvio Ranise
Aegis: Automatic Enforcement of Security Policies in Workflow-driven Web Applications
In: Proceedings of the Seventh ACM Conference on Data and Application Security and Privacy (CODASPY 2017) (DOI)
Marco Savi, Federico Pederzolli, Domenico Siracusa
An Application-Aware Multi-Layer Service Provisioning Algorithm based on Auxiliary Graphs
In: Proceedings of 2017 Optical Fiber Communication Conference (OFC 2017) (DOI)
Antonio Marsico, Roberto Doriguzzi Corin, Domenico Siracusa
An effective swapping mechanism to overcome the memory limitation of SDN devices
In: Proceedings of Ifip/ieee Symposium on Integrated Network and Service Management (IM), 2017 (DOI)
Antonio Marsico, Michele Santuari, Marco Savi, Domenico Siracusa, Abdul Ghafoor, Stéphane Junique, Pontus Sköldström
An interactive intent-based negotiation scheme for application-centric networks
In: Proceedings of IEEE Conference on Network Softwarization (NetSoft), 2017 (DOI)
Giada Sciarretta, Roberto Carbone, Silvio Ranise, Alessandro Armando
Anatomy of the Facebook solution for mobile single sign-on: Security assessment and improvements
In: Computers & Security Journal (COSE), Volume 71, November 2017, Pages 71-86 (DOI)
Ciril Rozic, Marco Savi, Chris Matrakidis, Dimitrios Klonidis, Domenico Siracusa, Ioannis Tomkos
Application-Centric Dynamic Multi-layer Resource Allocation in Availability-aware SDN-Orchestrated Networks
In: Proceedings of 2017 European Conference on Optical Communication (ECOC 2017)
Roberto Doriguzzi Corin, Sandra Scott-Hayward, Domenico Siracusa, Elio Salvadori
Application-Centric Provisioning of Virtual Security Network Functions
In: Proceedings of IEEE International Workshop on Security in Nfv-sdn (SN-2017) (DOI)
Umberto Morelli, Silvio Ranise
Assisted Authoring, Analysis and Enforcement of Access Control Policies in the Cloud
In: 32nd International Conference on ICT Systems Security and Privacy Protection (IFIPSEC 2017) (DOI, news)
Silvio Ranise, Hari Siswantoro
Automated Legal Compliance Checking by Security Policy Analysis
In: International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2017) (DOI)
Daniel Ricardo dos Santos, Silvio Ranise, Luca Compagna, Serena Elisa Ponta
Automatically finding execution scenarios to deploy security-sensitive workflows
In: Journal of Computer Security (JCS), Volume 25, no. 3, Pages 255-282 (DOI)
Marco Savi, Ciril Rozic, Chris Matrakidis, Dimitrios Klonidis, Domenico Siracusa, Ioannis Tomkos
Benefits of Multi-Layer Application-Aware Resource Allocation and Optimization
In: Proceedings of European Conference on Networks and Communications (EuCNC), 2017 (DOI)
Pontus Sköldström, Stéphane Junique, Abdul Ghafoor, Antonio Marsico, Domenico Siracusa
DISMI - an intent interface for application-centric transport network services
In: Proceedings of 19th International Conference on Transparent Optical Networks (ICTON), 2017 ECCS
Federico Pederzolli, Domenico Siracusa, Elio Salvadori, Renato Lo Cigno
Energy Saving Through Traffic Profiling in Self-Optimizing Optical Networks
In: IEEE Systems Journal (DOI)
Daniele Santoro, Daniel Zozin, Daniele Pizzolli, Francesco De Pellegrini, Silvio Cretti
Foggy: A Platform for Workload Orchestration in a Fog Computing Environment
In: Proceedings of Cloudcom 2017, IEEE 9th International Conference on Cloud Computing Technology and Science (DOI)
Fatih Turkmen, Jerry Den Hartog, Silvio Ranise, Nicola Zannone
Formal analysis of XACML policies using SMT
In: Computers & Security Journal (COSE), Volume 66, May 2017, Pages 185-203 (DOI)
Federico Pederzolli, Domenico Siracusa, Behnam Shariati, Jose Manuel Rivas-Moscoso, Elio Salvadori, I. Tomkos
Improving performance of spatially joint- switched space division multiplexing optical networks via spatial group sharing
In: Journal of Optical Communications and Networking (DOI)
Mohit Chamania, Thomas Szyrkowiec, Michele Santuari, Domenico Siracusa, Achim Autenrieth, Victor Lopez, Pontus Sköldström, Stéphane Junique
Intent-based in-flight service encryption in multi-layer transport networks
In: Proceedings of Optical Fiber Communications Conference and Exhibition (OFC), 2017
Avinash Sudhodanan, Roberto Carbone, Luca Compagna, Nicolas Dolgin, Alessandro Armando, Umberto Morelli
Large-scale Analysis & Detection of Authentication Cross-Site Request Forgeries
In: 2nd IEEE European Symposium on Security and Privacy (EUROS&P 2017) (DOI, news)
Victor Lopez, Juan Pedro Fernandez Palacios, Thomas Szyrkowiec, Mohit Chamania, Domenico Siracusa
Multi-layer resilience schemes and their control plane support
In: Proceedings of 13th International Conference on Design of Reliable Communication Networks, Drcn 2017
Li Xi, Raihana Ferdous, Carla Fabiana Chiasserini, Claudio Ettore Casetti, Francesca Moscatelli, Giada Landi, Ramon Casellas, Kei Sakaguchi, Shahzoob Bilal Chundrigar, Ricard Vilalta, Josep Mangues, Andres Garcia Saavedra, Xavier Costa Pérez, Leonardo Goratti, Domenico Siracusa
Novel Resource and Energy Management for 5G integrated backhaul/fronthaul (5G-Crosshaul)
In: Proceedings of IEEE International Conference on Communications Workshops (ICC Workshops), 2017 (DOI)
Daniel Ricardo dos Santos, Silvio Ranise
On Run-Time Enforcement of Authorization Constraints in Security-Sensitive Workflows
In: 15th International Conference on Software Engineering and Formal Methods (SEFM 2017) (DOI)
Victor Lopez, Dimitrios Klonidis, Domenico Siracusa, Ciril Rozic, Ioannis Tomkos, Juan Pedro Fernandez Palacios
On the Benefits of Multilayer Optimization and Application Awareness
In: Journal of Lightwave Technology (DOI)
Antonio Marsico, Roberto Doriguzzi Corin, Domenico Siracusa
Overcoming the memory limits of network devices in SDN-enabled data centers
In: Proceedings of Ifip/ieee Symposium on Integrated Network and Service Management (IM), 2017 (DOI)
Roberto Doriguzzi Corin, P. A. Aranda Gutierrez, E. Rojas, H. Karl, Elio Salvadori
Reusability of Software-Defined Networking Applications: A Runtime, Multi-Controller Approach
In: Proceedings of 12th International Conference on Network and Service Management (CNSM), 2016 (DOI)
Tuan Anh Truong, Silvio Ranise, Thanh-Tung Nguyen
Scalable Automated Analysis of Access Control and Privacy Policies
In: Transactions on Large-Scale Data- and Knowledge-Centered Systems (TLDKS), Volume XXXVI (DOI)
Paolo Guarda, Silvio Ranise, Hari Siswantoro
Security Analysis and Legal Compliance Checking for the Design of Privacy-friendly Information Systems
In: 22nd ACM Symposium on Access Control Models And Technologies (SACMAT 2017) (DOI)
Federico Sinigaglia, Gabriele Costa, Roberto Carbone
Strong Authentication for e-Banking: a Survey on European Regulations and Implementations
In: 14th International Conference on Security and Cryptography (SECRYPT 2017) (DOI, news)
Moreno Ambrosin, Mauro Conti, Riccardo Lazzaretti, Md Masoom Rabbani, Silvio Ranise
Toward secure and efficient attestation for highly dynamic swarms
In: 10th ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec 2017) (DOI)
Federico Pederzolli, Matteo Gerola, Andrea Zanardi, X. Forns, J. F. Ferran, Domenico Siracusa
YAMATO: The First SDN Control Plane for Independent, Joint, and Fractional-Joint Switched SDM Optical Networks
In: Journal of Lightwave Technology (DOI)

2016 ()

Giada Sciarretta, Roberto Carbone, Silvio Ranise
A delegated authorization solution for smart-city mobile applications
In: 2nd International Forum on Research and Technologies for Society and Industry (RTSI 2016) (DOI)
Antonio Marsico, Roberto Doriguzzi Corin, Matteo Gerola, Domenico Siracusa, A. Schwabe
A Non-disruptive Automated Approach to Update SDN Applications at Runtime
In: Proceedings of IEEE/IFIP Network Operations and Management Symposium (NOMS), 2016 (DOI)
Tuan Anh Truong, Silvio Ranise
ASASPXL: New Clother for Analysing ARBAC Policies
In: 3rd International Conference on Future Data and Security Engineering (FDSE 2016) (DOI)
Avinash Sudhodanan, Alessandro Armando, Luca Compagna, Roberto Carbone
Attack Patterns for Black-Box Security Testing of Multi-Party Web Applications
In: Network and Distributed System Security Symposium (NDSS 2016) (news)
Luca Compagna, Daniel Ricardo dos Santos, Serena Elisa Ponta, Silvio Ranise
Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive Business Processes
In: 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016) (DOI)
Daniele Pizzolli, Giuseppe Cossu, Daniele Santoro, Luca Capra, Corentin Dupont, Charalampos Doukas, Francesco De Pellegrini, Fabio Antonelli, Silvio Cretti
Cloud4IoT: a Heterogeneous, distributed and autonomic cloud platform for the IoT
In: Proceedings of IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 2016 (DOI)
P. S. Khodashenas, Jose Manuel Rivas-Moscoso, Domenico Siracusa, Federico Pederzolli, Behnam Shariati, D. Klonidis, Elio Salvadori, I. Tomkos
Comparison of Spectral and Spatial Super-channel Allocation Schemes for SDM Networks
In: Journal of Lightwave Technology (DOI)
P. Teymoori, M. Welzl, S. Gjessing, E. Grasa, Roberto Riggio, Kewin Rausch, Domenico Siracusa
Congestion Control in the Recursive InterNetworking Architecture (RINA)
In: Proceedings of IEEE International Conference on Communications (ICC), 2016 (DOI)
Domenico Siracusa, Federico Pederzolli, Matteo Gerola, Andrea Zanardi, D. La Fauci, G. Galimberti
Demonstration of a Hybrid SDN/GMPLS Control Plane for Optical Virtual Private Networks with Restoration Capabilities
In: Proceedings of 42nd European Conference on Optical Communication Ecoc 2016
A. A. Gebremariam, T. Bao, Domenico Siracusa, Tinku Mohamed Rasheed, F. Granelli, Leonardo Goratti
Dynamic Strict Fractional Frequency Reuse for Software-Defined 5G Networks
In: Proceedings of IEEE International Conference on Communications (ICC), 2016 (DOI)
Roberto Doriguzzi Corin, Domenico Siracusa, Elio Salvadori, A. Schwabe
Empowering Network Operating Systems with Memory Management Techniques
In: Proceedings of IEEE/IFIP Network Operations and Management Symposium (NOMS), 2016 (DOI)
R. J. Duran, N. Fernández, Domenico Siracusa, Antonio Francescon, I. de Miguel, I. Rodríguez, J. C. Aguado, Elio Salvadori, R. M. Lorenzo
Experimental assessment of a cognitive mechanism to reduce the impact of outdated TEDs in optical networks
In: Photonic Network Communications (DOI)
Federico Pederzolli, Matteo Gerola, Andrea Zanardi, X. Forns, J. Ferran, Domenico Siracusa
Experimental Evaluation of YAMATO, a SDN Control Plane for Joint and Fractional-Joint Switched SDM Optical Networks
In: Proceedings of 42nd European Conference on Optical Communication Ecoc 2016
T. Szyrkowiec, Michele Santuari, M. Chamania, Domenico Siracusa, A. Autenrieth, Victor Lopez
First Demonstration of an Automatic Multilayer Intent-Based Secure Service Creation by an Open Source SDN Orchestrator
In: Ecoc 2016 Proceedings of 42nd European Conference on Optical Communication
Behnam Shariati, D. Klonidis, Domenico Siracusa, Federico Pederzolli, Jose Manuel Rivas-Moscoso, L. Velasco, I. Tomkos
Impact of Traffic Profile on the Performance of Spatial Superchannel Switching in SDM Networks
In: Ecoc 2016 Proceedings of 42nd European Conference on Optical Communication
X. Li, G. Landi, J. Núñez Martínez, R. Casellas, S. González, C. F. Chiasserini, R. J. Sanchez, Domenico Siracusa, Leonardo Goratti, D. Jimenez, M. Contreras Luis
Innovations Through 5G-Crosshaul Applications
In: Proceedings of European Conference on Networks and Communications (EuCNC), 2016 (DOI)
Daniel Ricardo dos Santos, Serena Elisa Ponta, Silvio Ranise
Modular Synthesis of Enforcement Mechanisms for the Workflow Satisfiability Problem
In: 21st ACM Symposium on Access Control Models And Technologies (SACMAT 2016) (DOI)
P. A. A. Gutierrez, E. Rojas, A. Schwabe, C. Stritzke, Roberto Doriguzzi Corin, A. Leckey, G. Petralia, Antonio Marsico, K. Phemius, S. Tamurejo
NetIDE: All-in-one framework for next generation, composed SDN applications
In: Proceedings of IEEE Netsoft Conference and Workshops (NetSoft), 2016 (DOI)
Stanislav Dashevskyi, Achim D. Brucker, Fabio Massacci
On the Security Cost of Using a Free and Open Source Component in a Proprietary Product
In: International Symposium on Engineering Secure Software and Systems (ESSoS 2016) (DOI, news)
Victor Lopez, Domenico Siracusa, D. Klonidis, J. P. Fernández Palacios
Operator use cases that benefit from multi-layer optimization and application awareness
In: Ecoc 2016 Proceedings of 42nd European Conference on Optical Communication
Silvio Ranise, Riccardo Traverso, Tuan Anh Truong
Parameterized model checking for security policy analysis
In: International Journal on Software Tools for Technology Transfer (STTT) (DOI)
Michele Santuari, T. Szyrkowiec, M. Chamania, Roberto Doriguzzi Corin, Victor Lopez, Domenico Siracusa
Policy-based Restoration in IP/Optical Transport Networks
In: Proceedings of IEEE Netsoft Conference and Workshops (NetSoft), 2016 (DOI)
Federico Pederzolli, Domenico Siracusa, Sköldström Pontus, Junique Stephane, Rožić Ćiril, Klonidis Dimitrios, Szyrkowiec Thomas, Chamania Mohit, Uceda Victor, Lopez Victor, Shikhmanter Yona, Gerstel Ori
SDN application-centric orchestration for multi-layer transport networks
In: Proceedings of 18th International Conference on Transparent Optical Networks (ICTON), 2016 (DOI)
Giada Sciarretta, Alessandro Armando, Roberto Carbone, Silvio Ranise
Security of Mobile Single Sign-On: a Rational Reconstruction of Facebook Login Solution
In: 13th International Conference on Security and Cryptography (SECRYPT 2016) (DOI, news)
Alessandro Armando, Silvio Ranise, Riccardo Traverso, Konrad Wrona
SMT-based Enforcement and Analysis of NATO Content-based Protection and Release Policies
In: 1st International Workshop on Attribute Based Access Control (ABAC 2016) (DOI, news)
Federico Pederzolli, Domenico Siracusa, J. M. Rivas, Behnam Shariati, Elio Salvadori, I. Tomkos
Spatial Group Sharing for SDM Optical Networks with Joint Switching
In: Proceedings of International Conference on Optical Network Design and Modeling (ONDM), 2016 (DOI)
Ioannis Tomkos, Behnam Shariati, Nikolaos Panteleimon Diamantopoulos, Jose Manuel Rivas-Moscoso, Dimitrios Klonidis, Antonia Mastropaolo, Federico Pederzolli, Domenico Siracusa
Spectrally-spatially flexible optical networking
In: Proceedings of Asia Communications and Photonics Conference 2016 (DOI)
Lopez Victor, Gran Jose Manuel, Palacios Juan Pedro Fernandez, Domenico Siracusa, Federico Pederzolli, Gerstel Ori, Shikhmanter Yona, Mårtensson Jonas, Sköldström Pontus, Szyrkowiec Thomas, Chamania Mohit, Autenrieth Achim, Tomkos Ioannis, Klonidis Dimitrios
The Role of SDN in Application Centric IP and Optical Networks
In: Proceedings of European Conference on Networks and Communications (EuCNC), 2016 (DOI)
Roberto Doriguzzi Corin, Elio Salvadori, Matteo Gerola
Towards an automated framework to instantiate virtual networks in OpenFlow-based infrastructures
In: International Journal of Communication Networks and Distributed Systems (DOI)

2015 ()

Riccardo De Masellis, Chiara Ghidini, Silvio Ranise
A Declarative Framework for Specifying and Enforcing Purpose-Aware Policies
In: 11th International Workshop on Security and Trust Management (STM 2015) (DOI)
A. A. Gebremariam, Leonardo Goratti, Roberto Riggio, Domenico Siracusa, Tinku Mohamed Rasheed, F. Granelli
A Framework for Interference Control in Software-Defined Mobile Radio Networks
In: Proceedings of 12th Annual IEEE Consumer Communications and Networking Conference (CCNC) (DOI)
Alessandro Armando, Silvio Ranise, Riccardo Traverso, Konrad Wrona
A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies
In: Proceedings of the 20th ACM Symposium on Access Control Models and Technologies (SACMAT 2015) (SACMAT 2015) (DOI)
Roberto Doriguzzi Corin, Elio Salvadori, Matteo Gerola, Michele Santuari
An Approach to Exposing and Sharing Network Services in Software-Defined Networking
In: Proceedings of ACM Sigcomm Symposium on Sdn Research (SOSR)
Fatih Turkmen, Jerry Den Hartog, Silvio Ranise, Nicola Zannone
Analysis of XACML Policies with SMT
In: Principles of Security and Trust (POST 2015) (DOI)
Daniel Ricardo dos Santos, Silvio Ranise, Luca Compagna, Serena Elisa Ponta
Assisting the Deployment of Security-Sensitive Workflows by Finding Execution Scenarios
In: 29th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSec 2015) (DOI, news)
Silvio Ranise, Tuan Anh Truong, Luca Viganò
Automated analysis of RBAC policies with temporal constraints and static role hierarchies
In: Proceedings of the 30th Annual ACM Symposium on Applied Computing (SAC 2015) (DOI)
Clara Bertolissi, Daniel Ricardo dos Santos, Silvio Ranise
Automated Synthesis of Run-time Monitors to Enforce Authorization Policies in Business Processes
In: 10th ACM Symposium on Information, Computer and Communications Security (ASIACCS2015) (DOI, news)
R. Borkowski, R. J. Duran, C. Kachris, Domenico Siracusa, A. Caballero, N. Fernández, D. Klonidis, Antonio Francescon, T. Jimenez, J. C. Aguado, I. de Miguel, Elio Salvadori, I. Tomkos, R. M. Lorenzo, I. Tafur Monroy
Cognitive Optical Network Testbed: EU Project CHRON
In: Journal of Optical Communications and Networking (DOI)
Alessandro Armando, Silvio Ranise, Riccardo Traverso, Konrad Wrona
Compiling NATO authorization policies for enforcement in the cloud and SDNs
In: 2015 IEEE Conference on Communications and Network Security (CNS) (DOI)
Domenico Siracusa
Control and orchestration for future IP/optical transport networks
In: Proceedings of OSA Photonic Networks and Devices 2015 (DOI)
Yahya Al Hazmi, Alexander Willner, Brian Pickering, Alaa Alloush, Thomas Magedanz, Silvio Cretti
Creating a Sustainable Federation of Cloud-Based Infrastructures for the Future Internet - The FIWARE Approach
In: Proceedings of 10th Eai International Conference on Testbeds and Research Infrastructures for the Development of Networks & Communities (DOI)
Alessandro Armando, Gianluca Bocci, Gabriele Costa, Rocco Mammoliti, Alessio Merlo, Silvio Ranise, Riccardo Traverso, Andrea Valenza
Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module
In: 29th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSec 2015) (DOI, news)
Worachet Uttha, Clara Bertolissi, Silvio Ranise
Modeling Authorization Policies for Web Services in Presence of Transitive Dependencies
In: Proceedings of the 12th International Conference on Security and Cryptography (SECRYPT 2015) (DOI)
O. Gerstel, Victor Lopez, Domenico Siracusa
Multi-layer orchestration for application-centric networking
In: Proceedings of 2015 International Conference on Photonics in Switching (PS) (DOI)
Roberto Doriguzzi Corin, Elio Salvadori, P. A. A. Gutierrez, C. Stritzke, A. Leckey, K. Phemius, E. Rojas
NetIDE: removing vendor lock-in in SDN
In: Proceedings of 1st IEEE Conference on Network Softwarization (NetSoft), 2015 (DOI)
Domenico Siracusa, Federico Pederzolli, Elio Salvadori, D. Klonidis, Victor Lopez
Resource Allocation Policies in SDM Optical Networks
In: Proceedings of International Conference on Optical Network Design and Modeling (ONDM), 2015 (DOI)
Domenico Siracusa, Federico Pederzolli, S. P. Khodashenas, J. M. Rivas-Moscoso, D. Klonidis, Elio Salvadori, I Tomkos
Spectral vs. Spatial Super-Channel Allocation in SDM Networks under Independent and Joint Switching Paradigms
In: Proceedings of European Conference on Optical Communication (ECOC), 2015 (DOI)
D. Klonidis, F. Cugini, O. Gerstel, M. Jinno, Victor Lopez, E. Palkopoulou, M. Sekiya, Domenico Siracusa, G. Thouenon, C. Betoule
Spectrally and spatially flexible optical network planning and operations
In: IEEE Communications Magazine (DOI)
R. Vilalta, Victor Lopez, A. Mayoral, N. Yoshikane, M. Ruffini, Domenico Siracusa, R. Martínez, T. Szyrkowiec, A. Autenrieth, S. Peng, R. Casellas, R. Nejabati, D. Simeonidou, J. P. Fernández Palacios, R. Muñoz, X. Cao, T. Tsuritani, I. Morita
The Need for a Control Orchestration Protocol in Research Projects on Optical Networking
In: Proceedings of European Conference on Networks and Communications (EuCNC), 2015 (DOI)
N. Fernández, R. J. Duran, Domenico Siracusa, Antonio Francescon, I. De Miguel, Elio Salvadori, J. C. Aguado, R. M. Lorenzo
Virtual Topology Reconfiguration in Optical Networks by Means of Cognition: Evaluation and Experimental Validation
In: Journal of Optical Communications and Networking (DOI)

2014 ()

Roberto Doriguzzi Corin, Elio Salvadori, Matteo Gerola, M. Suñe, H. Woesner
A datapath-centric virtualization mechanism for OpenFlow networks
In: Proceedings of Third European Workshop on Software Defined Networks (EWSDN), 2014 (DOI)
Daniel Ricardo dos Santos, Carla Merkle Westphall, Carlos Becker Westphall
A Dynamic Risk-based Access Control Architecture for Cloud Computing
In: 14th IEEE/IFIP Network Operations and Management Symposium (NOMS 2014) (DOI, news)
Silvio Ranise, Riccardo Traverso
ALPS: An Action Language for Policy Specification and Automated Safety Analysis
In: 10th International Workshop on Security and Trust Management (STM 2014) (DOI)
Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina
An extension of lazy abstraction with interpolation for programs with arrays
In: Formal Methods in System Design (DOI)
Alessandro Armando, Roberto Carbone, Eyasu Getahun Chekole, Silvio Ranise
Attribute Based Access Control for APIs in Spring Security
In: 18th ACM Symposium on Access Control Models and Technologies (SACMAT 2014) (DOI, news)
A. Caballero, R. Borkowski, I. De Miguel, R. J. Duran, J. C. Aguado, N. Fernández, T. Jimenez, I. Rodríguez, D. Sanchez, R. M. Lorenzo, D. Klonidis, E. Palkopoulou, Nikolaos Panteleimon Diamantopoulos, I. Tomkos, Domenico Siracusa, Antonio Francescon, Elio Salvadori, Y. Ye, J. López Vizcaíno, F. Pittalà, A. Tymecki, I. Tafur Monroy
Cognitive, Heterogeneous and Reconfigurable Optical Networks: The CHRON Project
In: Journal of Lightwave Technology (DOI)
Daniel Depaoli, Roberto Doriguzzi Corin, Matteo Gerola, Elio Salvadori
Demonstrating a distributed and version-agnostic OpenFlow slicing mechanism
In: Proceedings of 2014 3rd European Workshop on Software-defined Networks, Ewsdn 2014 (DOI)
N. Fernández, R. J. Duran, I. de Miguel, J. C. Aguado, N. Merayo, R. M. Lorenzo, Domenico Siracusa, A. Francescon, Elio Salvadori
Demonstration of proactive restoration in cognitive heterogeneous reconfigurable optical networks
In: Proceedings of 10th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, Qshine 2014 (DOI)
Damian Parniewicz, Roberto Doriguzzi Corin, Lukasz Ogrodowczyk, Mehdi Rashidi Fard, Jon Matias, Matteo Gerola, Victor Fuentes, Umar Toseef, Adel Zaalouk, Bartosz Belter, Eduardo Jacob, Kostas Pentikousis
Design and Implementation of an OpenFlow Hardware Abstraction Layer
In: Proceedings of Sigcomm Dcc (DOI)
Domenico Siracusa, Federico Pederzolli, Renato Lo Cigno, Elio Salvadori
Energy saving through traffic profiling and prediction in self-optimizing optical networks
In: Proceedings of Optical Fiber Communications Conference and Exhibition (OFC), 2014 (DOI)
N. Fernández, R. J. Duran, Domenico Siracusa, A. Francescon, I. de Miguel, I. Rodríguez, J. C. Aguado, Elio Salvadori, R. M. Lorenzo
Experimental assessment of a cognitive mechanism to reduce the impact of outdated TEDs in optical networks
In: Proceedings of 2014 13th International Conference on Optical Communications and Networks, Icocn 2014 (DOI)
Kachris Christoforos, Klonidis Dimitris, Antonio Francescon, Domenico Siracusa, Elio Salvadori, Fernandez Natalia, Jimenez Tamara, Ramón J. Durán, Ignacio de Miguel, Juan Carlos Aguado, Rubén M. Lorenzo, Borkowski Robert, Caballero Antonio, Idelfonso Tafur Monroy, Ye Yabin, Tymecki Andrzej, Tomkos Ioannis
Experimental demonstration of a cognitive optical network for reduction of restoration time
In: Proceedings of 2014 Optical Fiber Communications Conference and Exhibition, Ofc 2014 (DOI)
Domenico Siracusa, A. Francescon, N. Fernández, I. De Miguel, R. J. Duran, J. C. Aguado, Elio Salvadori
Experimental evaluation of virtual topology design and reconfiguration in optical networks by means of cognition
In: Proceedings of Optical Fiber Communications Conference and Exhibition (OFC), 2014
Ogrodowczyk Łukasz, Bartosz Belter, Artur Binczewski, Krzysztof Dombek, Artur Juszczyk, Iwo Olszewski, Damian Parniewicz, Roberto Doriguzzi Corin, Matteo Gerola, Elio Salvadori, Kostas Pentikousis, Umar Toseef, Woesner Hagen, Mehdi Rashidi Fard, Jon Matias, Victor Fuentes, Maider Huarte, Eduardo Jacob, Marek Michalski, Remigiusz Rajewski
Hardware Abstraction Layer for non-OpenFlow capable devices
In: Terena Networking Conference
Silvio Ranise, Tuan Anh Truong
Incremental Analysis of Evolving Administrative Role Based Access Control Policies
In: 28th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSec 2014) (DOI)
Michele Santuari, Roberto Doriguzzi Corin, Matteo Gerola, Elio Salvadori, Umar Toseef, Adel Zaalouk, Krzysztof Dombek, Damian Parniewicz, Ali Hammad, Mehdi Rashidi-Fard, Eduardo Jacob, Jon Matias
Leading the OFELIA facility beyond OpenFlow 1.0 experimentations
In: Proceedings of 2014 3rd European Workshop on Software-defined Networks, Ewsdn 2014 (DOI)
G. Rizzelli, Domenico Siracusa, G. Maier, G. Magarini, A. Mehmood, M. Melloni
Optical Backplane Based on Ring-Resonators: Scalability and Performance Analysis for 10 Gb/s OOK-NRZ
In: Photonics (DOI)
Domenico Siracusa, Federico Pederzolli, Elio Salvadori, Renato Lo Cigno, Idelfonso Tafur Monroy
Proactive restoration of slow-failures in optical networks
In: Proceedings of 16th International Conference on Transparent Optical Networks, Icton 2014 (DOI)
, Silvio Ghilardi, Silvio Ranise
Quantifier-free interpolation in combinations of equality interpolating theories
In: ACM Transactions on Computational Logic (TOCL), Volume 15, Issue 1, No. 5 (DOI)
Alessandro Armando, Roberto Carbone, Luca Compagna
SATMC: A SAT-Based Model Checker for Security-Critical Systems
In: 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014) (DOI)
Silvio Ranise, Tuan Anh Truong, Alessandro Armando
Scalable and Precise Automated Analysis of Administrative Temporal Role-Based Access Control
In: 18th ACM Symposium on Access Control Models and Technologies (SACMAT 2014) (DOI, news)
Alessandro Armando, Roberto Carbone, Eyasu Getahun Chekole, Claudio Petrazzuolo, Andrea Ranalli, Silvio Ranise
Selective Release of Smart Metering Data in Multi-domain Smart Grids
In: Second Open EIT ICT Labs Workshop on Smart Grid Security (SmartGridSec14) (DOI, news)
José Sánchez, Imen Grida Ben Yahia, Noël Crespi, Tinku Mohamed Rasheed, Domenico Siracusa
Softwarized 5G networks resiliency with self-healing
In: Proceedings of 2014 1st International Conference on 5g for Ubiquitous Connectivity, 5gu 2014 (DOI)
I. Tomkos, P. Zakynthinos, D. Klonidis, Dan M. Marom, S. Sygletos, Andrew D. Ellis, Elio Salvadori, Domenico Siracusa, M. Angelou, G. Papastergiou, N. Psaila, J. F. Ferran, S. Ben-Ezra, F. Jimenez, J. P. Fernández-Palacios
Spatial-spectral flexible optical networking: enabling switching solutions for a simplified and efficient SDM network platform
In: Proc. Spie 9009, Next-generation Optical Communication Components, Sub-systems, and Systems Iii (DOI)
A. Pagès, A. Buttaboni, G. Maier, Domenico Siracusa, J. Perello, S. Spadaro
Techniques and Benefits of Energy-Aware Load-Distribution in Multi-domain Translucent Wavelength Switched Optical Networks
In: Journal of Network and Systems Management (DOI)
Stanislav Dashevskyi, Daniel Ricardo dos Santos, Fabio Massacci, Antonino Sabetta
TESTREX: a Testbed for Repeatable Exploits
In: 7th Workshop on Cyber Security Experimentation and Test (CSET '14) (news)
Roberto Riggio, Francesco De Pellegrini, Domenico Siracusa
The price of virtualization: Performance isolation in multi-tenants networks
In: Proceedings of Ofieee/ifip Network Operations and Management Symposium Management in a Software Defined World, Noms 2014 (DOI)
Roberto Doriguzzi Corin, Giovanni Russello, Elio Salvadori
TinyKey, a pragmatic and energy efficient security layer for wireless sensor networks
In: Security for Multihop Wireless Networks

2013 ()

Clara Bertolissi, Silvio Ranise
A methodology to build run-time monitors for security-aware workflows
In: Proceedings of the 8th International Conference for Internet Technology and Secured Transactions (ICITST 2013) (DOI)
G. Maier, A. Pattavina, Domenico Siracusa, A. Valenti, F. Matera
Advantages of a Content Delivery Network Architecture Based on WDM and Carrier Ethernet Multicasting
In: Fotonica 2013
Alessandro Carioni, Silvio Ghilardi, Silvio Ranise
Automated Termination in Model-Checking Modulo Theories
In: International Journal of Foundations of Computer Science (DOI)
I. De Miguel, R. J. Duran, T. Jimenez, N. Fernández, J. C. Aguado, R. M. Lorenzo, A. Caballero, I. T. Monroy, Y. Ye, A. Tymecki, I. Tomkos, M. Angelou, D. Klonidis, A. Francescon, Domenico Siracusa, Elio Salvadori
Cognitive dynamic optical networks
In: Journal of Optical Communications and Networking (DOI)
Alessandro Armando, Matteo Grasso, Sander Oudkerk, Silvio Ranise, Konrad Wrona
Content-based information protection and release in NATO operations
In: 18th ACM Symposium on Access Control Models and Technologies (SACMAT 2013) (DOI)
Matteo Gerola, Roberto Doriguzzi Corin, R. Riggio, Francesco De Pellegrini, Elio Salvadori, H. Woesner, T. Rothe, M. Suñe, L. Bergesio
Demonstrating inter-testbed network virtualization in OFELIA SDN experimental facility
In: Proceedings of IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS) (DOI)
Elio Salvadori, V. S. Chava, Andrea Zanardi, Domenico Siracusa, G. Galimberti, A. Tanzi, G. Martinelli, O. Gerstel
Distributed optical control plane for dynamic lightpath establishment in translucent optical networks based on reachability graph
In: Optical Switching and Networking (DOI)
Domenico Siracusa, Elio Salvadori, Tinku Mohamed Rasheed
Edge-to-edge virtualization and orchestration in heterogeneous transport networks
In: Proceedings of 2013 IEEE Sdn for Future Networks and Services (SDN4FNS) (DOI)
Alessandro Armando, Sander Oudkerk, Silvio Ranise, Konrad Wrona
Formal Modelling of Content-Based Protection and Release for Access Control in NATO Operations
In: International Symposium on Foundations and Practice of Security (FPS 2013) (DOI, news)
Domenico Siracusa, Attilio Broglio, Andrea Zanardi, Elio Salvadori, Gabriele Galimberti, Domenico La Fauci
Hitless network re-optimization to reduce spectrum fragmentation in distributed GMPLS flexible optical networks
In: Proceedings of 39th European Conference and Exhibition on Optical Communication, Ecoc 2013 (DOI)
Ignacio Rodríguez, Ramón J. Durán, Domenico Siracusa, Ignacio de Miguel, Antonio Francescon, Juan Carlos Aguado, Elio Salvadori, Rubén M. Lorenzo
Minimization of the impact of the TED inaccuracy problem in PCE-based networks by means of cognition
In: Proceedings of 39th European Conference and Exhibition on Optical Communication, Ecoc 2013 (DOI)
R. Pastorelli, S. Piciaccia, G. Galimberti, E. Self, M. Brunella, G. Calabretta, F. Forghieri, Domenico Siracusa, Andrea Zanardi, Elio Salvadori, G. Bosco, A. Carena, V. Curri, P. Poggiolini
Optical control plane based on an analytical model of non-linear transmission effects in a self-optimized network
In: Proceedings of 39th European Conference and Exhibition on Optical Communication, Ecoc 2013 (DOI)
G. Rizzelli, Domenico Siracusa, G. Maier, M. Magarini, A. Melloni
Performance of Ring-Resonator based Optical Backplane in High Capacity Routers
In: Proceedings of 2013 15th International Conference on Transparent Optical Networks (ICTON) (DOI)
R. Riggio, Elio Salvadori, Matteo Gerola, Roberto Doriguzzi Corin, Francesco De Pellegrini
Progressive virtual topology embedding in OpenFlow networks
In: Proceedings of Ifip/ieee International Symposium on Integrated Network Management (IM 2013), 2013
Silvio Ranise
Symbolic backward reachability with effectively propositional logic
In: Formal Methods in System Design (DOI)
Domenico Siracusa, Attilio Broglio, Antonio Francescon, Andrea Zanardi, Elio Salvadori
Toward a control and management system enabling cognitive optical networks
In: Proceedings of 2013 18th European Conference on Network and Optical Communications, Noc 2013 (DOI)
Clara Bertolissi, Silvio Ranise
Verification of Composed Array-based Systems with Applications to Security-Aware Workflows
In: International Symposium on Frontiers of Combining Systems (FroCoS 2013) (DOI, news)

2012 ()

Domenico Siracusa, Elio Salvadori, A. Francescon, Andrea Zanardi, M. Angelou, D. Klonidis, I. Tomkos, D. Sanchez, R. J. Duran, De Miguel
A control plane framework for future cognitive heterogeneous optical networks
In: Proceedings of 14th International Conference on Transparent Optical Networks (ICTON), 2012 (DOI)
Roberto Bruttomesso, Alessandro Carioni, Silvio Ghilardi, Silvio Ranise
Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms
In: Proceedings of the 4th NASA Formal Methods Symposium (NFM 2012) (NFM 2012) (DOI)
Michele Barletta, Silvio Ranise, Luca Viganò
Automated Analysis of Scenario-based Specifications of Distributed Access Control Policies with Non-Mechanizable Activities
In: 8th International Workshop on Security and Trust Management (STM 2012) (DOI)
Alessandro Armando, Silvio Ranise
Automated and Efficient Analysis of Role-Based Access Control with Attributes
In: 26th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSec 2012) (DOI)
Silvio Ranise, Tuan Anh Truong, Alessandro Armando
Boosting Model Checking to Analyse Large ARBAC Policies
In: 8th International Workshop on Security and Trust Management (STM 2012) (DOI)
Alessandro Armando, Silvio Ranise, Fatih Turkmen, Bruno Crispo
Efficient run-time solving of RBAC user authorization queries: pushing the envelope
In: Proceedings of the Second ACM Conference on Data and Application Security and Privacy (CODASPY 2012) (DOI)
Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise
From Strong Amalgamability to Modularity of Quantifier-Free Interpolation
In: Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR 2012) (IJCAR 2012) (DOI)
Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina
Lazy Abstraction with Interpolants for Arrays
In: (DOI)
Ioannis Tomkos, Marianna Angelou, Ramón J. Durán Barroso, Ignacio de Miguel, Rubén M. Lorenzo Toledo, Domenico Siracusa, Elio Salvadori, Andrzej Tymecki, Ye Yabin, Idelfonso Tafur Monroy
Next generation flexible and cognitive heterogeneous optical networks: Supporting the evolution to the future internet
In: Fia 2012 the Future Internet (DOI)
Elio Salvadori, Andrea Zanardi, Domenico Siracusa, Gabriele Galimberti, Giovanni Martinelli, Ori Gerstel
NICER: A distributed dynamic shared-backup path-allocation procedure for transmission-impaired WDM optical networks
In: Proceedings of 2012 4th International Congress on Ultra Modern Telecommunications and Control Systems, Icumt 2012 (DOI)
Silvio Ranise, Alessandro Armando
On the Automated Analysis of Safety in Usage Control: A New Decidability Result
In: 6th International Conference on Network and System Security (NSS 2012) (DOI)
Francesco Musumeci, Domenico Siracusa, Giuseppe Rizzelli, Massimo Tornatore, Riccardo Fiandra, Achille Pattavina
On the energy consumption of IP-over-WDM architectures
In: Proceedings of 2012 IEEE International Conference on Communications, Icc 2012 (DOI)
Silvio Ranise
On the Verification of Security-Aware E-services
In: Journal of Symbolic Computation, Volume 47, Issue 9 (DOI)
Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise
Quantifier-Free Interpolation of a Theory of Arrays
In: Logical Methods in Computer Science (LMCS), Volume 8, Issue 2 (DOI)
Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina
SAFARI: SMT-Based Abstraction for Arrays with Interpolants
In: 24th International Conference on Computer Aided Verification (CAV 2012) (DOI)
Alessandro Armando, Silvio Ranise
Scalable automated symbolic analysis of administrative role-based access control policies by SMT solving
In: Journal of Computer Security (JCS), vol. 20, no. 4, pp. 309-352 (DOI)
Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi
Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories
In: Journal on Satisfiability, Boolean Modeling and Computation (JSAT) (DOI)
Roberto Doriguzzi Corin, Matteo Gerola, R. Riggio, Francesco De Pellegrini, Elio Salvadori
VeRTIGO: Network virtualization and beyond
In: Proceedings of European Workshop on Software Defined Networking (EWSDN), 2012 (DOI)

2011 ()

Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise
A Combination of Rewriting and Constraint Solving for the Quantifier-Free Interpolation of Arrays with Integer Difference Constraints
In: 8th International Symposium on Frontiers of Combining Systems (FroCoS 2011) (DOI)
Michele Barletta, Silvio Ranise, Luca Viganò
A declarative two-level framework to specify and verify workflow and authorization policies in service-oriented architectures
In: Service Oriented Computing and Applications (DOI)
Roberto Doriguzzi Corin, R. Riggio, D. Miorandi, Elio Salvadori
AiroLAB: A framework toward effective virtualisation of multi-hop wireless networks
In: International Journal of Communication Networks and Distributed Systems (DOI)
Roberto Doriguzzi Corin, Roberto Riggio, Daniele Miorandi, Elio Salvadori
AiroLAB: Leveraging on virtualization to introduce controlled experimentation in operational multi-hop wireless networks
In: Proceedings of 6th International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, Tridentcom 2010 (DOI)
Francesco Alberti, Alessandro Armando, Silvio Ranise
ASASP: Automated Symbolic Analysis of Security Policies
In: 23rd International Conference on Automated Deduction (CADE 2011) (DOI)
Alessandro Armando, Silvio Ranise
Automated Analysis of Infinite State Workflows with Access Control Policies
In: 7th International Workshop on Security and Trust Management (STM 2011) (DOI)
Alessandro Armando, Roberto Carbone, Silvio Ranise
Automated analysis of semantic-aware access control policies: a logic-based approach
In: 2011 IEEE Fifth International Conference on Semantic Computing (ICSC 2011) (DOI)
Alessandro Carioni, Silvio Ghilardi, Silvio Ranise
Automated Termination in Model Checking Modulo Theories
In: 5th International Workshop on Reachability Problems (RP 2011) (DOI)
Christopher Lynch, Silvio Ranise, Christophe Ringeissen, Duc-Khahn Tran
Automatic Decidability and Combinability
In: Information and Computation, Volume 209, Issue 7, July 2011, Pages 1026-1047 (DOI)
A. Cerezo, P. Chas, Silvio Cretti, Andrea Maestrini, F. \'Alvarez, Elio Salvadori, J. Magen, M. Boniface, Federico Michele Facca, F. Williams
Classification of Future Internet infrastructures for experimentation
In: Future Internet Symposium 2011
Elio Salvadori, Roberto Doriguzzi Corin, Matteo Gerola, A. Broglio, Francesco De Pellegrini
Demonstrating generalized virtual topologies in an openflow network
In: Proceedings of ACM Sigcomm 2011 Conference (DOI)
Francesco Alberti, Alessandro Armando, Silvio Ranise
Efficient Symbolic Automated Analysis of Administrative Attribute-based RBAC-Policies
In: 6th ACM Symposium on Information, Computer and Communications Security (ASIACCS '11) (DOI)
Elio Salvadori, Roberto Doriguzzi Corin, Roberto Riggio, Attilio Broglio, Fabrizio Granelli, Andy Bavier
Emulating multi-hop wireless networks over a planetary scale testbed
In: Proceedings of 6th International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities (DOI)
Elio Salvadori, Roberto Doriguzzi Corin, A. Broglio, Matteo Gerola
Generalizing virtual network topologies in OpenFlow-based networks
In: Proceedings of IEEE Global Telecommunications Conference (GLOBECOM 2011), 2011 (DOI)
Matteo Ceriotti, Michele Corrà, Leandro D’Orazio, Roberto Doriguzzi Corin, Daniele Facchin, Stefan Gună, Gian Paolo Jesi, Renato Lo Cigno, Luca Mottola, Amy L. Murphy, Massimo Pescalli, Gian Pietro Picco, Denis Pregnolato, Carloalberto Torghele
Is There Light at the Ends of the Tunnel? Wireless Sensor Networks for Adaptive Lighting in Road Tunnels
In: Proceedings of 10th Int. Conference on Information Processing in Sensor Networks
Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise
Rewriting-based Quantifier-free Interpolation for a Theory of Arrays
In: 22nd International Conference on Rewriting Techniques and Applications (RTA'11) (DOI)
Roberto Doriguzzi Corin, G. Russello, Elio Salvadori
TinyKey: A light-weight architecture for wireless sensor networks securing real-world applications
In: Proceedings of Eighth International Conference on Wireless On-demand Network Systems and Services (WONS), 2011 (DOI)
Michele Barletta, Alberto Calvi, Silvio Ranise, Luca Viganò, Luca Zanetti
Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services
In: Scalable Computing: Practice and Experience (SCPES) (DOI)

2010 ()

Alessandro Armando, Silvio Ranise
Automated Symbolic Analysis of ARBAC Policies
In: 6th International Workshop on Security and Trust Management (STM 2010) (DOI)
Alberto Calvi, Silvio Ranise, Luca Viganò
Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC
In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010) (DOI)
Silvio Ghilardi, Silvio Ranise
Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis
In: Logical Methods in Computer Science (LMCS) (DOI)
Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi
Brief Announcement: Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study
In: 24th International Symposium on Distributed Computing (DISC 2010) (DOI)
Silvio Ghilardi, Silvio Ranise
MCMT: A Model Checker Modulo Theories
In: Proceedings of the 4th International Joint Conference on Automated Reasoning (IJCAR 2010) (IJCAR 2010) (DOI)
Clark Barrett, Leonardo de Moura, Silvio Ranise, Aaron Stump, Cesare Tinelli
The SMT-LIB Initiative and the Rise of SMT
In: 6th International Haifa Verification Conference (HVC 2010) (DOI)
Michele Barletta, Alberto Calvi, Silvio Ranise, Luca Viganò, Luca Zanetti
WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications
In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010) (DOI)