Follow
Alberto Coen-Porisini
Alberto Coen-Porisini
Professor of software engineering, University of Insubria, Italy
Verified email at uninsubria.it
Title
Cited by
Cited by
Year
Security, privacy and trust in Internet of Things: The road ahead
S Sicari, A Rizzardi, LA Grieco, A Coen-Porisini
Computer networks 76, 146-164, 2015
24082015
A security-and quality-aware system architecture for Internet of Things
S Sicari, C Cappiello, F De Pellegrini, D Miorandi, A Coen-Porisini
Information Systems Frontiers 18, 665-677, 2016
1452016
A secure and quality-aware prototypical architecture for the Internet of Things
S Sicari, A Rizzardi, D Miorandi, C Cappiello, A Coen-Porisini
Information Systems 58, 43-55, 2016
1442016
Using symbolic execution for verifying safety-critical systems
A Coen-Porisini, G Denaro, C Ghezzi, M Pezzé
Proceedings of the 8th European software engineering conference held jointly …, 2001
1372001
5G In the internet of things era: An overview on security and privacy challenges
S Sicari, A Rizzardi, A Coen-Porisini
Computer Networks 179, 107345, 2020
1252020
From formal models to formally based methods: An industrial experience
E Ciapessoni, P Mirandola, A Coen-Porisini, D Mandrioli, A Morzenti
ACM Transactions on Software Engineering and Methodology (TOSEM) 8 (1), 79-113, 1999
1001999
AUPS: An open source AUthenticated Publish/Subscribe system for the Internet of Things
A Rizzardi, S Sicari, D Miorandi, A Coen-Porisini
Information Systems 62, 29-41, 2016
982016
A formal approach for designing CORBA-based applications
A Coen-Porisini, M Pradella, M Rossi, D Mandrioli
ACM Transactions on Software Engineering and Methodology (TOSEM) 12 (2), 107-151, 2003
902003
REATO: REActing TO Denial of Service attacks in the Internet of Things
S Sicari, A Rizzardi, D Miorandi, A Coen-Porisini
Computer Networks 137, 37-48, 2018
862018
Specification of realtime systems using ASTRAL
A Coen-Porisini, C Ghezzi, RA Kemmerer
IEEE Transactions on Software Engineering 23 (9), 572-598, 1997
851997
DyDAP: A dynamic data aggregation scheme for privacy aware wireless sensor networks
S Sicari, LA Grieco, G Boggia, A Coen-Porisini
Journal of Systems and Software 85 (1), 152-166, 2012
752012
Software specialization via symbolic execution
A Coen-Porisini, F De Paoli, C Ghezzi, D Mandrioli
IEEE Transactions on Software Engineering 17 (9), 884, 1991
681991
Security policy enforcement for networked smart objects
S Sicari, A Rizzardi, D Miorandi, C Cappiello, A Coen-Porisini
Computer Networks 108, 133-147, 2016
622016
A policy enforcement framework for Internet of Things applications in the smart health
S Sicari, A Rizzardi, LA Grieco, G Piro, A Coen-Porisini
Smart Health 3, 39-74, 2017
602017
Toward data governance in the internet of things
S Sicari, A Rizzardi, C Cappiello, D Miorandi, A Coen-Porisini
New advances in the internet of things, 59-74, 2018
522018
A formal framework for ASTRAL intralevel proof obligations
A Coen-Porisini, RA Kemmerer, D Mandrioli
IEEE Transactions on Software Engineering 20 (8), 548-561, 1994
521994
Smart transport and logistics: A Node‐RED implementation
S Sicari, A Rizzardi, A Coen‐Porisini
Internet Technology Letters 2 (2), e88, 2019
452019
A risk assessment methodology for the Internet of Things
S Sicari, A Rizzardi, D Miorandi, A Coen-Porisini
Computer Communications 129, 67-79, 2018
412018
Security towards the edge: Sticky policy enforcement for networked smart objects
S Sicari, A Rizzardi, D Miorandi, A Coen-Porisini
Information Systems 71, 78-89, 2017
342017
Internet of Things: Security in the keys
S Sicari, A Rizzardi, D Miorandi, A Coen-Porisini
Proceedings of the 12th ACM symposium on qos and security for wireless and …, 2016
302016
The system can't perform the operation now. Try again later.
Articles 1–20