default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGianluca Dini
Person information
- affiliation: University of Pisa, Italy
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j62]Pericle Perazzo
, Stefano Di Matteo, Gianluca Dini, Sergio Saponara:
On hardware acceleration of quantum-resistant FOTA systems in automotive. Comput. Electr. Eng. 118: 109327 (2024)- [j61]Adriano Fagiolini, Gianluca Dini, Federico Massa, Lucia Pallottino, Antonio Bicchi:
Distributed misbehavior monitors for socially organized autonomous systems. Int. J. Robotics Res. 43(14): 2145-2182 (2024) - [c76]Gianluca Dini:
On Implementing Linear Regression on Homomorphically Encrypted Data: A Case-Study. ARES 2024: 111:1-111:8 - [c75]Cinzia Bernardeschi, Gianluca Dini, Maurizio Palmieri, Alessio Vivani:
Attacks detection in Cyber-Physical Systems with Neural Networks: a case study. ISCC 2024: 1-6 - [c74]Theo Gasteiger, Pericle Perazzo, Markus Schuß, Carlo Alberto Boano, Fikret Basic, Gianluca Dini, Kay Römer:
BACON: Improving Broadcast Audio Authentication. MILCOM 2024: 523-529 - 2023
- [j60]Lorena González-Manzano, Marta Beltrán, José María de Fuentes, Gianluca Dini, Cristina Alcaraz:
Cybersecurity in the digital world. Future Gener. Comput. Syst. 144: 242-243 (2023) - 2022
- [j59]Marco Rasori, Michele La Manna, Pericle Perazzo, Gianluca Dini:
A Survey on Attribute-Based Encryption Schemes Suitable for the Internet of Things. IEEE Internet Things J. 9(11): 8269-8290 (2022) - [j58]Marco Rasori, Pericle Perazzo, Gianluca Dini, Shucheng Yu:
Indirect Revocable KP-ABE With Revocation Undoing Resistance. IEEE Trans. Serv. Comput. 15(5): 2854-2868 (2022) - [c73]Mariano Basile, Giovanni Nardini, Pericle Perazzo, Gianluca Dini:
SegWit Extension and Improvement of the BlockSim Bitcoin Simulator. Blockchain 2022: 115-123 - [c72]Mariano Basile, Giovanni Nardini, Pericle Perazzo, Gianluca Dini:
A Rational Mining Strategy for Proof-of-Work Consensus Algorithms. BRAINS 2022: 59-66 - 2021
- [j57]Sabrina Sicari, Alessandra Rizzardi, Gianluca Dini, Pericle Perazzo, Michele La Manna, Alberto Coen-Porisini:
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) - [j56]Michele La Manna, Pericle Perazzo, Gianluca Dini:
SEA-BREW: A scalable Attribute-Based Encryption revocable scheme for low-bitrate IoT wireless networks. J. Inf. Secur. Appl. 58: 102692 (2021) - [j55]Michele La Manna, Luigi Treccozzi, Pericle Perazzo, Sergio Saponara, Gianluca Dini:
Performance Evaluation of Attribute-Based Encryption in Automotive Embedded Platform for Secure Software Over-The-Air Update. Sensors 21(2): 515 (2021) - [j54]Antonio Virdis, Giovanni Stea, Gianluca Dini:
SAPIENT: Enabling Real-Time Monitoring and Control in the Future Communication Infrastructure of Air Traffic Management. IEEE Trans. Intell. Transp. Syst. 22(8): 4864-4875 (2021) - [j53]Cinzia Bernardeschi, Gianluca Dini, Maurizio Palmieri, Francesco Racciatti:
A framework for formal analysis and simulative evaluation of security attacks in wireless sensor networks. J. Comput. Virol. Hacking Tech. 17(3): 249-263 (2021) - [c71]Mariano Basile, Giovanni Nardini, Pericle Perazzo, Gianluca Dini:
On Improving SimBlock Blockchain Simulator. ISCC 2021: 1-6 - [c70]Michele La Manna, Pericle Perazzo, Luigi Treccozzi, Gianluca Dini:
Assessing the Cost of Quantum Security for Automotive Over -The-Air Updates. ISCC 2021: 1-6 - [i4]Michele La Manna, Pericle Perazzo, Gianluca Dini:
SEA-BREW: A Scalable Attribute-Based Encryption Scheme for Low-Bitrate IoT Wireless Networks. CoRR abs/2101.10008 (2021) - 2020
- [j52]Marco Rasori, Pericle Perazzo, Gianluca Dini:
A lightweight and scalable attribute-based encryption system for smart cities. Comput. Commun. 149: 78-89 (2020) - [j51]Antonio Arena, Pericle Perazzo, Carlo Vallati, Gianluca Dini, Giuseppe Anastasi:
Evaluating and improving the scalability of RPL security in the Internet of Things. Comput. Commun. 151: 119-132 (2020) - [j50]Dario Varano, Gianluca Dini, Mariano Basile:
CYBERWISER.eu: Innovative Cyber Range Platform for Cybersecurity Training in Industrial Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 79 (2020) - [j49]Marco Tiloca, Gianluca Dini, Kiki Rizki, Shahid Raza:
Group rekeying based on member join history. Int. J. Inf. Sec. 19(4): 343-381 (2020) - [j48]Antonino Galletta, Armando Ruggeri, Maria Fazio, Gianluca Dini, Massimo Villari:
MeSmart-Pro: Advanced Processing at the Edge for Smart Urban Monitoring and Reconfigurable Services. J. Sens. Actuator Networks 9(4): 55 (2020) - [c69]Pericle Perazzo, Antonio Arena, Gianluca Dini:
An Analysis of Routing Attacks Against IOTA Cryptocurrency. Blockchain 2020: 517-524 - [c68]Simone Facchini, Giacomo Giorgi, Andrea Saracino, Gianluca Dini:
Multi-level Distributed Intrusion Detection System for an IoT based Smart Home Environment. ICISSP 2020: 705-712 - [c67]Cinzia Bernardeschi, Gianluca Dini, Maurizio Palmieri, Francesco Racciatti:
Analysis of Security Attacks in Wireless Sensor Networks: From UPPAAL to Castalia. ICISSP 2020: 815-824
2010 – 2019
- 2019
- [j47]Marco Tiloca, Domenico De Guglielmo, Gianluca Dini, Giuseppe Anastasi, Sajal K. Das:
DISH: DIstributed SHuffling Against Selective Jamming Attack in IEEE 802.15.4e TSCH Networks. ACM Trans. Sens. Networks 15(1): 3:1-3:28 (2019) - [c66]Antonio Arena, Pericle Perazzo, Gianluca Dini:
Virtual private ledgers: embedding private distributed ledgers over a public blockchain by cryptography. IDEAS 2019: 11:1-11:9 - [c65]Michele La Manna, Pericle Perazzo, Marco Rasori, Gianluca Dini:
fABElous: An Attribute-Based Scheme for Industrial Internet of Things. SMARTCOMP 2019: 33-38 - [c64]Antonio Arena, Alessio Bianchini, Pericle Perazzo, Carlo Vallati, Gianluca Dini:
BRUSCHETTA: An IoT Blockchain-Based Framework for Certifying Extra Virgin Olive Oil Supply Chain. SMARTCOMP 2019: 173-179 - [c63]Benedetto Girgenti, Pericle Perazzo, Carlo Vallati, Francesca Righetti, Gianluca Dini, Giuseppe Anastasi:
On the Feasibility of Attribute-Based Encryption on Constrained IoT Devices for Smart Systems. SMARTCOMP 2019: 225-232 - 2018
- [j46]Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra:
Risk analysis of Android applications: A user-centric solution. Future Gener. Comput. Syst. 80: 505-518 (2018) - [j45]Andrea Saracino, Daniele Sgandurra, Gianluca Dini, Fabio Martinelli:
MADAM: Effective and Efficient Behavior-based Android Malware Detection and Prevention. IEEE Trans. Dependable Secur. Comput. 15(1): 83-97 (2018) - [j44]Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Maurizio Palmieri:
Verifying data secure flow in AUTOSAR models. J. Comput. Virol. Hacking Tech. 14(4): 269-289 (2018) - [c62]Marco Rasori, Pericle Perazzo, Gianluca Dini:
ABE-Cities: An Attribute-Based Encryption System for Smart Cities. SMARTCOMP 2018: 65-72 - [c61]Pericle Perazzo, Carlo Vallati, Dario Varano, Giuseppe Anastasi, Gianluca Dini:
Implementation of a wormhole attack against a rpl network: Challenges and effects. WONS 2018: 95-102 - [i3]Marco Rasori, Pericle Perazzo, Gianluca Dini:
ABE-Cities: An Attribute-Based Encryption System for Smart Cities. CoRR abs/1807.11793 (2018) - 2017
- [j43]Pericle Perazzo, Carlo Vallati, Giuseppe Anastasi, Gianluca Dini:
DIO Suppression Attack Against Routing in the Internet of Things. IEEE Commun. Lett. 21(11): 2524-2527 (2017) - [j42]Gianluca Dini, Lanfranco Lopriore:
Protected pointers in wireless sensor networks. Int. J. Ad Hoc Ubiquitous Comput. 24(3): 204-212 (2017) - [j41]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:
Kassandra: A framework for distributed simulation of heterogeneous cooperating objects. J. Syst. Archit. 73: 28-41 (2017) - [j40]Marco Tiloca, Domenico De Guglielmo, Gianluca Dini, Giuseppe Anastasi, Sajal K. Das:
JAMMY: A Distributed and Dynamic Solution to Selective Jamming Attack in TDMA WSNs. IEEE Trans. Dependable Secur. Comput. 14(4): 392-405 (2017) - [j39]Pericle Perazzo, Francesco Betti Sorbelli, Mauro Conti, Gianluca Dini, Cristina M. Pinotti:
Drone Path Planning for Secure Positioning and Secure Position Verification. IEEE Trans. Mob. Comput. 16(9): 2478-2493 (2017) - [c60]Marco Rasori, Pericle Perazzo, Gianluca Dini:
A Low-Cost UAV-Based Secure Location Verification Method. ARES 2017: 30:1-30:6 - [c59]Pericle Perazzo, Carlo Vallati, Antonio Arena, Giuseppe Anastasi, Gianluca Dini:
An Implementation and Evaluation of the Security Features of RPL. ADHOC-NOW 2017: 63-76 - [c58]Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Maurizio Palmieri:
Verifying Data Secure Flow in AUTOSAR Models by Static Analysis. ICISSP 2017: 704-713 - [c57]Stefano Chessa, Michele Girolami, Fabio Mavilia, Gianluca Dini, Pericle Perazzo, Marco Rasori:
Sensing the cities with social-aware unmanned aerial vehicles. ISCC 2017: 278-283 - [c56]Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Dario Varano:
Modeling and generation of secure component communications in AUTOSAR. SAC 2017: 1473-1480 - 2016
- [j38]Alberto Compagno, Mauro Conti, Antonio Alberto D'Amico, Gianluca Dini, Pericle Perazzo, Lorenzo Taponecco:
Modeling Enlargement Attacks Against UWB Distance Bounding Protocols. IEEE Trans. Inf. Forensics Secur. 11(7): 1565-1577 (2016) - [j37]Pericle Perazzo, Lorenzo Taponecco, Antonio A. D'Amico, Gianluca Dini:
Secure Positioning in Wireless Sensor Networks through Enlargement Miscontrol Detection. ACM Trans. Sens. Networks 12(4): 27:1-27:32 (2016) - [c55]Marco Tiloca, Gianluca Dini:
GREP: A group rekeying protocol based on member join history. ISCC 2016: 326-333 - [c54]Andrea Saracino, Fabio Martinelli, Gaetano Alboreto, Gianluca Dini:
Data-Sluice: Fine-grained traffic control for Android application. ISCC 2016: 702-709 - [c53]Cinzia Bernardeschi, Gabriele Del Vigna, Marco Di Natale, Gianluca Dini, Dario Varano:
Using AUTOSAR High-Level Specifications for the Synthesis of Security Components in Automotive Systems. MESAS 2016: 101-117 - [c52]Cristina M. Pinotti, Francesco Betti Sorbelli, Pericle Perazzo, Gianluca Dini:
Localization with Guaranteed Bound on the Position Error using a Drone. MobiWac 2016: 147-154 - [i2]Marco Tiloca, Alexandra Stagkopoulou, Gianluca Dini:
Performance and Security Evaluation of SDN Networks in OMNeT++/INET. CoRR abs/1609.04554 (2016) - 2015
- [j36]Gianluca Dini, Lanfranco Lopriore:
Key propagation in wireless sensor networks. Comput. Electr. Eng. 41: 426-433 (2015) - [j35]Gianluca Dini, Lanfranco Lopriore:
Password systems: Design and implementation. Comput. Electr. Eng. 47: 318-326 (2015) - [j34]Pericle Perazzo, Pavel Skvortsov, Gianluca Dini:
On Designing Resilient Location-Privacy Obfuscators. Comput. J. 58(10): 2649-2664 (2015) - [j33]Pericle Perazzo, Gianluca Dini:
A uniformity-based approach to location privacy. Comput. Commun. 64: 21-32 (2015) - [j32]Gianluca Dini, Lanfranco Lopriore:
Distributed storage protection in wireless sensor networks. J. Syst. Archit. 61(5-6): 256-266 (2015) - [j31]Simone Martini, Davide Di Baccio, Francisco Alarcón, Antidio Viguria Jiménez, Lucia Pallottino, Gianluca Dini, Aníbal Ollero:
Distributed motion misbehavior detection in teams of heterogeneous aerial robots. Robotics Auton. Syst. 74: 30-39 (2015) - [c51]Berardino Carnevale, Francesco Falaschi, Diego Pacini, Gianluca Dini, Luca Fanucci:
A hardware accelerator for the IEEE 802.1X-2010 key hierarchy in automotive applications. AICCSA 2015: 1-6 - [c50]Pericle Perazzo, Gianluca Dini:
Secure positioning with non-ideal distance bounding protocols. ISCC 2015: 907-912 - [c49]Marco Tiloca, Francesco Racciatti, Gianluca Dini:
Simulative Evaluation of Security Attacks in Networked Critical Infrastructures. SAFECOMP Workshops 2015: 314-323 - [c48]Pericle Perazzo, Kanishka Ariyapala, Mauro Conti, Gianluca Dini:
The verifier bee: A path planner for drone-based secure location verification. WOWMOM 2015: 1-9 - 2014
- [j30]Roberta Daidone, Gianluca Dini, Giuseppe Anastasi:
On evaluating the performance impact of the IEEE 802.15.4 security sub-layer. Comput. Commun. 47: 65-76 (2014) - [j29]Lorenzo Taponecco, Pericle Perazzo, Antonio A. D'Amico, Gianluca Dini:
On the Feasibility of Overshadow Enlargement Attack on IEEE 802.15.4a Distance Bounding. IEEE Commun. Lett. 18(2): 257-260 (2014) - [j28]Gianluca Dini, Pierfrancesco Foglia, Cosimo Antonio Prete, Michele Zanda:
Social and Q&A interfaces for app download. Inf. Process. Manag. 50(4): 584-598 (2014) - [j27]Roberta Daidone, Gianluca Dini, Marco Tiloca:
A solution to the GTS-based selective jamming attack on IEEE 802.15.4 networks. Wirel. Networks 20(5): 1223-1235 (2014) - [c47]Roberta Daidone, Gianluca Dini:
A performance evaluation method for WSNs security. ISCC 2014: 1-6 - [c46]Gianluca Dini, Marco Tiloca:
A Simulation Tool for Evaluating Attack Impact in Cyber Physical Systems. MESAS 2014: 77-94 - [c45]Francesco Giurlanda, Pericle Perazzo, Gianluca Dini:
HUMsim: A Privacy-Oriented Human Mobility Simulator. S-CUBE 2014: 61-70 - 2013
- [b1]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:
IEEE 802.15.4 and ZigBee as Enabling Technologies for Low-Power Wireless Systems with Quality-of-Service Constraints. Springer Briefs in Electrical and Computer Engineering, Springer 2013, ISBN 978-3-642-37367-1, pp. i-x, 1-169 - [j26]Gianluca Dini, Marco Tiloca:
HISS: A HIghly Scalable Scheme for Group Rekeying. Comput. J. 56(4): 508-525 (2013) - [j25]Andrea Caiti, Vincenzo Calabrò, Andrea Munafò, Gianluca Dini, Angelica Lo Duca:
Mobile Underwater Sensor Networks for Protection and Security: Field Experience at the UAN11 Experiment. J. Field Robotics 30(2): 237-253 (2013) - [j24]Gianluca Dini, Pierfrancesco Foglia, Cosimo Antonio Prete, Michele Zanda:
A Social-Feedback Enriched Interface for Software Download. J. Organ. End User Comput. 25(1): 24-42 (2013) - [c44]Gianluca Dini, Fabio Martinelli, Andrea Saracino, Daniele Sgandurra:
Probabilistic Contract Compliance for Mobile Applications. ARES 2013: 599-606 - [c43]Gianluca Dini, Pericle Perazzo:
Integration of Privacy Protection Mechanisms in Location-Based Services. AINA Workshops 2013: 717-724 - [c42]Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Andrea Saracino, Daniele Sgandurra:
Introducing Probabilities in Contract-Based Approaches for Mobile Application Security. DPM/SETOP 2013: 284-299 - [c41]Gianluca Dini, Marco Tiloca:
On simulative analysis of attack impact in Wireless Sensor Networks. ETFA 2013: 1-8 - [c40]Marco Tiloca, Domenico De Guglielmo, Gianluca Dini, Giuseppe Anastasi:
SAD-SJ: A self-adaptive decentralized solution against Selective Jamming attack in Wireless Sensor Networks. ETFA 2013: 1-8 - [c39]Roberta Daidone, Gianluca Dini, Marco Tiloca:
STaR: a Reconfigurable and Transparent middleware for WSNs security. CONET/UBICITEC 2013: 73-88 - [c38]Roberta Daidone, Gianluca Dini, Marco Tiloca:
STaR: Security Transparency and Reconfigurability for Wireless Sensor Networks Programming. SENSORNETS 2013: 35-40 - [c37]Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra:
Evaluating the Trust of Android Applications through an Adaptive and Distributed Multi-criteria Approach. TrustCom/ISPA/IUCC 2013: 1541-1546 - [e1]Marco Zuniga, Gianluca Dini:
Sensor Systems and Software - 4th International ICST Conference, S-Cube 2013, Lucca, Italy, June 11-12, 2013, Revised Selected Papers. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 122, Springer 2013, ISBN 978-3-319-04165-0 [contents] - 2012
- [j23]Gianluca Dini, Angelica Lo Duca:
Towards a reputation-based routing protocol to contrast blackholes in a delay tolerant network. Ad Hoc Networks 10(7): 1167-1178 (2012) - [j22]Omar Cheikhrouhou, Anis Koubaa, Gianluca Dini, Hani Alzaid, Mohamed Abid:
LNT: A logical neighbor tree secure group communication scheme for wireless sensor networks. Ad Hoc Networks 10(7): 1419-1444 (2012) - [j21]Andrea Caiti, Vincenzo Calabrò, Gianluca Dini, Angelica Lo Duca, Andrea Munafò:
Secure Cooperation of Autonomous Mobile Sensors Using an Underwater Acoustic Network. Sensors 12(2): 1967-1989 (2012) - [j20]Gianluca Dini, Angelica Lo Duca:
A Secure Communication Suite for Underwater Acoustic Sensor Networks. Sensors 12(11): 15133-15158 (2012) - [c36]Gianluca Dini, Pericle Perazzo:
Uniform Obfuscation for Location Privacy. DBSec 2012: 90-105 - [c35]Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra:
A Multi-criteria-Based Evaluation of Android Applications. INTRUST 2012: 67-82 - [c34]Gianluca Dini, Fabio Martinelli, Andrea Saracino, Daniele Sgandurra:
MADAM: A Multi-level Anomaly Detector for Android Malware. MMM-ACNS 2012: 240-253 - [c33]Gianluca Dini, Marco Tiloca:
ASF: An attack simulation framework for wireless sensor networks. WiMob 2012: 203-210 - 2011
- [j19]Omar Cheikhrouhou, Anis Koubaa, Gianluca Dini, Mohamed Abid:
RiSeG: a ring based secure group communication protocol for resource-constrained wireless sensor networks. Pers. Ubiquitous Comput. 15(8): 783-797 (2011) - [j18]Gianluca Dini, Ida Maria Savino:
LARK: A Lightweight Authenticated ReKeying Scheme for Clustered Wireless Sensor Networks. ACM Trans. Embed. Comput. Syst. 10(4): 41:1-41:35 (2011) - [c32]Roberta Daidone, Gianluca Dini, Marco Tiloca:
On experimentally evaluating the impact of security on IEEE 802.15.4 networks. DCOSS 2011: 1-6 - [c31]Gianluca Dini, Angelica Lo Duca:
SeFLOOD: A secure network discovery protocol for Underwater Acoustic Networks. ISCC 2011: 636-638 - [c30]Gianluca Dini, Francesco Giurlanda, Lucia Pallottino:
Neighbourhood monitoring for decentralised coordination in multi-agent systems: A case-study. ISCC 2011: 681-683 - [c29]Gianluca Dini, Angelica Lo Duca:
A cryptographic suite for underwater cooperative applications. ISCC 2011: 870-875 - [c28]Omar Cheikhrouhou, Anis Koubaa, Gianluca Dini, Hani Alzaid, Mohamed Abid:
LNT: a Logical Neighbor Tree for Secure Group Management in Wireless Sensor Networks. ANT/MobiWIS 2011: 198-207 - [i1]Adriano Fagiolini, Gianluca Dini, Antonio Bicchi:
Distributed Intrusion Detection for the Security of Societies of Robots. CoRR abs/1101.2273 (2011) - 2010
- [j17]Gianluca Dini, Ida Maria Savino:
A Security Architecture for Reconfigurable Networked Embedded Systems. Int. J. Wirel. Inf. Networks 17(1-2): 11-25 (2010) - [c27]Omar Cheikhrouhou, Anis Koubaa, Olfa Gaddour, Gianluca Dini, Mohamed Abid:
RiSeG: A logical ring based secure group communication protocol for Wireless Sensor Networks. ICWUS 2010: 64-68 - [c26]Gianluca Dini, Francesco Giurlanda:
Scalable rekeying in dynamic multi-groups. ISCC 2010: 423-428 - [c25]Gianluca Dini, Angelica Lo Duca:
A reputation-based approach to tolerate misbehaving carriers in Delay Tolerant Networks. ISCC 2010: 772-777 - [c24]Gianluca Dini, Marco Tiloca:
Considerations on Security in ZigBee Networks. SUTC/UMC 2010: 58-65
2000 – 2009
- 2009
- [c23]Gianluca Dini, Isidoro S. La Porta:
Bloumail: an interactive tool for blocking spam at the originator. ISCC 2009: 325-328 - [c22]Gianluca Dini, Angelica Lo Duca:
On securing publish-subscribe systems with security groups. ISCC 2009: 532-537 - 2008
- [j16]Antonio Bicchi, Antonio Danesi, Gianluca Dini, Silvio La Porta, Lucia Pallottino, Ida Maria Savino, Riccardo Schiavi:
Heterogeneous Wireless Multirobot System. IEEE Robotics Autom. Mag. 15(1): 62-70 (2008) - [c21]Adriano Fagiolini, Lisa Tani, Antonio Bicchi, Gianluca Dini:
Decentralized Deployment of Mobile Sensors for Optimal Connected Sensing Coverage. DCOSS 2008: 486-491 - [c20]Gianluca Dini, Marco Pelagatti, Ida Maria Savino:
An Algorithm for Reconnecting Wireless Sensor Network Partitions. EWSN 2008: 253-267 - [c19]Adriano Fagiolini, Marco Pellinacci, Gianni Valenti, Gianluca Dini, Antonio Bicchi:
Consensus-based distributed intrusion detection for multi-robot systems. ICRA 2008: 120-127 - 2007
- [j15]Andrea Bottoni, Gianluca Dini:
Improving authentication of remote card transactions with mobile personal trusted devices. Comput. Commun. 30(8): 1697-1712 (2007) - [j14]Andrea Bottoni, Gianluca Dini, Tage Stabell-Kulø:
A methodology for verification of digital items in fair exchange protocols with active trustee. Electron. Commer. Res. 7(2): 143-164 (2007) - [j13]Karl-Erik Årzén, Antonio Bicchi, Gianluca Dini, Stephen Hailes, Karl Henrik Johansson, John Lygeros, Anthony Tzes:
A Component-Based Approach to the Design of Networked Control Systems. Eur. J. Control 13(2-3): 261-279 (2007) - [c18]Adriano Fagiolini, Gianni Valenti, Lucia Pallottino, Gianluca Dini, Antonio Bicchi:
Local Monitor Implementation for Decentralized Intrusion Detection in Secure Multi-Agent Systems. CASE 2007: 454-459 - [c17]Adriano Fagiolini, Gianni Valenti, Lucia Pallottino, Gianluca Dini, Antonio Bicchi:
Decentralized intrusion detection for secure cooperative multi-agent systems. CDC 2007: 1553-1558 - [c16]Gianluca Dini, Marco Pelagatti, Ida Maria Savino:
Repairing network partitions in Wireless Sensor Networks. MASS 2007: 1-3 - [c15]Simone Lupetti, Gianluca Dini:
Practical Verification of Untrusted Terminals using Remote Attestation. SECRYPT 2007: 402-407 - 2006
- [j12]Gianluca Dini, Giuseppe Lettieri, Lanfranco Lopriore:
Caching and prefetching algorithms for programs with looping reference patterns. Comput. J. 49(1): 42-61 (2006) - [c14]Gianluca Dini, Ida Maria Savino:
S2RP: a Secure and Scalable Rekeying Protocol for Wireless Sensor Networks. MASS 2006: 457-466 - [c13]Andrea Bottoni, Gianluca Dini:
An Overview of VOAC, a Virtual Organizations Access Control Infrastructure. Parallel and Distributed Computing and Networks 2006: 29-34 - [c12]Gianluca Dini, Ida Maria Savino:
Scalable and Secure Group Rekeying in Wireless Sensor Networks. Parallel and Distributed Computing and Networks 2006: 84-88 - [c11]Gianluca Dini, Ida Maria Savino:
An Efficient Key Revocation Protocol for Wireless Sensor Networks. WOWMOM 2006: 450-452 - [c10]Andrea Bottoni, Gianluca Dini, Evangelos Kranakis:
Credentials and Beliefs in Remote Trusted Platforms Attestation. WOWMOM 2006: 662-667 - 2005
- [c9]Cinzia Bernardeschi, Gianluca Dini, Andrea Domenici:
FACT: A Tool for Code Generation from Communicating Automata. IASTED Conf. on Software Engineering 2005: 313-318 - 2003
- [j11]Gianluca Dini:
A secure and available electronic voting service for a large-scale distributed system. Future Gener. Comput. Syst. 19(1): 69-85 (2003) - 2002
- [c8]Gianluca Dini:
Increasing security and availability of an Internet voting system. ISCC 2002: 347-354 - 2001
- [j10]Gianluca Dini:
Electronic voting in a large-scale distributed system. Networks 38(1): 22-32 (2001) - [j9]Alberto Bartoli, Gianluca Dini, Lanfranco Lopriore:
Application-controlled memory management in a single address space environment. Int. J. Softw. Tools Technol. Transf. 3(2): 235-245 (2001) - 2000
- [j8]Alberto Bartoli, Gianluca Dini, Lanfranco Lopriore:
Single address space implementation in distributed systems. Concurr. Pract. Exp. 12(4): 251-280 (2000) - [j7]Gianluca Dini, Lanfranco Lopriore:
Sharing objects in a distributed, single address space environment. Future Gener. Comput. Syst. 17(3): 247-264 (2000) - [c7]Gianluca Dini, Giuseppe Lettieri, Lanfranco Lopriore:
An Overview of Ulisse, a Distributed Single Address Space System. POS 2000: 215-227
1990 – 1999
- 1999
- [c6]Özalp Babaoglu, Alberto Bartoli, Gianluca Dini:
Programming Partition-Aware Network Applications. Advances in Distributed Systems 1999: 182-212 - [c5]Gianluca Dini, Giuseppe Lettieri, Lanfranco Lopriore:
Recoverable-Persistence in a Distributed Single Address Space. Applied Informatics 1999: 477-480 - [c4]Gianluca Dini, Giuseppe Lettieri, Lanfranco Lopriore:
Implementing a Distributed Single Address Space in the Presence of Failures. PDPTA 1999: 355-361 - 1998
- [j6]Alberto Bartoli, Gianluca Dini:
Mechanisms for application-level recoverable-persistence in a single address space. Microprocess. Microsystems 22(5): 247-261 (1998) - [c3]Tage Stabell-Kulø, Arne Helme, Gianluca Dini:
Detecting Key-Dependencies. ACISP 1998: 356-366 - 1997
- [j5]Özalp Babaoglu, Alberto Bartoli, Gianluca Dini:
Enriched View Synchrony: A Programming Paradigm for Partitionable Asynchronous Distributed Systems. IEEE Trans. Computers 46(6): 642-658 (1997) - 1996
- [c2]Özalp Babaoglu, Alberto Bartoli, Gianluca Dini:
On Programming with View Synchrony. ICDCS 1996: 3-10 - 1995
- [j4]Alberto Bartoli, Gianluca Dini, Marco Luise, G. Pazzaglia, Cosimo Antonio Prete, Aldo N. D'Andrea:
Reusing sequential software in a distributed environment. Distributed Syst. Eng. 2(1): 2-13 (1995) - [j3]Alberto Bartoli, Paolo Corsini, Gianluca Dini, Cosimo Antonio Prete:
Graphical design of distributed applications through reusable components. IEEE Parallel Distributed Technol. Syst. Appl. 3(1): 37-50 (1995) - [j2]Alberto Bartoli, Gianluca Dini:
Implementing distributed process farms. Microprocess. Microsystems 19(7): 413-422 (1995) - 1994
- [c1]Özalp Babaoglu, Alberto Bartoli, Gianluca Dini:
Replicated File Management in Large-Scale Distributed Systems. WDAG 1994: 1-16 - 1991
- [j1]Alberto Bartoli, Gianluca Dini:
Supporting load distribution strategies in message-passing multiprocessors: a case study. Microprocess. Microsystems 15(10): 549-558 (1991)
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 2025-01-22 21:29 CET 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:
