SESADA: An Environment Supporting Software Specialization. - Alberto Coen-Porisini; Flavio De Paoli (ESEC, 1991)

Updating the Schema of an Object-Oriented Database (Extended Abstract). - Alberto Coen-Porisini; Luigi Lavazza; Roberto V. Zicari (IEEE Data Eng. Bull., 1991)

Software Specialization Via Symbolic Execution. - Alberto Coen-Porisini; Flavio De Paoli; Carlo Ghezzi; Dino Mandrioli (IEEE Trans. Software Eng., 1991)

The ESSE Project: An Overview. - Alberto Coen-Porisini; Luigi Lavazza; Roberto V. Zicari (Future Databases, 1992)

A Formal Framework for ASTRAL Intra-Level Proof Obligations. - Alberto Coen-Porisini; Dino Mandrioli (ESEC, 1993)

The Composability of ASTRAL Realtime Specifications. - Alberto Coen-Porisini; Richard A. Kemmerer (ISSTA, 1993)

Overview and Progress Report of the ESSE Project: Supporting Object-Oriented Database Schema Analysis and Evolution. - Fabiano Cattaneo; Alberto Coen-Porisini; Luigi Lavazza; Roberto V. Zicari (TOOLS (10), 1993)

Array Representation in Symbolic Execution. - Alberto Coen-Porisini; Flavio De Paoli (Comput. Lang., 1993)

A Formal Framework for ASTRAL Intralevel Proof Obligations. - Alberto Coen-Porisini; Richard A. Kemmerer; Dino Mandrioli (IEEE Trans. Software Eng., 1994)

A Formal Framework for ASTRAL Inter-level Proof Obligations. - Alberto Coen-Porisini; Richard A. Kemmerer; Dino Mandrioli (ESEC, 1995)

Specification of Realtime Systems Using ASTRAL. - Alberto Coen-Porisini; Carlo Ghezzi; Richard A. Kemmerer (IEEE Trans. Software Eng., 1997)

A Finite-Domain Semantics for Testing Temporal Logic Specifications. - Alberto Coen-Porisini; Matteo Pradella; Pierluigi San Pietro (FTRTFT, 1998)

From Formal Models to Formally Based Methods: An Industrial Experience. - Emanuele Ciapessoni; Piergiorgio Mirandola; Alberto Coen-Porisini; Dino Mandrioli; Angelo Morzenti (ACM Trans. Softw. Eng. Methodol., 1999)

A formal approach for designing CORBA based applications. - Matteo Pradella; Matteo Rossi 001; Dino Mandrioli; Alberto Coen-Porisini (ICSE, 2000)

Using TRIO for designing a CORBA-based application. - Alberto Coen-Porisini; Dino Mandrioli (Concurr. Pract. Exp., 2000)

A framework architecture for supervision and control systems. - Riccardo Capobianchi; Alberto Coen-Porisini; Dino Mandrioli; Angelo Morzenti (ACM Comput. Surv., 2000)

Using symbolic execution for verifying safety-critical systems. - Alberto Coen-Porisini; Giovanni Denaro; Carlo Ghezzi; Mauro Pezzè (ESEC / SIGSOFT FSE, 2001)

Designing and Enacting Simulations Using Distributed Components. - Alberto Coen-Porisini; Ignazio Gallo; Antonella Zanzi (ISCIS, 2004)

A Methodological Framework for SysML: a Problem Frames-based Approach. - Pietro Colombo; Vieri Del Bianco; Luigi Lavazza; Alberto Coen-Porisini (APSEC, 2007)

Introducing privacy in a hospital information system. - Stefano Braghin; Alberto Coen-Porisini; Pietro Colombo; Sabrina Sicari; Alberto Trombetta (SESS, 2008)

Towards a Meta-model for Problem Frames: Conceptual Issues and Tool Building Support. - Pietro Colombo; Luigi Lavazza; Alberto Coen-Porisini; Vieri Del Bianco (ICSEA, 2009)

A Meta-model Supporting the Decomposition of Problem Descriptions. - Luigi Lavazza; Alberto Coen-Porisini; Pietro Colombo; Vieri Del Bianco (ICSEA, 2010)

Dealing with anonymity in wireless sensor networks. - Alberto Coen-Porisini; Pietro Colombo; Sabrina Sicari (SAC, 2010)

SeDAP: Secure Data Aggregation Protocol in Privacy Aware Wireless Sensor Networks. - Alberto Coen-Porisini; Sabrina Sicari (S-CUBE, 2010)

Cross Layer Data Assessment in Wireless Sensor Networks. - Alberto Coen-Porisini; Sabrina Sicari (SENSORNETS, 2012)

Towards the Definition of a Framework for Service Development in the Agrofood Domain - A Conceptual Model. - Donato Barbagallo; Cinzia Cappiello; Alberto Coen-Porisini; Pietro Colombo; Marco Comerio; Flavio De Paoli; Chiara Francalanci; Sabrina Sicari (WEBIST, 2012)

Improving data quality using a cross layer protocol in wireless sensor networks. - Alberto Coen-Porisini; Sabrina Sicari (Comput. Networks, 2012)

