Archivio Istituzionale della RicercaVALENZANO, ADRIANO
Linear Combination of Exponential Moving Averages for Wireless Channel Prediction
2023 Formis, Gabriele; Scanzio, Stefano; Cena, Gianluca; Valenzano, Adriano
Predicting Wireless Channel Quality by means of Moving Averages and Regression Models
2023 Formis, G; Scanzio, S; Cena, G; Valenzano, A
Toward attribute-based access control policy in industrial networked systems
2018 Cheminod, Manuel; Durante, Luca; Valenza, Fulvio; Valenzano, Adriano
A Model for the Analysis of Security Policies in Service Function Chains
2017 Durante, Luca; Lucia, Seno; Valenza, Fulvio; Valenzano, Adriano
Automated Fixing of Access Policy Implementation in Industrial Networked Systems
2017 Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano
Leveraging SDN To Improve Security in Industrial Networks
2017 Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano; Zunino, Claudio
Design, verification, and performance of a MODBUS-CAN adaptation layer
2014 Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano
Effect of jitter-reducing encoders on CAN error detection mechanisms
2014 Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano
System-Level Performance of an Automation Solution Based on Industry Standards
2014 A., Ballarino; A., Brusaferri; M., Cereia; I. C., Bertolotti; Durante, Luca; Hu, Tingting; E., Leo; L., Nicolosi; L., Seno; S., Spinelli; F., Tramarin; Valenzano, Adriano; S., Vitturi
A Model for the Analysis of Security Policies in Industrial Networks
2013 CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Hu, Tingting; Valenzano, Adriano
Software-Based Assessment of the Synchronization and Error Handling Behavior of a Real CAN Controller
2013 Cena, Gianluca; Bertolotti, I.; Hu, Tingting; Valenzano, Adriano
A Unified Class Model for Checking Security Policies in ICT Infrastructures
2012 CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Hu, Tingting; Valenzano, Adriano
Performance comparison of mechanisms to reduce bit stuffing jitters in controller area networks
2012 Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano
Performance evaluation and improvement of the CPU–CAN controller interface for low-jitter communication
2012 Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems
2007 Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols
2007 Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols
2006 Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
Automatic Detection of Attacks on Cryptographic Protocols: a Case Study
2005 CIBRARIO BERTOLOTTI, I.; Durante, L.; Sisto, Riccardo; Valenzano, A.
Exploiting Symmetries for Testing Equivalence in the Spi Calculus
2004 CIBRARIO BERTOLOTTI, I.; Durante, L.; Sisto, Riccardo; Valenzano, A.
A new knowledge representation strategy for cryptographic protocol analysis
2003 CIBRARIO BERTOLOTTI, I; Durante, L; Sisto, Riccardo; Valenzano, A.
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Linear Combination of Exponential Moving Averages for Wireless Channel Prediction / Formis, Gabriele; Scanzio, Stefano; Cena, Gianluca; Valenzano, Adriano. - (2023), pp. 1-6. (Intervento presentato al convegno 2023 IEEE 21st International Conference on Industrial Informatics (INDIN) tenutosi a Lemgo (DEU) nel 18-20 July 2023) [10.1109/INDIN51400.2023.10218083]. | 1-gen-2023 | Formis, GabrieleScanzio, StefanoCena, GianlucaValenzano, Adriano | Linear_Combination_of_Exponential_Moving_Averages_for_Wireless_Channel_Prediction.pdf |
| Predicting Wireless Channel Quality by means of Moving Averages and Regression Models / Formis, G; Scanzio, S; Cena, G; Valenzano, A. - (2023), pp. 1-8. (Intervento presentato al convegno 2023 IEEE 19th International Conference on Factory Communication Systems (WFCS) tenutosi a Pavia nel 26-28 April 2023) [10.1109/WFCS57264.2023.10144122]. | 1-gen-2023 | Formis, GScanzio, SCena, GValenzano, A | Predicting_Wireless_Channel_Quality_by_Means_of_Moving_Averages_and_Regression_Models.pdf |
| Toward attribute-based access control policy in industrial networked systems / Cheminod, Manuel; Durante, Luca; Valenza, Fulvio; Valenzano, Adriano. - ELETTRONICO. - 2018-:(2018), pp. 1-9. (Intervento presentato al convegno 14th IEEE International Workshop on Factory Communication Systems, WFCS 2018 tenutosi a ita nel 2018) [10.1109/WFCS.2018.8402339]. | 1-gen-2018 | Cheminod, ManuelDurante, LucaValenza, FulvioValenzano, Adriano | 2018WFCS.pdf; 2018WFCS_author.pdf |
| A Model for the Analysis of Security Policies in Service Function Chains / Durante, Luca; Lucia, Seno; Valenza, Fulvio; Valenzano, Adriano. - ELETTRONICO. - (2017). (Intervento presentato al convegno Second IEEE International Workshop on Security in NFV-SDN (SNS2017) tenutosi a BOLOGNA (IT)) [10.1109/NETSOFT.2017.8004230]. | 1-gen-2017 | DURANTE, LUCAVALENZA, FULVIOVALENZANO, ADRIANO + | 08004230.pdf; 2017SNS_author.pdf |
| Automated Fixing of Access Policy Implementation in Industrial Networked Systems / Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano. - ELETTRONICO. - (2017). (Intervento presentato al convegno 13th IEEE International Workshop on Factory Communication Systems tenutosi a Trondheim (NO) nel May 31 - June 2) [10.1109/WFCS.2017.7991947]. | 1-gen-2017 | CHEMINOD, MANUELDURANTE, LUCAVALENZA, FULVIOVALENZANO, ADRIANO + | 2017WFCS_ACP.pdf; 2017WFCS_ACP_author.pdf |
| Leveraging SDN To Improve Security in Industrial Networks / Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano; Zunino, Claudio. - ELETTRONICO. - (2017). (Intervento presentato al convegno 13th IEEE International Workshop on Factory Communication Systems tenutosi a Trondheim (NO) nel May 31 - June 2) [10.1109/WFCS.2017.7991960]. | 1-gen-2017 | CHEMINOD, MANUELDURANTE, LUCAVALENZA, FULVIOVALENZANO, ADRIANOZUNINO, CLAUDIO + | 07991960.pdf; 2017WFCS_SDN_author.pdf |
| Design, verification, and performance of a MODBUS-CAN adaptation layer / Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano. - (2014), pp. 1-10. (Intervento presentato al convegno 10th IEEE International Workshop on Factory Communication Systems (WFCS) nel May, 2014) [10.1109/WFCS.2014.6837605]. | 1-gen-2014 | CENA, GianlucaCIBRARIO BERTOLOTTI, IVANHU, TINGTINGVALENZANO, ADRIANO | - |
| Effect of jitter-reducing encoders on CAN error detection mechanisms / Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano. - (2014), pp. 1-10. (Intervento presentato al convegno 10th IEEE International Workshop on Factory Communication Systems (WFCS) nel May, 2014) [10.1109/WFCS.2014.6837604]. | 1-gen-2014 | CENA, GianlucaCIBRARIO BERTOLOTTI, IVANHU, TINGTINGVALENZANO, ADRIANO | - |
| System-Level Performance of an Automation Solution Based on Industry Standards / A., Ballarino; A., Brusaferri; M., Cereia; I. C., Bertolotti; Durante, Luca; Hu, Tingting; E., Leo; L., Nicolosi; L., Seno; S., Spinelli; F., Tramarin; Valenzano, Adriano; S., Vitturi. - (2014), pp. 1-6. (Intervento presentato al convegno 19th IEEE Conference on Emerging Technologies and Factory Automation (ETFA) nel 2014). | 1-gen-2014 | DURANTE, LUCAHU, TINGTINGVALENZANO, ADRIANO + | 2572570-mod.pdf |
| A Model for the Analysis of Security Policies in Industrial Networks / CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Hu, Tingting; Valenzano, Adriano. - STAMPA. - (2013), pp. 66-77. (Intervento presentato al convegno 1st International Symposium for ICS and SCADA Cyber Security Research nel 2013). | 1-gen-2013 | CIBRARIO BERTOLOTTI, IVANDURANTE, LUCAHU, TINGTINGVALENZANO, ADRIANO | - |
| Software-Based Assessment of the Synchronization and Error Handling Behavior of a Real CAN Controller / Cena, Gianluca; Bertolotti, I.; Hu, Tingting; Valenzano, Adriano. - (2013), pp. 1-9. (Intervento presentato al convegno 18th IEEE Conference on Emerging Technologies and Factory Automation (ETFA) nel 2013) [10.1109/ETFA.2013.6648025]. | 1-gen-2013 | CENA, GianlucaHU, TINGTINGVALENZANO, ADRIANO + | - |
| A Unified Class Model for Checking Security Policies in ICT Infrastructures / CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Hu, Tingting; Valenzano, Adriano. - STAMPA. - (2012), pp. 1-6. (Intervento presentato al convegno International IEEE–AESS Conference in Europe about Space and Satellite Telecommunications) [10.1109/ESTEL.2012.6400068]. | 1-gen-2012 | CIBRARIO BERTOLOTTI, IVANDURANTE, LUCAHU, TINGTINGVALENZANO, ADRIANO | - |
| Performance comparison of mechanisms to reduce bit stuffing jitters in controller area networks / Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano. - STAMPA. - (2012), pp. 1-8. (Intervento presentato al convegno IEEE Conference on Emerging Technologies and Factory Automation (ETFA)). | 1-gen-2012 | CENA, GianlucaCIBRARIO BERTOLOTTI, IVANHU, TINGTINGVALENZANO, ADRIANO | - |
| Performance evaluation and improvement of the CPU–CAN controller interface for low-jitter communication / Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano. - STAMPA. - (2012), pp. 1-8. (Intervento presentato al convegno IEEE Conference on Emerging Technologies and Factory Automation (ETFA)). | 1-gen-2012 | CENA, GianlucaCIBRARIO BERTOLOTTI, IVANHU, TINGTINGVALENZANO, ADRIANO | - |
| Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems / Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (2007), pp. 11-18. (Intervento presentato al convegno Dependability of Computer Systems, 2007. DepCoS-RELCOMEX '07. 2nd International Conference on tenutosi a Szklarska Poreba (Poland) nel 14-16 June 2007) [10.1109/DEPCOS-RELCOMEX.2007.22]. | 1-gen-2007 | CHEMINOD, MANUELCIBRARIO BERTOLOTTI, IVANDURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO | Evaluating_the_Combined_Effect_of_Vulnerabilities_and_Faults_on_Large_Distributed_Systems.pdf |
| Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols / Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (2007), pp. 153-160. (Intervento presentato al convegno Dependability of Computer Systems, 2007. DepCoS-RELCOMEX '07. 2nd International Conference on tenutosi a Szklarska (Poland) nel 14-16 June 2007) [10.1109/DEPCOS-RELCOMEX.2007.24]. | 1-gen-2007 | CHEMINOD, MANUELCIBRARIO BERTOLOTTI, IVANDURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO | Experimental_Comparison_of_Automatic_Tools_for_the_Formal_Analysis_of_Cryptographic_Protocols.pdf |
| On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols / Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (2006), pp. 273-282. (Intervento presentato al convegno Factory Communication Systems, 2006 IEEE International Workshop on tenutosi a Torino nel 28-30 June, 2006) [10.1109/WFCS.2006.1704167]. | 1-gen-2006 | CHEMINOD, MANUELCIBRARIO BERTOLOTTI, IVANDURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO | On_the_use_of_automatic_tools_for_the_formal_analysis_of_IEEE_802.11_key-exchange_protocols.pdf |
| Automatic Detection of Attacks on Cryptographic Protocols: a Case Study / CIBRARIO BERTOLOTTI, I.; Durante, L.; Sisto, Riccardo; Valenzano, A.. - STAMPA. - 3548:(2005), pp. 69-84. (Intervento presentato al convegno Second International Conference, DIMVA 2005 tenutosi a Vienna (AT) nel July 7-8, 2005) [10.1007/11506881_5]. | 1-gen-2005 | CIBRARIO BERTOLOTTI I.DURANTE L.SISTO, RiccardoVALENZANO A. | document.pdf |
| Exploiting Symmetries for Testing Equivalence in the Spi Calculus / CIBRARIO BERTOLOTTI, I.; Durante, L.; Sisto, Riccardo; Valenzano, A.. - STAMPA. - 3299:(2004), pp. 135-149. (Intervento presentato al convegno Second International Conference, ATVA 2004, Taipei, Taiwan, ROC tenutosi a Taipei (TW) nel October 31-November 3, 2004) [10.1007/978-3-540-30476-0_15]. | 1-gen-2004 | CIBRARIO BERTOLOTTI I.DURANTE L.SISTO, RiccardoVALENZANO A. | 978-3-540-30476-0_15.pdf |
| A new knowledge representation strategy for cryptographic protocol analysis / CIBRARIO BERTOLOTTI, I; Durante, L; Sisto, Riccardo; Valenzano, A.. - STAMPA. - 2619:(2003), pp. 284-298. (Intervento presentato al convegno 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 tenutosi a Warsaw (PL) nel April 7–11, 2003) [10.1007/3-540-36577-X_21]. | 1-gen-2003 | CIBRARIO BERTOLOTTI IDURANTE LSISTO, RiccardoVALENZANO A. | 3-540-36577-X_21.pdf |