default search action
Gianluca Dini
Person information
- affiliation: University of Pisa, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j61]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) - [c74]Gianluca Dini:
On Implementing Linear Regression on Homomorphically Encrypted Data: A Case-Study. ARES 2024: 111:1-111:8 - 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]