default search action
Alberto Coen-Porisini
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j40]Jesús Fernando Cevallos Moreno
, Alessandra Rizzardi
ASAP: Automatic Synthesis of Attack Prototypes, an online-learning, end-to-end approach. Comput. Networks 254: 110828 (2024) - [j39]Jesús Fernando Cevallos Moreno
NERO: NEural algorithmic reasoning for zeRO-day attack detection in the IoT: A hybrid approach. Comput. Secur. 142: 103898 (2024) - [j38]Alessandra Rizzardi
IoT-driven blockchain to manage the healthcare supply chain and protect medical records. Future Gener. Comput. Syst. 161: 415-431 (2024) - [j37]Alessandra Rizzardi, Sabrina Sicari
Towards rapid modeling and prototyping of indoor and outdoor monitoring applications. Sustain. Comput. Informatics Syst. 41: 100951 (2024) - 2023
- [j36]Jesús Fernando Cevallos Moreno
Deep Reinforcement Learning for intrusion detection in Internet of Things: Best practices, lessons learnt, and open challenges. Comput. Networks 236: 110016 (2023) - 2022
- [j35]Sabrina Sicari
Security&privacy issues and challenges in NoSQL databases. Comput. Networks 206: 108828 (2022) - [j34]Sabrina Sicari, Alessandra Rizzardi, Alberto Coen-Porisini:
Insights into security and privacy towards fog computing evolution. Comput. Secur. 120: 102822 (2022) - [j33]Alessandra Rizzardi, Sabrina Sicari
Securing the access control policies to the Internet of Things resources through permissioned blockchain. Concurr. Comput. Pract. Exp. 34(15) (2022) - [j32]Alessandra Rizzardi, Sabrina Sicari
Analysis on functionalities and security features of Internet of Things related protocols. Wirel. Networks 28(7): 2857-2887 (2022) - 2021
- [j31]Sabrina Sicari
Attribute-based encryption and sticky policies for data access control in a smart home scenario: a comparison on networked smart object middleware. Int. J. Inf. Sec. 20(5): 695-713 (2021) - 2020
- [j30]Sabrina Sicari, Alessandra Rizzardi, Alberto Coen-Porisini:
5G In the internet of things era: An overview on security and privacy challenges. Comput. Networks 179: 107345 (2020) - [j29]Sabrina Sicari
Smart certification: protecting the originality of the product in the eyewear sector. Internet Technol. Lett. 3(3) (2020) - [j28]Daniele Miorandi
Sticky Policies: A Survey. IEEE Trans. Knowl. Data Eng. 32(12): 2481-2499 (2020) - [c27]Sabrina Sicari, Alessandra Rizzardi, Luigi Alfredo Grieco, Alberto Coen-Porisini:
Testing and Evaluating a Security-Aware Pub and Sub Protocol in a Fog-Driven IoT Environment. ADHOC-NOW 2020: 183-197 - [c26]Sabrina Sicari, Alessandra Rizzardi, Alberto Coen-Porisini:
Increasing the pervasiveness of the IoT: fog computing coupled with pub&sub and security. SmartIoT 2020: 64-71
2010 – 2019
- 2019
- [j27]Sabrina Sicari
Beyond the smart things: Towards the definition and the performance assessment of a secure architecture for the Internet of Nano-Things. Comput. Networks 162 (2019) - [j26]Sabrina Sicari
Smart transport and logistics: A Node-RED implementation. Internet Technol. Lett. 2(2) (2019) - [j25]Sabrina Sicari
How to evaluate an Internet of Things system: Models, case studies, and real developments. Softw. Pract. Exp. 49(11): 1663-1685 (2019) - 2018
- [j24]Sabrina Sicari, Alessandra Rizzardi, Daniele Miorandi, Alberto Coen-Porisini:
REATO: REActing TO Denial of Service attacks in the Internet of Things. Comput. Networks 137: 37-48 (2018) - [j23]Sabrina Sicari
A risk assessment methodology for the Internet of Things. Comput. Commun. 129: 67-79 (2018) - [j22]Sabrina Sicari
Securing the smart home: A real case study. Internet Technol. Lett. 1(3) (2018) - [j21]Michele Tortelli, Alessandra Rizzardi, Sabrina Sicari, Luigi Alfredo Grieco, Gennaro Boggia
S2 DCC: secure selective dropping congestion control in hybrid wireless multimedia sensor networks. Wirel. Networks 24(1): 309-328 (2018) - 2017
- [j20]Sabrina Sicari, Alessandra Rizzardi
Dynamic Policies in Internet of Things: Enforcement and Synchronization. IEEE Internet Things J. 4(6): 2228-2238 (2017) - [j19]Sabrina Sicari, Alessandra Rizzardi, Daniele Miorandi, Alberto Coen-Porisini:
Security towards the edge: Sticky policy enforcement for networked smart objects. Inf. Syst. 71: 78-89 (2017) - [j18]Sabrina Sicari, Alessandra Rizzardi
Performance Comparison of Reputation Assessment Techniques Based on Self-Organizing Maps in Wireless Sensor Networks. Wirel. Commun. Mob. Comput. 2017 (2017) - [c25]Sabrina Sicari, Alessandra Rizzardi, Luigi Alfredo Grieco, Alberto Coen-Porisini:
A secure ICN-IoT architecture. ICC Workshops 2017: 259-264 - 2016
- [j17]Sabrina Sicari, Alessandra Rizzardi, Daniele Miorandi, Cinzia Cappiello
Security policy enforcement for networked smart objects. Comput. Networks 108: 133-147 (2016) - [j16]Sabrina Sicari, Alessandra Rizzardi, Daniele Miorandi, Cinzia Cappiello
A secure and quality-aware prototypical architecture for the Internet of Things. Inf. Syst. 58: 43-55 (2016) - [j15]Alessandra Rizzardi, Sabrina Sicari, Daniele Miorandi, Alberto Coen-Porisini
AUPS: An Open Source AUthenticated Publish/Subscribe system for the Internet of Things. Inf. Syst. 62: 29-41 (2016) - [j14]Sabrina Sicari, Cinzia Cappiello
A security-and quality-aware system architecture for Internet of Things. Inf. Syst. Frontiers 18(4): 665-677 (2016) - [c24]Sabrina Sicari, Alessandra Rizzardi, Daniele Miorandi, Alberto Coen-Porisini:
Internet of Things: Security in the Keys. Q2SWinet@MSWiM 2016: 129-133 - 2015
- [j13]Sabrina Sicari, Alessandra Rizzardi, Luigi Alfredo Grieco, Alberto Coen-Porisini
Security, privacy and trust in Internet of Things: The road ahead. Comput. Networks 76: 146-164 (2015) - [c23]Sabrina Sicari, Alessandra Rizzardi, Alberto Coen-Porisini
Secure OM2M Service Platform. ICAC 2015: 313-318 - [c22]Sabrina Sicari, Alessandra Rizzardi, Luigi Alfredo Grieco, Alberto Coen-Porisini
GoNe: Dealing with node behavior. ICCE-Berlin 2015: 358-362 - [c21]Alessandra Rizzardi, Daniele Miorandi, Sabrina Sicari, Cinzia Cappiello
Networked Smart Objects: Moving Data Processing Closer to the Source. IoT 360 (2) 2015: 28-35 - 2014
- [c20]Sabrina Sicari, Alessandra Rizzardi, Alberto Coen-Porisini
A NFP Model for Internet of Things applications. WiMob 2014: 265-272 - 2013
- [j12]Sabrina Sicari, Alberto Coen-Porisini
DARE: evaluating Data Accuracy using node REputation. Comput. Networks 57(15): 3098-3111 (2013) - [c19]Sabrina Sicari, Luigi Alfredo Grieco, Alessandra Rizzardi, Gennaro Boggia, Alberto Coen-Porisini
SETA: A secure sharing of tasks in clustered wireless sensor networks. WiMob 2013: 239-246 - 2012
- [j11]Alberto Coen-Porisini
Improving data quality using a cross layer protocol in wireless sensor networks. Comput. Networks 56(17): 3655-3665 (2012) - [j10]Sabrina Sicari, Luigi Alfredo Grieco, Gennaro Boggia, Alberto Coen-Porisini
DyDAP: A dynamic data aggregation scheme for privacy aware wireless sensor networks. J. Syst. Softw. 85(1): 152-166 (2012) - [c18]Alberto Coen-Porisini, Sabrina Sicari:
Cross Layer Data Assessment in Wireless Sensor Networks. SENSORNETS 2012: 203-208 - [c17]Donato Barbagallo, Cinzia Cappiello, Alberto Coen-Porisini, Pietro Colombo, Marco Comerio, Flavio De Paoli, Chiara Francalanci, Sabrina Sicari:
Towards the Definition of a Framework for Service Development in the Agrofood Domain - A Conceptual Model. WEBIST 2012: 264-267 - 2010
- [c16]Luigi Lavazza
A Meta-model Supporting the Decomposition of Problem Descriptions. ICSEA 2010: 50-57 - [c15]Alberto Coen-Porisini
Dealing with anonymity in wireless sensor networks. SAC 2010: 2216-2223 - [c14]Alberto Coen-Porisini
SeDAP: Secure Data Aggregation Protocol in Privacy Aware Wireless Sensor Networks. S-CUBE 2010: 135-150
2000 – 2009
- 2009
- [c13]Pietro Colombo
Towards a Meta-model for Problem Frames: Conceptual Issues and Tool Building Support. ICSEA 2009: 339-345 - 2008
- [c12]Stefano Braghin
Introducing privacy in a hospital information system. SESS 2008: 9-16 - 2007
- [c11]Pietro Colombo
A Methodological Framework for SysML: a Problem Frames-based Approach. APSEC 2007: 25-32 - 2004
- [c10]Alberto Coen-Porisini
Designing and Enacting Simulations Using Distributed Components. ISCIS 2004: 706-717 - 2003
- [j9]Alberto Coen-Porisini
A formal approach for designing CORBA-based applications. ACM Trans. Softw. Eng. Methodol. 12(2): 107-151 (2003) - [e1]Alberto Coen-Porisini
Software Engineering and Middleware, Third International Workshop, SEM 2002. Orlando, FL, USA, May 20-21, 2002, Revised Papers. Lecture Notes in Computer Science 2596, Springer 2003, ISBN 3-540-07549-6 [contents] - 2001
- [c9]Alberto Coen-Porisini
Using symbolic execution for verifying safety-critical systems. ESEC / SIGSOFT FSE 2001: 142-151 - 2000
- [j8]Alberto Coen-Porisini, Dino Mandrioli:
Using TRIO for designing a CORBA-based application. Concurr. Pract. Exp. 12(10): 981-1015 (2000) - [j7]Riccardo Capobianchi, Alberto Coen-Porisini
A framework architecture for supervision and control systems. ACM Comput. Surv. 32(1es): 26 (2000) - [c8]Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini
A formal approach for designing CORBA based applications. ICSE 2000: 188-197
1990 – 1999
- 1999
- [j6]Emanuele Ciapessoni
From Formal Models to Formally Based Methods: An Industrial Experience. ACM Trans. Softw. Eng. Methodol. 8(1): 79-113 (1999) - 1998
- [c7]Alberto Coen-Porisini
A Finite-Domain Semantics for Testing Temporal Logic Specifications. FTRTFT 1998: 41-54 - 1997
- [j5]Alberto Coen-Porisini
Specification of Realtime Systems Using ASTRAL. IEEE Trans. Software Eng. 23(9): 572-598 (1997) - 1995
- [c6]Alberto Coen-Porisini
A Formal Framework for ASTRAL Inter-level Proof Obligations. ESEC 1995: 90-108 - 1994
- [j4]Alberto Coen-Porisini
A Formal Framework for ASTRAL Intralevel Proof Obligations. IEEE Trans. Software Eng. 20(8): 548-561 (1994) - 1993
- [j3]Alberto Coen-Porisini
Array Representation in Symbolic Execution. Comput. Lang. 18(3): 197-216 (1993) - [c5]Alberto Coen-Porisini
A Formal Framework for ASTRAL Intra-Level Proof Obligations. ESEC 1993: 483-500 - [c4]Alberto Coen-Porisini
The Composability of ASTRAL Realtime Specifications. ISSTA 1993: 128-138 - [c3]Fabiano Cattaneo, Alberto Coen-Porisini, Luigi Lavazza, Roberto V. Zicari:
Overview and Progress Report of the ESSE Project: Supporting Object-Oriented Database Schema Analysis and Evolution. TOOLS (10) 1993: 63-74 - 1992
- [c2]Alberto Coen-Porisini, Luigi Lavazza, Roberto V. Zicari:
The ESSE Project: An Overview. Future Databases 1992: 28-37 - 1991
- [j2]Alberto Coen-Porisini, Luigi Lavazza, Roberto V. Zicari:
Updating the Schema of an Object-Oriented Database (Extended Abstract). IEEE Data Eng. Bull. 14(2): 33-37 (1991) - [j1]Alberto Coen-Porisini
Software Specialization Via Symbolic Execution. IEEE Trans. Software Eng. 17(9): 884-899 (1991) - [c1]Alberto Coen-Porisini
SESADA: An Environment Supporting Software Specialization. ESEC 1991: 266-289
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 20:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: