Gianluca Dini - RankMe

150 papers A* 1A 1B 16C 28Misc 3Journal 68Unranked 31

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Fast and Secure Service Continuity in the Edge-Cloud Continuum: A Study of TLS 1.3 Resumption and Post-Quantum Key Exchange. SMARTCOMP Lorenzo Catoni, Carlo Puliafito, Gianluca Dini
2025	B	`conf`	JPEGs Just Got Snipped: Croppable Signatures Against Deepfake Images. IJCNN Pericle Perazzo, Massimiliano Mattei, Giuseppe Anastasi, Marco Avvenuti, Gianluca Dini, Giuseppe Lettieri, Carlo Vallati
2025	J	`jnl`	JPEGs Just Got Snipped: Croppable Signatures Against Deepfake Images. CoRR Pericle Perazzo, Massimiliano Mattei, Giuseppe Anastasi, Marco Avvenuti, Gianluca Dini, Giuseppe Lettieri, Carlo Vallati
2025	C	`conf`	On Post-Quantum Attribute-Based Encryption for Automotive Over-the-Air Software Updates. IOLTS Gianluca Dini, Salvatore Lombardi, Tommaso Antonini
2025	J	`jnl`	Understanding information security awareness: evidence from the public healthcare sector. Inf. Comput. Secur. Martina Neri, Elisabetta Benevento, Alessandro Stefanini, Davide Aloini, Federico Niccolini, Annalaura Carducci, Ileana Federigi, Gianluca Dini
2024	C	`conf`	Attacks detection in Cyber-Physical Systems with Neural Networks: a case study. ISCC Cinzia Bernardeschi, Gianluca Dini, Maurizio Palmieri, Alessio Vivani
2024	—	`conf`	BACON: Improving Broadcast Audio Authentication. MILCOM Theo Gasteiger, Pericle Perazzo, Markus Schuß, Carlo Alberto Boano, Fikret Basic, Gianluca Dini, Kay Römer
2024	J	`jnl`	Distributed misbehavior monitors for socially organized autonomous systems. Int. J. Robotics Res. Adriano Fagiolini, Gianluca Dini, Federico Massa, Lucia Pallottino, Antonio Bicchi
2024	—	`conf`	HARDNESS: Hardware-Supported Post Quantum Over-the-Air Software Update and Intrusion Detection System for Next Generation Secure Cars. ApplePies Cinzia Bernardeschi, Nicasio Canino, Gianluca Dini, Pierpaolo Dini, Daniele Rossi, Federico Rossi, Sergio Saponara
2024	B	`conf`	On Implementing Linear Regression on Homomorphically Encrypted Data: A Case-Study. ARES Gianluca Dini
2024	J	`jnl`	On hardware acceleration of quantum-resistant FOTA systems in automotive. Comput. Electr. Eng. Pericle Perazzo, Stefano Di Matteo, Gianluca Dini, Sergio Saponara
2023	J	`jnl`	Cybersecurity in the digital world. Future Gener. Comput. Syst. Lorena González-Manzano, Marta Beltrán, José María de Fuentes, Gianluca Dini, Cristina Alcaraz
2022	—	`conf`	A Rational Mining Strategy for Proof-of-Work Consensus Algorithms. BRAINS Mariano Basile, Giovanni Nardini, Pericle Perazzo, Gianluca Dini
2022	J	`jnl`	A Survey on Attribute-Based Encryption Schemes Suitable for the Internet of Things. IEEE Internet Things J. Marco Rasori, Michele La Manna, Pericle Perazzo, Gianluca Dini
2022	J	`jnl`	Indirect Revocable KP-ABE With Revocation Undoing Resistance. IEEE Trans. Serv. Comput. Marco Rasori, Pericle Perazzo, Gianluca Dini, Shucheng Yu
2022	—	`conf`	SegWit Extension and Improvement of the BlockSim Bitcoin Simulator. Blockchain Mariano Basile, Giovanni Nardini, Pericle Perazzo, Gianluca Dini
2021	J	`jnl`	A framework for formal analysis and simulative evaluation of security attacks in wireless sensor networks. J. Comput. Virol. Hacking Tech. Cinzia Bernardeschi, Gianluca Dini, Maurizio Palmieri, Francesco Racciatti
2021	C	`conf`	Assessing the Cost of Quantum Security for Automotive Over -The-Air Updates. ISCC Michele La Manna, Pericle Perazzo, Luigi Treccozzi, Gianluca Dini
2021	J	`jnl`	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. Sabrina Sicari, Alessandra Rizzardi, Gianluca Dini, Pericle Perazzo, Michele La Manna, Alberto Coen-Porisini
2021	C	`conf`	On Improving SimBlock Blockchain Simulator. ISCC Mariano Basile, Giovanni Nardini, Pericle Perazzo, Gianluca Dini
2021	J	`jnl`	Performance Evaluation of Attribute-Based Encryption in Automotive Embedded Platform for Secure Software Over-The-Air Update. Sensors Michele La Manna, Luigi Treccozzi, Pericle Perazzo, Sergio Saponara, Gianluca Dini
2021	J	`jnl`	SAPIENT: Enabling Real-Time Monitoring and Control in the Future Communication Infrastructure of Air Traffic Management. IEEE Trans. Intell. Transp. Syst. Antonio Virdis, Giovanni Stea, Gianluca Dini
2021	J	`jnl`	SEA-BREW: A Scalable Attribute-Based Encryption Scheme for Low-Bitrate IoT Wireless Networks. CoRR Michele La Manna, Pericle Perazzo, Gianluca Dini
2021	J	`jnl`	SEA-BREW: A scalable Attribute-Based Encryption revocable scheme for low-bitrate IoT wireless networks. J. Inf. Secur. Appl. Michele La Manna, Pericle Perazzo, Gianluca Dini
2020	J	`jnl`	A lightweight and scalable attribute-based encryption system for smart cities. Comput. Commun. Marco Rasori, Pericle Perazzo, Gianluca Dini
2020	—	`conf`	An Analysis of Routing Attacks Against IOTA Cryptocurrency. Blockchain Pericle Perazzo, Antonio Arena, Gianluca Dini
2020	C	`conf`	Analysis of Security Attacks in Wireless Sensor Networks: From UPPAAL to Castalia. ICISSP Cinzia Bernardeschi, Gianluca Dini, Maurizio Palmieri, Francesco Racciatti
2020	J	`jnl`	CYBERWISER.eu: Innovative Cyber Range Platform for Cybersecurity Training in Industrial Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Dario Varano, Gianluca Dini, Mariano Basile
2020	J	`jnl`	Evaluating and improving the scalability of RPL security in the Internet of Things. Comput. Commun. Antonio Arena, Pericle Perazzo, Carlo Vallati, Gianluca Dini, Giuseppe Anastasi
2020	J	`jnl`	Group rekeying based on member join history. Int. J. Inf. Sec. Marco Tiloca, Gianluca Dini, Kiki Rizki, Shahid Raza
2020	J	`jnl`	MeSmart-Pro: Advanced Processing at the Edge for Smart Urban Monitoring and Reconfigurable Services. J. Sens. Actuator Networks Antonino Galletta, Armando Ruggeri, Maria Fazio, Gianluca Dini, Massimo Villari
2020	C	`conf`	Multi-level Distributed Intrusion Detection System for an IoT based Smart Home Environment. ICISSP Simone Facchini, Giacomo Giorgi, Andrea Saracino, Gianluca Dini
2019	B	`conf`	BRUSCHETTA: An IoT Blockchain-Based Framework for Certifying Extra Virgin Olive Oil Supply Chain. SMARTCOMP Antonio Arena, Alessio Bianchini, Pericle Perazzo, Carlo Vallati, Gianluca Dini
2019	J	`jnl`	DISH: DIstributed SHuffling Against Selective Jamming Attack in IEEE 802.15.4e TSCH Networks. ACM Trans. Sens. Networks Marco Tiloca, Domenico De Guglielmo, Gianluca Dini, Giuseppe Anastasi, Sajal K. Das
2019	B	`conf`	On the Feasibility of Attribute-Based Encryption on Constrained IoT Devices for Smart Systems. SMARTCOMP Benedetto Girgenti, Pericle Perazzo, Carlo Vallati, Francesca Righetti, Gianluca Dini, Giuseppe Anastasi
2019	C	`conf`	Virtual private ledgers: embedding private distributed ledgers over a public blockchain by cryptography. IDEAS Antonio Arena, Pericle Perazzo, Gianluca Dini
2019	B	`conf`	fABElous: An Attribute-Based Scheme for Industrial Internet of Things. SMARTCOMP Michele La Manna, Pericle Perazzo, Marco Rasori, Gianluca Dini
2018	B	`conf`	ABE-Cities: An Attribute-Based Encryption System for Smart Cities. SMARTCOMP Marco Rasori, Pericle Perazzo, Gianluca Dini
2018	J	`jnl`	ABE-Cities: An Attribute-Based Encryption System for Smart Cities. CoRR Marco Rasori, Pericle Perazzo, Gianluca Dini
2018	—	`conf`	Implementation of a wormhole attack against a rpl network: Challenges and effects. WONS Pericle Perazzo, Carlo Vallati, Dario Varano, Giuseppe Anastasi, Gianluca Dini
2018	J	`jnl`	MADAM: Effective and Efficient Behavior-based Android Malware Detection and Prevention. IEEE Trans. Dependable Secur. Comput. Andrea Saracino, Daniele Sgandurra, Gianluca Dini, Fabio Martinelli
2018	J	`jnl`	Risk analysis of Android applications: A user-centric solution. Future Gener. Comput. Syst. Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra
2018	J	`jnl`	Verifying data secure flow in AUTOSAR models. J. Comput. Virol. Hacking Tech. Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Maurizio Palmieri
2017	B	`conf`	A Low-Cost UAV-Based Secure Location Verification Method. ARES Marco Rasori, Pericle Perazzo, Gianluca Dini
2017	—	`conf`	An Implementation and Evaluation of the Security Features of RPL. ADHOC-NOW Pericle Perazzo, Carlo Vallati, Antonio Arena, Giuseppe Anastasi, Gianluca Dini
2017	J	`jnl`	DIO Suppression Attack Against Routing in the Internet of Things. IEEE Commun. Lett. Pericle Perazzo, Carlo Vallati, Giuseppe Anastasi, Gianluca Dini
2017	J	`jnl`	Drone Path Planning for Secure Positioning and Secure Position Verification. IEEE Trans. Mob. Comput. Pericle Perazzo, Francesco Betti Sorbelli, Mauro Conti, Gianluca Dini, Cristina M. Pinotti
2017	J	`jnl`	JAMMY: A Distributed and Dynamic Solution to Selective Jamming Attack in TDMA WSNs. IEEE Trans. Dependable Secur. Comput. Marco Tiloca, Domenico De Guglielmo, Gianluca Dini, Giuseppe Anastasi, Sajal K. Das
2017	J	`jnl`	Kassandra: A framework for distributed simulation of heterogeneous cooperating objects. J. Syst. Archit. Richard Figura, Chia-Yen Shih, Matteo Ceriotti, Songwei Fu, Falk Brockmann, Héctor Nebot, Francisco Alarcón, Andrea Kropp, Konstantin Kondak, Marc Schwarzbach, Antidio Viguria Jiménez, Margarita Mulero-Pázmány, Gianluca Dini, Jesús Capitán, Pedro José Marrón
2017	Misc	`conf`	Modeling and generation of secure component communications in AUTOSAR. SAC Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Dario Varano
2017	J	`jnl`	Protected pointers in wireless sensor networks. Int. J. Ad Hoc Ubiquitous Comput. Gianluca Dini, Lanfranco Lopriore
2017	C	`conf`	Sensing the cities with social-aware unmanned aerial vehicles. ISCC Stefano Chessa, Michele Girolami, Fabio Mavilia, Gianluca Dini, Pericle Perazzo, Marco Rasori
2017	C	`conf`	Verifying Data Secure Flow in AUTOSAR Models by Static Analysis. ICISSP Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Maurizio Palmieri
2016	C	`conf`	Data-Sluice: Fine-grained traffic control for Android application. ISCC Andrea Saracino, Fabio Martinelli, Gaetano Alboreto, Gianluca Dini
2016	C	`conf`	GREP: A group rekeying protocol based on member join history. ISCC Marco Tiloca, Gianluca Dini
2016	—	`conf`	Localization with Guaranteed Bound on the Position Error using a Drone. MobiWac Cristina M. Pinotti, Francesco Betti Sorbelli, Pericle Perazzo, Gianluca Dini
2016	J	`jnl`	Modeling Enlargement Attacks Against UWB Distance Bounding Protocols. IEEE Trans. Inf. Forensics Secur. Alberto Compagno, Mauro Conti, Antonio Alberto D'Amico, Gianluca Dini, Pericle Perazzo, Lorenzo Taponecco
2016	J	`jnl`	Performance and Security Evaluation of SDN Networks in OMNeT++/INET. CoRR Marco Tiloca, Alexandra Stagkopoulou, Gianluca Dini
2016	J	`jnl`	Secure Positioning in Wireless Sensor Networks through Enlargement Miscontrol Detection. ACM Trans. Sens. Networks Pericle Perazzo, Lorenzo Taponecco, Antonio A. D'Amico, Gianluca Dini
2016	—	`conf`	Using AUTOSAR High-Level Specifications for the Synthesis of Security Components in Automotive Systems. MESAS Cinzia Bernardeschi, Gabriele Del Vigna, Marco Di Natale, Gianluca Dini, Dario Varano
2015	C	`conf`	A hardware accelerator for the IEEE 802.1X-2010 key hierarchy in automotive applications. AICCSA Berardino Carnevale, Francesco Falaschi, Diego Pacini, Gianluca Dini, Luca Fanucci
2015	J	`jnl`	A uniformity-based approach to location privacy. Comput. Commun. Pericle Perazzo, Gianluca Dini
2015	J	`jnl`	Distributed motion misbehavior detection in teams of heterogeneous aerial robots. Robotics Auton. Syst. Simone Martini, Davide Di Baccio, Francisco Alarcón, Antidio Viguria Jiménez, Lucia Pallottino, Gianluca Dini, Aníbal Ollero
2015	J	`jnl`	Distributed storage protection in wireless sensor networks. J. Syst. Archit. Gianluca Dini, Lanfranco Lopriore
2015	J	`jnl`	Key propagation in wireless sensor networks. Comput. Electr. Eng. Gianluca Dini, Lanfranco Lopriore
2015	J	`jnl`	On Designing Resilient Location-Privacy Obfuscators. Comput. J. Pericle Perazzo, Pavel Skvortsov, Gianluca Dini
2015	J	`jnl`	Password systems: Design and implementation. Comput. Electr. Eng. Gianluca Dini, Lanfranco Lopriore
2015	C	`conf`	Secure positioning with non-ideal distance bounding protocols. ISCC Pericle Perazzo, Gianluca Dini
2015	—	`conf`	Simulative Evaluation of Security Attacks in Networked Critical Infrastructures. SAFECOMP Workshops Marco Tiloca, Francesco Racciatti, Gianluca Dini
2015	C	`conf`	The verifier bee: A path planner for drone-based secure location verification. WOWMOM Pericle Perazzo, Kanishka Ariyapala, Mauro Conti, Gianluca Dini
2014	—	`conf`	A Simulation Tool for Evaluating Attack Impact in Cyber Physical Systems. MESAS Gianluca Dini, Marco Tiloca
2014	C	`conf`	A performance evaluation method for WSNs security. ISCC Roberta Daidone, Gianluca Dini
2014	J	`jnl`	A solution to the GTS-based selective jamming attack on IEEE 802.15.4 networks. Wirel. Networks Roberta Daidone, Gianluca Dini, Marco Tiloca
2014	—	`conf`	HUMsim: A Privacy-Oriented Human Mobility Simulator. S-CUBE Francesco Giurlanda, Pericle Perazzo, Gianluca Dini
2014	J	`jnl`	On evaluating the performance impact of the IEEE 802.15.4 security sub-layer. Comput. Commun. Roberta Daidone, Gianluca Dini, Giuseppe Anastasi
2014	J	`jnl`	On the Feasibility of Overshadow Enlargement Attack on IEEE 802.15.4a Distance Bounding. IEEE Commun. Lett. Lorenzo Taponecco, Pericle Perazzo, Antonio A. D'Amico, Gianluca Dini
2014	J	`jnl`	Social and Q&A interfaces for app download. Inf. Process. Manag. Gianluca Dini, Pierfrancesco Foglia, Cosimo Antonio Prete, Michele Zanda
2013	J	`jnl`	A Social-Feedback Enriched Interface for Software Download. J. Organ. End User Comput. Gianluca Dini, Pierfrancesco Foglia, Cosimo Antonio Prete, Michele Zanda
2013	—	`conf`	Evaluating the Trust of Android Applications through an Adaptive and Distributed Multi-criteria Approach. TrustCom/ISPA/IUCC Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra
2013	J	`jnl`	HISS: A HIghly Scalable Scheme for Group Rekeying. Comput. J. Gianluca Dini, Marco Tiloca
2013	—	`book`	IEEE 802.15.4 and ZigBee as Enabling Technologies for Low-Power Wireless Systems with Quality-of-Service Constraints Stefano Tennina, Anis Koubaa, Roberta Daidone, Mário Alves, Petr Jurcík, Ricardo Severino, Marco Tiloca, Jan-Hinrich Hauer, Nuno Pereira, Gianluca Dini, Mélanie Bouroche, Eduardo Tovar
2013	—	`conf`	Integration of Privacy Protection Mechanisms in Location-Based Services. AINA Workshops Gianluca Dini, Pericle Perazzo
2013	—	`conf`	Introducing Probabilities in Contract-Based Approaches for Mobile Application Security. DPM/SETOP Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Andrea Saracino, Daniele Sgandurra
2013	J	`jnl`	Mobile Underwater Sensor Networks for Protection and Security: Field Experience at the UAN11 Experiment. J. Field Robotics Andrea Caiti, Vincenzo Calabrò, Andrea Munafò, Gianluca Dini, Angelica Lo Duca
2013	C	`conf`	On simulative analysis of attack impact in Wireless Sensor Networks. ETFA Gianluca Dini, Marco Tiloca
2013	B	`conf`	Probabilistic Contract Compliance for Mobile Applications. ARES Gianluca Dini, Fabio Martinelli, Andrea Saracino, Daniele Sgandurra
2013	C	`conf`	SAD-SJ: A self-adaptive decentralized solution against Selective Jamming attack in Wireless Sensor Networks. ETFA Marco Tiloca, Domenico De Guglielmo, Gianluca Dini, Giuseppe Anastasi
2013	—	`conf`	STaR: Security Transparency and Reconfigurability for Wireless Sensor Networks Programming. SENSORNETS Roberta Daidone, Gianluca Dini, Marco Tiloca
2013	—	`conf`	STaR: a Reconfigurable and Transparent middleware for WSNs security. CONET/UBICITEC Roberta Daidone, Gianluca Dini, Marco Tiloca
2013	—	`ed.`	Sensor Systems and Software - 4th International ICST Conference, S-Cube 2013, Lucca, Italy, June 11-12, 2013, Revised Selected Papers S-CUBE Marco Zuniga, Gianluca Dini
2012	—	`conf`	A Multi-criteria-Based Evaluation of Android Applications. INTRUST Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra
2012	J	`jnl`	A Secure Communication Suite for Underwater Acoustic Sensor Networks. Sensors Gianluca Dini, Angelica Lo Duca
2012	B	`conf`	ASF: An attack simulation framework for wireless sensor networks. WiMob Gianluca Dini, Marco Tiloca
2012	J	`jnl`	LNT: A logical neighbor tree secure group communication scheme for wireless sensor networks. Ad Hoc Networks Omar Cheikhrouhou, Anis Koubaa, Gianluca Dini, Hani Alzaid, Mohamed Abid
2012	—	`conf`	MADAM: A Multi-level Anomaly Detector for Android Malware. MMM-ACNS Gianluca Dini, Fabio Martinelli, Andrea Saracino, Daniele Sgandurra
2012	J	`jnl`	Secure Cooperation of Autonomous Mobile Sensors Using an Underwater Acoustic Network. Sensors Andrea Caiti, Vincenzo Calabrò, Gianluca Dini, Angelica Lo Duca, Andrea Munafò
2012	J	`jnl`	Towards a reputation-based routing protocol to contrast blackholes in a delay tolerant network. Ad Hoc Networks Gianluca Dini, Angelica Lo Duca
2012	B	`conf`	Uniform Obfuscation for Location Privacy. DBSec Gianluca Dini, Pericle Perazzo
2011	C	`conf`	A cryptographic suite for underwater cooperative applications. ISCC Gianluca Dini, Angelica Lo Duca
2011	J	`jnl`	Distributed Intrusion Detection for the Security of Societies of Robots CoRR Adriano Fagiolini, Gianluca Dini, Antonio Bicchi
2011	J	`jnl`	LARK: A Lightweight Authenticated ReKeying Scheme for Clustered Wireless Sensor Networks. ACM Trans. Embed. Comput. Syst. Gianluca Dini, Ida Maria Savino
2011	—	`conf`	LNT: a Logical Neighbor Tree for Secure Group Management in Wireless Sensor Networks. ANT/MobiWIS Omar Cheikhrouhou, Anis Koubaa, Gianluca Dini, Hani Alzaid, Mohamed Abid
2011	C	`conf`	Neighbourhood monitoring for decentralised coordination in multi-agent systems: A case-study. ISCC Gianluca Dini, Francesco Giurlanda, Lucia Pallottino
2011	B	`conf`	On experimentally evaluating the impact of security on IEEE 802.15.4 networks. DCOSS Roberta Daidone, Gianluca Dini, Marco Tiloca
2011	J	`jnl`	RiSeG: a ring based secure group communication protocol for resource-constrained wireless sensor networks. Pers. Ubiquitous Comput. Omar Cheikhrouhou, Anis Koubaa, Gianluca Dini, Mohamed Abid
2011	C	`conf`	SeFLOOD: A secure network discovery protocol for Underwater Acoustic Networks. ISCC Gianluca Dini, Angelica Lo Duca
2010	J	`jnl`	A Security Architecture for Reconfigurable Networked Embedded Systems. Int. J. Wirel. Inf. Networks Gianluca Dini, Ida Maria Savino
2010	C	`conf`	A reputation-based approach to tolerate misbehaving carriers in Delay Tolerant Networks. ISCC Gianluca Dini, Angelica Lo Duca
2010	—	`conf`	Considerations on Security in ZigBee Networks. SUTC/UMC Gianluca Dini, Marco Tiloca
2010	—	`conf`	RiSeG: A logical ring based secure group communication protocol for Wireless Sensor Networks. ICWUS Omar Cheikhrouhou, Anis Koubaa, Olfa Gaddour, Gianluca Dini, Mohamed Abid
2010	C	`conf`	Scalable rekeying in dynamic multi-groups. ISCC Gianluca Dini, Francesco Giurlanda
2009	C	`conf`	Bloumail: an interactive tool for blocking spam at the originator. ISCC Gianluca Dini, Isidoro S. La Porta
2009	C	`conf`	On securing publish-subscribe systems with security groups. ISCC Gianluca Dini, Angelica Lo Duca
2008	B	`conf`	An Algorithm for Reconnecting Wireless Sensor Network Partitions. EWSN Gianluca Dini, Marco Pelagatti, Ida Maria Savino
2008	A*	`conf`	Consensus-based distributed intrusion detection for multi-robot systems. ICRA Adriano Fagiolini, Marco Pellinacci, Gianni Valenti, Gianluca Dini, Antonio Bicchi
2008	B	`conf`	Decentralized Deployment of Mobile Sensors for Optimal Connected Sensing Coverage. DCOSS Adriano Fagiolini, Lisa Tani, Antonio Bicchi, Gianluca Dini
2008	J	`jnl`	Heterogeneous Wireless Multirobot System. IEEE Robotics Autom. Mag. Antonio Bicchi, Antonio Danesi, Gianluca Dini, Silvio La Porta, Lucia Pallottino, Ida Maria Savino, Riccardo Schiavi
2007	J	`jnl`	A Component-Based Approach to the Design of Networked Control Systems. Eur. J. Control Karl-Erik Årzén, Antonio Bicchi, Gianluca Dini, Stephen Hailes, Karl Henrik Johansson, John Lygeros, Anthony Tzes
2007	J	`jnl`	A methodology for verification of digital items in fair exchange protocols with active trustee. Electron. Commer. Res. Andrea Bottoni, Gianluca Dini, Tage Stabell-Kulø
2007	—	`conf`	Decentralized intrusion detection for secure cooperative multi-agent systems. CDC Adriano Fagiolini, Gianni Valenti, Lucia Pallottino, Gianluca Dini, Antonio Bicchi
2007	J	`jnl`	Improving authentication of remote card transactions with mobile personal trusted devices. Comput. Commun. Andrea Bottoni, Gianluca Dini
2007	—	`conf`	Local Monitor Implementation for Decentralized Intrusion Detection in Secure Multi-Agent Systems. CASE Adriano Fagiolini, Gianni Valenti, Lucia Pallottino, Gianluca Dini, Antonio Bicchi
2007	C	`conf`	Practical Verification of Untrusted Terminals using Remote Attestation. SECRYPT Simone Lupetti, Gianluca Dini
2007	B	`conf`	Repairing network partitions in Wireless Sensor Networks. MASS Gianluca Dini, Marco Pelagatti, Ida Maria Savino
2006	C	`conf`	An Efficient Key Revocation Protocol for Wireless Sensor Networks. WOWMOM Gianluca Dini, Ida Maria Savino
2006	—	`conf`	An Overview of VOAC, a Virtual Organizations Access Control Infrastructure. Parallel and Distributed Computing and Networks Andrea Bottoni, Gianluca Dini
2006	J	`jnl`	Caching and prefetching algorithms for programs with looping reference patterns. Comput. J. Gianluca Dini, Giuseppe Lettieri, Lanfranco Lopriore
2006	C	`conf`	Credentials and Beliefs in Remote Trusted Platforms Attestation. WOWMOM Andrea Bottoni, Gianluca Dini, Evangelos Kranakis
2006	B	`conf`	S2RP: a Secure and Scalable Rekeying Protocol for Wireless Sensor Networks. MASS Gianluca Dini, Ida Maria Savino
2006	—	`conf`	Scalable and Secure Group Rekeying in Wireless Sensor Networks. Parallel and Distributed Computing and Networks Gianluca Dini, Ida Maria Savino
2005	—	`conf`	FACT: A Tool for Code Generation from Communicating Automata. IASTED Conf. on Software Engineering Cinzia Bernardeschi, Gianluca Dini, Andrea Domenici
2003	J	`jnl`	A secure and available electronic voting service for a large-scale distributed system. Future Gener. Comput. Syst. Gianluca Dini
2002	C	`conf`	Increasing security and availability of an Internet voting system. ISCC Gianluca Dini
2001	J	`jnl`	Application-controlled memory management in a single address space environment. Int. J. Softw. Tools Technol. Transf. Alberto Bartoli, Gianluca Dini, Lanfranco Lopriore
2001	J	`jnl`	Electronic voting in a large-scale distributed system. Networks Gianluca Dini
2000	—	`conf`	An Overview of Ulisse, a Distributed Single Address Space System. POS Gianluca Dini, Giuseppe Lettieri, Lanfranco Lopriore
2000	J	`jnl`	Sharing objects in a distributed, single address space environment. Future Gener. Comput. Syst. Gianluca Dini, Lanfranco Lopriore
2000	J	`jnl`	Single address space implementation in distributed systems. Concurr. Pract. Exp. Alberto Bartoli, Gianluca Dini, Lanfranco Lopriore
1999	Misc	`conf`	Implementing a Distributed Single Address Space in the Presence of Failures. PDPTA Gianluca Dini, Giuseppe Lettieri, Lanfranco Lopriore
1999	—	`conf`	Programming Partition-Aware Network Applications. Advances in Distributed Systems Özalp Babaoglu, Alberto Bartoli, Gianluca Dini
1999	—	`conf`	Recoverable-Persistence in a Distributed Single Address Space. Applied Informatics Gianluca Dini, Giuseppe Lettieri, Lanfranco Lopriore
1998	Misc	`conf`	Detecting Key-Dependencies. ACISP Tage Stabell-Kulø, Arne Helme, Gianluca Dini
1998	J	`jnl`	Mechanisms for application-level recoverable-persistence in a single address space. Microprocess. Microsystems Alberto Bartoli, Gianluca Dini
1997	J	`jnl`	Enriched View Synchrony: A Programming Paradigm for Partitionable Asynchronous Distributed Systems. IEEE Trans. Computers Özalp Babaoglu, Alberto Bartoli, Gianluca Dini
1996	A	`conf`	On Programming with View Synchrony. ICDCS Özalp Babaoglu, Alberto Bartoli, Gianluca Dini
1995	J	`jnl`	Graphical design of distributed applications through reusable components. IEEE Parallel Distributed Technol. Syst. Appl. Alberto Bartoli, Paolo Corsini, Gianluca Dini, Cosimo Antonio Prete
1995	J	`jnl`	Implementing distributed process farms. Microprocess. Microsystems Alberto Bartoli, Gianluca Dini
1995	J	`jnl`	Reusing sequential software in a distributed environment. Distributed Syst. Eng. Alberto Bartoli, Gianluca Dini, Marco Luise, G. Pazzaglia, Cosimo Antonio Prete, Aldo N. D'Andrea
1994	—	`conf`	Replicated File Management in Large-Scale Distributed Systems. WDAG Özalp Babaoglu, Alberto Bartoli, Gianluca Dini
1991	J	`jnl`	Supporting load distribution strategies in message-passing multiprocessors: a case study. Microprocess. Microsystems Alberto Bartoli, Gianluca Dini