DyDAP: A dynamic data aggregation scheme for privacy aware wireless sensor networks. - Sabrina Sicari; Luigi Alfredo Grieco; Gennaro Boggia; Alberto Coen-Porisini (J. Syst. Softw., 2012)

SETA: A secure sharing of tasks in clustered wireless sensor networks. - Sabrina Sicari; Luigi Alfredo Grieco; Alessandra Rizzardi; Gennaro Boggia; Alberto Coen-Porisini (WiMob, 2013)

DARE: evaluating Data Accuracy using node REputation. - Sabrina Sicari; Alberto Coen-Porisini; Roberto Riggio (Comput. Networks, 2013)

A NFP Model for Internet of Things applications. - Sabrina Sicari; Alessandra Rizzardi; Alberto Coen-Porisini; Cinzia Cappiello (WiMob, 2014)

Secure OM2M Service Platform. - Sabrina Sicari; Alessandra Rizzardi; Alberto Coen-Porisini; Luigi Alfredo Grieco; Thierry Monteil 001 (ICAC, 2015)

GoNe: Dealing with node behavior. - Sabrina Sicari; Alessandra Rizzardi; Luigi Alfredo Grieco; Alberto Coen-Porisini (ICCE-Berlin, 2015)

Networked Smart Objects: Moving Data Processing Closer to the Source. - Alessandra Rizzardi; Daniele Miorandi; Sabrina Sicari; Cinzia Cappiello; Alberto Coen-Porisini (IoT 360 (2), 2015)

Security, privacy and trust in Internet of Things: The road ahead. - Sabrina Sicari; Alessandra Rizzardi; Luigi Alfredo Grieco; Alberto Coen-Porisini (Comput. Networks, 2015)

Internet of Things: Security in the Keys. - Sabrina Sicari; Alessandra Rizzardi; Daniele Miorandi; Alberto Coen-Porisini (Q2SWinet@MSWiM, 2016)

Security policy enforcement for networked smart objects. - Sabrina Sicari; Alessandra Rizzardi; Daniele Miorandi; Cinzia Cappiello; Alberto Coen-Porisini (Comput. Networks, 2016)

AUPS: An Open Source AUthenticated Publish/Subscribe system for the Internet of Things. - Alessandra Rizzardi; Sabrina Sicari; Daniele Miorandi; Alberto Coen-Porisini (Inf. Syst., 2016)

A secure and quality-aware prototypical architecture for the Internet of Things. - Sabrina Sicari; Alessandra Rizzardi; Daniele Miorandi; Cinzia Cappiello; Alberto Coen-Porisini (Inf. Syst., 2016)

A security-and quality-aware system architecture for Internet of Things. - Sabrina Sicari; Cinzia Cappiello; Francesco De Pellegrini; Daniele Miorandi; Alberto Coen-Porisini (Inf. Syst. Frontiers, 2016)

A secure ICN-IoT architecture. - Sabrina Sicari; Alessandra Rizzardi; Luigi Alfredo Grieco; Alberto Coen-Porisini (ICC Workshops, 2017)

Dynamic Policies in Internet of Things: Enforcement and Synchronization. - Sabrina Sicari; Alessandra Rizzardi; Daniele Miorandi; Alberto Coen-Porisini (IEEE Internet Things J., 2017)

Security towards the edge: Sticky policy enforcement for networked smart objects. - Sabrina Sicari; Alessandra Rizzardi; Daniele Miorandi; Alberto Coen-Porisini (Inf. Syst., 2017)

Performance Comparison of Reputation Assessment Techniques Based on Self-Organizing Maps in Wireless Sensor Networks. - Sabrina Sicari; Alessandra Rizzardi; Luigi Alfredo Grieco; Alberto Coen-Porisini (Wirel. Commun. Mob. Comput., 2017)

REATO: REActing TO Denial of Service attacks in the Internet of Things. - Sabrina Sicari; Alessandra Rizzardi; Daniele Miorandi; Alberto Coen-Porisini (Comput. Networks, 2018)

A risk assessment methodology for the Internet of Things. - Sabrina Sicari; Alessandra Rizzardi; Daniele Miorandi; Alberto Coen-Porisini (Comput. Commun., 2018)

Securing the smart home: A real case study. - Sabrina Sicari; Alessandra Rizzardi; Daniele Miorandi; Alberto Coen-Porisini (Internet Technol. Lett., 2018)

S2 DCC: secure selective dropping congestion control in hybrid wireless multimedia sensor networks. - Michele Tortelli; Alessandra Rizzardi; Sabrina Sicari; Luigi Alfredo Grieco; Gennaro Boggia; Alberto Coen-Porisini (Wirel. Networks, 2018)

Beyond the smart things: Towards the definition and the performance assessment of a secure architecture for the Internet of Nano-Things. - Sabrina Sicari; Alessandra Rizzardi; Giuseppe Piro; Alberto Coen-Porisini; Luigi Alfredo Grieco (Comput. Networks, 2019)

Smart transport and logistics: A Node-RED implementation. - Sabrina Sicari; Alessandra Rizzardi; Alberto Coen-Porisini (Internet Technol. Lett., 2019)

