Center for Cybersecurity

Publications

2024 ()

  • 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)
  • 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)
  • 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)
  • Stefano Berlato, Silvio Cretti, Domenico Siracusa, Silvio Ranise
    Multi-Objective Microservice Orchestration: Balancing Security and Performance in CCAM
    In: (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)
  • 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) (DOI, complementary material, news)
  • 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)
  • 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)
  • Cecilia Pasquini, Marco Pernpruner, Giada Sciarretta, Silvio Ranise
    Towards a Fine-Grained Threat Model for Video-Based Remote Identity Proofing
    In: ECML/PKDD 2023 Post-Workshops and Tutorials Proceedings (news)

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. Rodriguez, 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. Rodriguez, 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. Rodriguez, 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. D Miguel, R. J. Duran, 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: Proceedings of Optical Fiber Communication Conference, Ofc 2013 (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 ()

  • Clark Barrett, Leonardo de Moura, Silvio Ranise, Aaron Stump, Cesare Tinelli
    Automated Symbolic Analysis of ARBAC Policies
    In: 6th International Haifa Verification Conference (HVC 2010) (DOI)
  • 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)
  • 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)