How to evaluate an Internet of Things system: Models, case studies, and real developments. - Sabrina Sicari; Alessandra Rizzardi; Alberto Coen-Porisini (Softw. Pract. Exp., 2019)

Testing and Evaluating a Security-Aware Pub and Sub Protocol in a Fog-Driven IoT Environment. - Sabrina Sicari; Alessandra Rizzardi; Luigi Alfredo Grieco; Alberto Coen-Porisini (ADHOC-NOW, 2020)

Increasing the pervasiveness of the IoT: fog computing coupled with pub&sub and security. - Sabrina Sicari; Alessandra Rizzardi; Alberto Coen-Porisini (SmartIoT, 2020)

5G In the internet of things era: An overview on security and privacy challenges. - Sabrina Sicari; Alessandra Rizzardi; Alberto Coen-Porisini (Comput. Networks, 2020)

Smart certification: protecting the originality of the product in the eyewear sector. - Sabrina Sicari; Alessandra Rizzardi; Alberto Coen-Porisini (Internet Technol. Lett., 2020)

Sticky Policies: A Survey. - Daniele Miorandi; Alessandra Rizzardi; Sabrina Sicari; Alberto Coen-Porisini (IEEE Trans. Knowl. Data Eng., 2020)

Attribute-based encryption and sticky policies for data access control in a smart home scenario: a comparison on networked smart object middleware. - Sabrina Sicari; Alessandra Rizzardi; Gianluca Dini; Pericle Perazzo; Michele La Manna; Alberto Coen-Porisini (Int. J. Inf. Sec., 2021)

Security&privacy issues and challenges in NoSQL databases. - Sabrina Sicari; Alessandra Rizzardi; Alberto Coen-Porisini (Comput. Networks, 2022)

Insights into security and privacy towards fog computing evolution. - Sabrina Sicari; Alessandra Rizzardi; Alberto Coen-Porisini (Comput. Secur., 2022)

Securing the access control policies to the Internet of Things resources through permissioned blockchain. - Alessandra Rizzardi; Sabrina Sicari; Daniele Miorandi; Alberto Coen-Porisini (Concurr. Comput. Pract. Exp., 2022)

Analysis on functionalities and security features of Internet of Things related protocols. - Alessandra Rizzardi; Sabrina Sicari; Alberto Coen-Porisini (Wirel. Networks, 2022)

Deep Reinforcement Learning for intrusion detection in Internet of Things: Best practices, lessons learnt, and open challenges. - Jesús Fernando Cevallos Moreno; Alessandra Rizzardi; Sabrina Sicari; Alberto Coen-Porisini (Comput. Networks, 2023)

RaiIRED: a Node-RED-Based Framework for Modeling Train Control Management Systems. - Alessandra Rizzardi; Raffaele Della Corte; Jesús Fernando Cevallos Moreno; Vittorio Orbinato; Simona De Vivo; Sabrina Sicari; Domenico Cotroneo; Alberto Coen-Porisini (WiMob, 2024)

ASAP: Automatic Synthesis of Attack Prototypes, an online-learning, end-to-end approach. - Jesús Fernando Cevallos Moreno; Alessandra Rizzardi; Sabrina Sicari; Alberto Coen-Porisini (Comput. Networks, 2024)

NERO: NEural algorithmic reasoning for zeRO-day attack detection in the IoT: A hybrid approach. - Jesús Fernando Cevallos Moreno; Alessandra Rizzardi; Sabrina Sicari; Alberto Coen-Porisini (Comput. Secur., 2024)

IoT-driven blockchain to manage the healthcare supply chain and protect medical records. - Alessandra Rizzardi; Sabrina Sicari; Jesús Fernando Cevallos Moreno; Alberto Coen-Porisini (Future Gener. Comput. Syst., 2024)

Towards rapid modeling and prototyping of indoor and outdoor monitoring applications. - Alessandra Rizzardi; Sabrina Sicari; Alberto Coen-Porisini (Sustain. Comput. Informatics Syst., 2024)

Open-FARI: An Open-source testbed for Federated Anomaly detection in the Railway Industrial Internet of Things. - Alessandra Rizzardi; Raffaele Della Corte; Jesús Fernando Cevallos Moreno; Simona De Vivo; Vittorio Orbinato; Sabrina Sicari; Domenico Cotroneo; Alberto Coen-Porisini (IWCMC, 2025)

HERO: From High-dimensional network traffic to zERO-Day attack detection. - Jesús Fernando Cevallos Moreno; Alessandra Rizzardi; Sabrina Sicari; Alberto Coen-Porisini (Comput. Networks, 2025)

Attribute-based policies through microservices in a smart home scenario. - Alessandra Rizzardi; Sabrina Sicari; Alberto Coen-Porisini (Comput. Commun., 2025)

Open-Ethical AI: Advancements in Open-Source Human-Centric Neural Language Models. - Sabrina Sicari; Jesús Fernando Cevallos Moreno; Alessandra Rizzardi; Alberto Coen-Porisini (ACM Comput. Surv., 2025)