Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Flaminia L. Luccio
@article{DBLP:journals/sncs/VeronesePFL23, author = {Leonardo Veronese and Francesco Palmarini and Riccardo Focardi and Flaminia L. Luccio}, title = {Design and Implementation of Fast and Cost-Effective FPGA-Based Fuzzy Rainbow Tradeoffs}, journal = {{SN} Comput. Sci.}, volume = {4}, number = {4}, pages = {330}, year = {2023}, url = {https://doi.org/10.1007/s42979-023-01762-9}, doi = {10.1007/S42979-023-01762-9}, timestamp = {Thu, 15 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sncs/VeronesePFL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/chira/PaoliCL23, author = {Irene De Paoli and Alessia Michela Di Campi and Flaminia L. Luccio}, editor = {Hugo Pl{\'{a}}cido da Silva and Pietro Cipresso}, title = {Accessible Applications to Improve the Tourist Experience}, booktitle = {Computer-Human Interaction Research and Applications - 7th International Conference, {CHIRA} 2023, Rome, Italy, November 16-17, 2023, Proceedings, Part {II}}, series = {Communications in Computer and Information Science}, volume = {1997}, pages = {43--65}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-49368-3\_4}, doi = {10.1007/978-3-031-49368-3\_4}, timestamp = {Sat, 10 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/chira/PaoliCL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csr2/PalmariniVBFL23, author = {Francesco Palmarini and Leonardo Veronese and Matteo Busi and Riccardo Focardi and Flaminia L. Luccio}, title = {A Recipe for Cost-Effective Secure IoT: the Safe Place Project Case Study}, booktitle = {{IEEE} International Conference on Cyber Security and Resilience, {CSR} 2023, Venice, Italy, July 31 - Aug. 2, 2023}, pages = {99--104}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/CSR57506.2023.10225007}, doi = {10.1109/CSR57506.2023.10225007}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/csr2/PalmariniVBFL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esorics/CampiFL22, author = {Alessia Michela Di Campi and Riccardo Focardi and Flaminia L. Luccio}, editor = {Vijayalakshmi Atluri and Roberto Di Pietro and Christian Damsgaard Jensen and Weizhi Meng}, title = {The Revenge of Password Crackers: Automated Training of Password Cracking Tools}, booktitle = {Computer Security - {ESORICS} 2022 - 27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26-30, 2022, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {13555}, pages = {317--336}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-17146-8\_16}, doi = {10.1007/978-3-031-17146-8\_16}, timestamp = {Tue, 18 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esorics/CampiFL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icissp/VeronesePFL22, author = {Leonardo Veronese and Francesco Palmarini and Riccardo Focardi and Flaminia L. Luccio}, editor = {Paolo Mori and Gabriele Lenzini and Steven Furnell}, title = {A Fast and Cost-effective Design for FPGA-based Fuzzy Rainbow Tradeoffs}, booktitle = {Proceedings of the 8th International Conference on Information Systems Security and Privacy, {ICISSP} 2022, Online Streaming, February 9-11, 2022}, pages = {165--176}, publisher = {{SCITEPRESS}}, year = {2022}, url = {https://doi.org/10.5220/0010904300003120}, doi = {10.5220/0010904300003120}, timestamp = {Tue, 06 Jun 2023 14:58:01 +0200}, biburl = {https://dblp.org/rec/conf/icissp/VeronesePFL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcs/BodeiCDFGLTV21, author = {Chiara Bodei and Lorenzo Ceragioli and Pierpaolo Degano and Riccardo Focardi and Letterio Galletta and Flaminia L. Luccio and Mauro Tempesta and Lorenzo Veronese}, title = {{FWS:} Analyzing, maintaining and transcompiling firewalls}, journal = {J. Comput. Secur.}, volume = {29}, number = {1}, pages = {77--134}, year = {2021}, url = {https://doi.org/10.3233/JCS-200017}, doi = {10.3233/JCS-200017}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcs/BodeiCDFGLTV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/FocardiL21, author = {Riccardo Focardi and Flaminia L. Luccio}, editor = {Daniel Dougherty and Jos{\'{e}} Meseguer and Sebastian Alexander M{\"{o}}dersheim and Paul D. Rowe}, title = {Secure Key Management Policies in Strand Spaces}, booktitle = {Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday}, series = {Lecture Notes in Computer Science}, volume = {13066}, pages = {175--197}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-91631-2\_10}, doi = {10.1007/978-3-030-91631-2\_10}, timestamp = {Thu, 21 Sep 2023 09:08:34 +0200}, biburl = {https://dblp.org/rec/conf/birthday/FocardiL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/FocardiL21, author = {Riccardo Focardi and Flaminia L. Luccio}, editor = {Yongdae Kim and Jong Kim and Giovanni Vigna and Elaine Shi}, title = {A Formally Verified Configuration for Hardware Security Modules in the Cloud}, booktitle = {{CCS} '21: 2021 {ACM} {SIGSAC} Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15 - 19, 2021}, pages = {412--428}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3460120.3484785}, doi = {10.1145/3460120.3484785}, timestamp = {Tue, 16 Nov 2021 12:59:46 +0100}, biburl = {https://dblp.org/rec/conf/ccs/FocardiL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itasec/BenvenutoPFL21, author = {Francesco Benvenuto and Francesco Palmarini and Riccardo Focardi and Flaminia L. Luccio}, editor = {Alessandro Armando and Michele Colajanni}, title = {Firmware Extraction from Real IoT Devices through Power Analysis of {AES}}, booktitle = {Proceedings of the Italian Conference on Cybersecurity, {ITASEC} 2021, All Digital Event, April 7-9, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2940}, pages = {461--474}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2940/paper39.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:11 +0100}, biburl = {https://dblp.org/rec/conf/itasec/BenvenutoPFL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2109-13631, author = {Riccardo Focardi and Flaminia L. Luccio}, title = {A Formally Verified Configuration for Hardware Security Modules in the Cloud}, journal = {CoRR}, volume = {abs/2109.13631}, year = {2021}, url = {https://arxiv.org/abs/2109.13631}, eprinttype = {arXiv}, eprint = {2109.13631}, timestamp = {Mon, 04 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2109-13631.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/information/WahshehL20, author = {Heider A. M. Wahsheh and Flaminia L. Luccio}, title = {Security and Privacy of {QR} Code Applications: {A} Comprehensive Study, General Guidelines and Solutions}, journal = {Inf.}, volume = {11}, number = {4}, pages = {217}, year = {2020}, url = {https://doi.org/10.3390/info11040217}, doi = {10.3390/INFO11040217}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/information/WahshehL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/FocardiL20, author = {Riccardo Focardi and Flaminia L. Luccio}, title = {Automated Analysis of PUF-based Protocols}, booktitle = {33rd {IEEE} Computer Security Foundations Symposium, {CSF} 2020, Boston, MA, USA, June 22-26, 2020}, pages = {304--317}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/CSF49147.2020.00029}, doi = {10.1109/CSF49147.2020.00029}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/FocardiL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/goodtechs/LuccioG20, author = {Flaminia L. Luccio and Diego Gaspari}, editor = {Catia Prandi and Johann M{\'{a}}rquez{-}Barja}, title = {Learning Sign Language from a Sanbot Robot}, booktitle = {GoodTechs '20: 6th {EAI} International Conference on Smart Objects and Technologies for Social Good, Antwerp, Belgium, September 14-16, 2020}, pages = {138--143}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3411170.3411252}, doi = {10.1145/3411170.3411252}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/goodtechs/LuccioG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/opodis/0001GLM20, author = {Shantanu Das and Nikos Giachoudis and Flaminia L. Luccio and Euripides Markou}, editor = {Quentin Bramas and Rotem Oshman and Paolo Romano}, title = {Broadcasting with Mobile Agents in Dynamic Networks}, booktitle = {24th International Conference on Principles of Distributed Systems, {OPODIS} 2020, December 14-16, 2020, Strasbourg, France (Virtual Conference)}, series = {LIPIcs}, volume = {184}, pages = {24:1--24:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2020}, url = {https://doi.org/10.4230/LIPIcs.OPODIS.2020.24}, doi = {10.4230/LIPICS.OPODIS.2020.24}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/opodis/0001GLM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/istr/FocardiLW19, author = {Riccardo Focardi and Flaminia L. Luccio and Heider A. M. Wahsheh}, title = {Usable security for {QR} code}, journal = {J. Inf. Secur. Appl.}, volume = {48}, year = {2019}, url = {https://doi.org/10.1016/j.jisa.2019.102369}, doi = {10.1016/J.JISA.2019.102369}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/istr/FocardiLW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/DasFLMS19, author = {Shantanu Das and Riccardo Focardi and Flaminia L. Luccio and Euripides Markou and Marco Squarcina}, title = {Gathering of robots in a ring with mobile faults}, journal = {Theor. Comput. Sci.}, volume = {764}, pages = {42--60}, year = {2019}, url = {https://doi.org/10.1016/j.tcs.2018.05.002}, doi = {10.1016/J.TCS.2018.05.002}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/DasFLMS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/goodtechs/CarisiAL19, author = {Matteo Carisi and Andrea Albarelli and Flaminia L. Luccio}, editor = {Pietro Manzoni and Armir Bujari}, title = {Design and implementation of an airport chatbot}, booktitle = {Proceedings of the 5th {EAI} International Conference on Smart Objects and Technologies for Social Good, GoodTechs 2019, Valencia, Spain, September 25-27, 2019}, pages = {49--54}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3342428.3342664}, doi = {10.1145/3342428.3342664}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/goodtechs/CarisiAL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icissp/WahshehL19, author = {Heider A. M. Wahsheh and Flaminia L. Luccio}, editor = {Paolo Mori and Steven Furnell and Olivier Camp}, title = {Evaluating Security, Privacy and Usability Features of {QR} Code Readers}, booktitle = {Proceedings of the 5th International Conference on Information Systems Security and Privacy, {ICISSP} 2019, Prague, Czech Republic, February 23-25, 2019}, pages = {266--273}, publisher = {SciTePress}, year = {2019}, url = {https://doi.org/10.5220/0007346202660273}, doi = {10.5220/0007346202660273}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icissp/WahshehL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/0001GLM19, author = {Shantanu Das and Nikos Giachoudis and Flaminia L. Luccio and Euripides Markou}, editor = {Barbara Catania and Rastislav Kr{\'{a}}lovic and Jerzy R. Nawrocki and Giovanni Pighizzini}, title = {Gathering of Robots in a Grid with Mobile Faults}, booktitle = {{SOFSEM} 2019: Theory and Practice of Computer Science - 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 27-30, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11376}, pages = {164--178}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-10801-4\_14}, doi = {10.1007/978-3-030-10801-4\_14}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/0001GLM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sg/DattoloLMR18, author = {Antonina Dattolo and Flaminia L. Luccio and Chiara De March and Eleonora De Riu}, title = {Designing Tourism Websites for Children: Guidelines and Experimental Results}, journal = {{EAI} Endorsed Trans. Serious Games}, volume = {5}, number = {16}, pages = {e1}, year = {2018}, url = {https://doi.org/10.4108/eai.5-1-2018.155084}, doi = {10.4108/EAI.5-1-2018.155084}, timestamp = {Wed, 22 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sg/DattoloLMR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/goodtechs/LuccioB18, author = {Flaminia L. Luccio and Lisa Beltrame}, editor = {Marco Furini and Silvia Mirri and Kevin Bouchard and Barbara Guidi}, title = {Accessible Tourism for Users with Hearing Loss}, booktitle = {Proceedings of the 4th {EAI} International Conference on Smart Objects and Technologies for Social Good, {GOODTECHS} 2018, Bologna, Italy, November 28-30, 2018}, pages = {243--248}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3284869.3284909}, doi = {10.1145/3284869.3284909}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/goodtechs/LuccioB18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icit2/FocardiLW18, author = {Riccardo Focardi and Flaminia L. Luccio and Heider A. M. Wahsheh}, title = {Usable cryptographic {QR} codes}, booktitle = {{IEEE} International Conference on Industrial Technology, {ICIT} 2018, Lyon, France, February 20-22, 2018}, pages = {1664--1669}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/ICIT.2018.8352431}, doi = {10.1109/ICIT.2018.8352431}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icit2/FocardiLW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/FocardiL18, author = {Riccardo Focardi and Flaminia L. Luccio}, editor = {Alessandro Aldini and Marco Bernardo}, title = {Neural Cryptanalysis of Classical Ciphers}, booktitle = {Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2243}, pages = {104--115}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2243/paper10.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/FocardiL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/18/FocardiLW18, author = {Riccardo Focardi and Flaminia L. Luccio and Heider A. M. Wahsheh}, editor = {Kevin Daimi}, title = {Security Threats and Solutions for Two-Dimensional Barcodes: {A} Comparative Study}, booktitle = {Computer and Network Security Essentials}, pages = {207--219}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-58424-9\_12}, doi = {10.1007/978-3-319-58424-9\_12}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/18/FocardiLW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/amsys/DattoloL17, author = {Antonina Dattolo and Flaminia L. Luccio}, title = {Accessible and UsableWebsites and Mobile Applications for People with Autism Spectrum Disorders: a Comparative Study}, journal = {{EAI} Endorsed Trans. Ambient Syst.}, volume = {4}, number = {13}, pages = {e5}, year = {2017}, url = {https://doi.org/10.4108/eai.17-5-2017.152549}, doi = {10.4108/EAI.17-5-2017.152549}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/amsys/DattoloL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/goodtechs/DattoloML17, author = {Antonina Dattolo and Chiara De March and Flaminia L. Luccio}, editor = {Barbara Guidi and Laura Ricci and Carlos T. Calafate and Ombretta Gaggi and Johann M{\'{a}}rquez{-}Barja}, title = {Usable and Accessible Tourism Websites for Children: {A} Case Study of a Naturalistic Oasis}, booktitle = {Smart Objects and Technologies for Social Good - Third International Conference, {GOODTECHS} 2017, Pisa, Italy, November 29-30, 2017, Proceedings}, series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering}, volume = {233}, pages = {195--205}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-76111-4\_20}, doi = {10.1007/978-3-319-76111-4\_20}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/goodtechs/DattoloML17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/AdaoFGL16, author = {Pedro Ad{\~{a}}o and Riccardo Focardi and Joshua D. Guttman and Flaminia L. Luccio}, title = {Localizing Firewall Security Policies}, booktitle = {{IEEE} 29th Computer Security Foundations Symposium, {CSF} 2016, Lisbon, Portugal, June 27 - July 1, 2016}, pages = {194--209}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/CSF.2016.21}, doi = {10.1109/CSF.2016.21}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/AdaoFGL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/goodtechs/DattoloL16, author = {Antonina Dattolo and Flaminia L. Luccio}, editor = {Ombretta Gaggi and Pietro Manzoni and Claudio E. Palazzi and Armir Bujari and Johann M{\'{a}}rquez{-}Barja}, title = {A Review of Websites and Mobile Applications for People with Autism Spectrum Disorders: Towards Shared Guidelines}, booktitle = {Smart Objects and Technologies for Social Good - Second International Conference, {GOODTECHS} 2016, Venice, Italy, November 30 - December 1, 2016, Proceedings}, series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering}, volume = {195}, pages = {264--273}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-61949-1\_28}, doi = {10.1007/978-3-319-61949-1\_28}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/goodtechs/DattoloL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictcs/0001FLMMS16, author = {Shantanu Das and Riccardo Focardi and Flaminia L. Luccio and Euripides Markou and Davide Moro and Marco Squarcina}, editor = {Vittorio Bil{\`{o}} and Antonio Caruso}, title = {Gathering of Robots in a Ring with Mobile Faults}, booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer Science, Lecce, Italy, September 7-9, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1720}, pages = {122--135}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1720/full9.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/0001FLMMS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/algosensors/KranakisKLS15, author = {Evangelos Kranakis and Danny Krizanc and Flaminia L. Luccio and Brett Smith}, editor = {Prosenjit Bose and Leszek Antoni Gasieniec and Kay R{\"{o}}mer and Roger Wattenhofer}, title = {Maintaining Intruder Detection Capability in a Rectangular Domain with Sensors}, booktitle = {Algorithms for Sensor Systems - 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, {ALGOSENSORS} 2015, Patras, Greece, September 17-18, 2015, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {9536}, pages = {27--40}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-28472-9\_3}, doi = {10.1007/978-3-319-28472-9\_3}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/algosensors/KranakisKLS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/algosensors/0001LM15, author = {Shantanu Das and Flaminia L. Luccio and Euripides Markou}, editor = {Prosenjit Bose and Leszek Antoni Gasieniec and Kay R{\"{o}}mer and Roger Wattenhofer}, title = {Mobile Agents Rendezvous in Spite of a Malicious Agent}, booktitle = {Algorithms for Sensor Systems - 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, {ALGOSENSORS} 2015, Patras, Greece, September 17-18, 2015, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {9536}, pages = {211--224}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-28472-9\_16}, doi = {10.1007/978-3-319-28472-9\_16}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/algosensors/0001LM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mst/KranakisKL14, author = {Evangelos Kranakis and Danny Krizanc and Flaminia L. Luccio}, title = {Editorial: Fun with Algorithms}, journal = {Theory Comput. Syst.}, volume = {54}, number = {4}, pages = {529--530}, year = {2014}, url = {https://doi.org/10.1007/s00224-013-9503-y}, doi = {10.1007/S00224-013-9503-Y}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mst/KranakisKL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/AdaoBRFL14, author = {Pedro Ad{\~{a}}o and Claudio Bozzato and G. Dei Rossi and Riccardo Focardi and Flaminia L. Luccio}, title = {Mignis: {A} Semantic Based Tool for Firewall Configuration}, booktitle = {{IEEE} 27th Computer Security Foundations Symposium, {CSF} 2014, Vienna, Austria, 19-22 July, 2014}, pages = {351--365}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/CSF.2014.32}, doi = {10.1109/CSF.2014.32}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/AdaoBRFL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/LuccioM14, author = {Flaminia L. Luccio and Euripides Markou}, title = {Mobile Agents Rendezvous in spite of a Malicious Agent}, journal = {CoRR}, volume = {abs/1410.4772}, year = {2014}, url = {http://arxiv.org/abs/1410.4772}, eprinttype = {arXiv}, eprint = {1410.4772}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/LuccioM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcs/CentenaroFL13, author = {Matteo Centenaro and Riccardo Focardi and Flaminia L. Luccio}, title = {Type-based analysis of key management in PKCS{\#}11 cryptographic devices}, journal = {J. Comput. Secur.}, volume = {21}, number = {6}, pages = {971--1007}, year = {2013}, url = {https://doi.org/10.3233/JCS-130479}, doi = {10.3233/JCS-130479}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcs/CentenaroFL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/AdaoFL13, author = {Pedro Ad{\~{a}}o and Riccardo Focardi and Flaminia L. Luccio}, title = {Type-Based Analysis of Generic Key Management APIs}, booktitle = {2013 {IEEE} 26th Computer Security Foundations Symposium, New Orleans, LA, USA, June 26-28, 2013}, pages = {97--111}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/CSF.2013.14}, doi = {10.1109/CSF.2013.14}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/AdaoFL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/AdaoFL13, author = {Pedro Ad{\~{a}}o and Riccardo Focardi and Flaminia L. Luccio}, title = {Type-Based Analysis of Generic Key Management APIs (Long Version)}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {237}, year = {2013}, url = {http://eprint.iacr.org/2013/237}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/AdaoFL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mst/FocardiL12, author = {Riccardo Focardi and Flaminia L. Luccio}, title = {Guessing Bank PINs by Winning a Mastermind Game}, journal = {Theory Comput. Syst.}, volume = {50}, number = {1}, pages = {52--71}, year = {2012}, url = {https://doi.org/10.1007/s00224-011-9340-9}, doi = {10.1007/S00224-011-9340-9}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mst/FocardiL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/post/CentenaroFL12, author = {Matteo Centenaro and Riccardo Focardi and Flaminia L. Luccio}, editor = {Pierpaolo Degano and Joshua D. Guttman}, title = {Type-Based Analysis of PKCS{\#}11 Key Management}, booktitle = {Principles of Security and Trust - First International Conference, {POST} 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7215}, pages = {349--368}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28641-4\_19}, doi = {10.1007/978-3-642-28641-4\_19}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/post/CentenaroFL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fun/2012, editor = {Evangelos Kranakis and Danny Krizanc and Flaminia L. Luccio}, title = {Fun with Algorithms - 6th International Conference, {FUN} 2012, Venice, Italy, June 4-6, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7288}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-30347-0}, doi = {10.1007/978-3-642-30347-0}, isbn = {978-3-642-30346-3}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fun/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mobisec/2011, editor = {Ramjee Prasad and K{\'{a}}roly Farkas and Andreas U. Schmidt and Antonio Lioy and Giovanni Russello and Flaminia L. Luccio}, title = {Security and Privacy in Mobile Information and Communication Systems - Third International {ICST} Conference, MobiSec 2011, Aalborg, Denmark, May 17-19, 2011, Revised Selected Papers}, series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering}, volume = {94}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-30244-2}, doi = {10.1007/978-3-642-30244-2}, isbn = {978-3-642-30243-5}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mobisec/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fosad/FocardiLS10, author = {Riccardo Focardi and Flaminia L. Luccio and Graham Steel}, editor = {Alessandro Aldini and Roberto Gorrieri}, title = {An Introduction to Security {API} Analysis}, booktitle = {Foundations of Security Analysis and Design {VI} - {FOSAD} Tutorial Lectures}, series = {Lecture Notes in Computer Science}, volume = {6858}, pages = {35--65}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-23082-0\_2}, doi = {10.1007/978-3-642-23082-0\_2}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/fosad/FocardiLS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip1-7/FocardiL11, author = {Riccardo Focardi and Flaminia L. Luccio}, editor = {Gilles Barthe and Anupam Datta and Sandro Etalle}, title = {Secure Recharge of Disposable {RFID} Tickets}, booktitle = {Formal Aspects of Security and Trust - 8th International Workshop, {FAST} 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7140}, pages = {85--99}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-29420-4\_6}, doi = {10.1007/978-3-642-29420-4\_6}, timestamp = {Sat, 19 Oct 2019 20:16:12 +0200}, biburl = {https://dblp.org/rec/conf/ifip1-7/FocardiL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fun/FocardiL10, author = {Riccardo Focardi and Flaminia L. Luccio}, editor = {Paolo Boldi and Luisa Gargano}, title = {Cracking Bank PINs by Playing Mastermind}, booktitle = {Fun with Algorithms, 5th International Conference, {FUN} 2010, Ischia, Italy, June 2-4, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6099}, pages = {202--213}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-13122-6\_21}, doi = {10.1007/978-3-642-13122-6\_21}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/fun/FocardiL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip1-7/FocardiL10, author = {Riccardo Focardi and Flaminia L. Luccio}, editor = {Alessandro Armando and Gavin Lowe}, title = {Secure Upgrade of Hardware Security Modules in Bank Networks}, booktitle = {Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, {ARSPA-WITS} 2010, Paphos, Cyprus, March 27-28, 2010. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6186}, pages = {95--110}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16074-5\_7}, doi = {10.1007/978-3-642-16074-5\_7}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/ifip1-7/FocardiL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mst/Luccio09, author = {Flaminia L. Luccio}, title = {Contiguous Search Problem in Sierpinski Graphs}, journal = {Theory Comput. Syst.}, volume = {44}, number = {2}, pages = {186--204}, year = {2009}, url = {https://doi.org/10.1007/s00224-008-9116-z}, doi = {10.1007/S00224-008-9116-Z}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mst/Luccio09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esorics/CentenaroFLS09, author = {Matteo Centenaro and Riccardo Focardi and Flaminia L. Luccio and Graham Steel}, editor = {Michael Backes and Peng Ning}, title = {Type-Based Analysis of {PIN} Processing APIs}, booktitle = {Computer Security - {ESORICS} 2009, 14th European Symposium on Research in Computer Security, Saint-Malo, France, September 21-23, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5789}, pages = {53--68}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04444-1\_4}, doi = {10.1007/978-3-642-04444-1\_4}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esorics/CentenaroFLS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nordsec/FocardiLS09, author = {Riccardo Focardi and Flaminia L. Luccio and Graham Steel}, editor = {Audun J{\o}sang and Torleiv Maseng and Svein J. Knapskog}, title = {Blunting Differential Attacks on {PIN} Processing APIs}, booktitle = {Identity and Privacy in the Internet Age, 14th Nordic Conference on Secure {IT} Systems, NordSec 2009, Oslo, Norway, 14-16 October 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5838}, pages = {88--103}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04766-4\_7}, doi = {10.1007/978-3-642-04766-4\_7}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/nordsec/FocardiLS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/networks/FlocchiniHL08, author = {Paola Flocchini and Miao Jun Huang and Flaminia L. Luccio}, title = {Decontamination of hypercubes by mobile agents}, journal = {Networks}, volume = {52}, number = {3}, pages = {167--178}, year = {2008}, url = {https://doi.org/10.1002/net.20240}, doi = {10.1002/NET.20240}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/networks/FlocchiniHL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/webist/DattoloL08, author = {Antonina Dattolo and Flaminia L. Luccio}, editor = {Jos{\'{e}} Cordeiro and Joaquim Filipe and Slimane Hammoudi}, title = {Formalizing a Model to Represent and Visualize Concept Spaces in E-Learning Environments}, booktitle = {{WEBIST} 2008, Proceedings of the Fourth International Conference on Web Information Systems and Technologies, Volume 1, Funchal, Madeira, Portugal, May 4-7, 2008}, pages = {339--346}, publisher = {{INSTICC} Press}, year = {2008}, timestamp = {Mon, 18 Aug 2008 10:42:11 +0200}, biburl = {https://dblp.org/rec/conf/webist/DattoloL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/webist/DattoloL08a, author = {Antonina Dattolo and Flaminia L. Luccio}, editor = {Jos{\'{e}} Cordeiro and Slimane Hammoudi and Joaquim Filipe}, title = {A New Concept Map Model for E-Learning Environments}, booktitle = {Web Information Systems and Technologies, 4th International Conference, {WEBIST} 2008, Funchal, Madeira, Portugal, May 4-7, 2008, Revised Selected Papers}, series = {Lecture Notes in Business Information Processing}, volume = {18}, pages = {404--417}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-01344-7\_30}, doi = {10.1007/978-3-642-01344-7\_30}, timestamp = {Tue, 16 Aug 2022 23:04:36 +0200}, biburl = {https://dblp.org/rec/conf/webist/DattoloL08a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijfcs/FlocchiniHL07, author = {Paola Flocchini and Miao Jun Huang and Flaminia L. Luccio}, title = {Decontaminating Chordal Rings and Tori Using Mobile Agents}, journal = {Int. J. Found. Comput. Sci.}, volume = {18}, number = {3}, pages = {547--563}, year = {2007}, url = {https://doi.org/10.1142/S0129054107004838}, doi = {10.1142/S0129054107004838}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijfcs/FlocchiniHL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/LuccioS07, author = {Flaminia L. Luccio and Jop F. Sibeyn}, title = {Feedback vertex sets in mesh-based networks}, journal = {Theor. Comput. Sci.}, volume = {383}, number = {1}, pages = {86--101}, year = {2007}, url = {https://doi.org/10.1016/j.tcs.2007.03.051}, doi = {10.1016/J.TCS.2007.03.051}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/LuccioS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fun/Luccio07, author = {Flaminia L. Luccio}, editor = {Pierluigi Crescenzi and Giuseppe Prencipe and Geppino Pucci}, title = {Intruder Capture in Sierpinski Graphs}, booktitle = {Fun with Algorithms, 4th International Conference, {FUN} 2007, Castiglioncello, Italy, June 3-5, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4475}, pages = {249--261}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-72914-3\_22}, doi = {10.1007/978-3-540-72914-3\_22}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/fun/Luccio07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipps/FlocchiniHL06, author = {Paola Flocchini and Miao Jim Huang and Flaminia L. Luccio}, title = {Decontamination of chordal rings and tori}, booktitle = {20th International Parallel and Distributed Processing Symposium {(IPDPS} 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece}, publisher = {{IEEE}}, year = {2006}, url = {https://doi.org/10.1109/IPDPS.2006.1639545}, doi = {10.1109/IPDPS.2006.1639545}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ipps/FlocchiniHL06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cic/FlocchiniLS05, author = {Paola Flocchini and Flaminia L. Luccio and Lisa Xiuli Song}, editor = {Brian J. d'Auriol and Hamid R. Arabnia}, title = {Size Optimal Strategies for Capturing an Intruder in Mesh Networks}, booktitle = {Proceedings of the 2005 International Conference on Communications in Computing, {CIC} 2005, Las Vegas, Nevada, {USA}}, pages = {200--206}, publisher = {{CSREA} Press}, year = {2005}, timestamp = {Wed, 25 Jan 2006 13:43:17 +0100}, biburl = {https://dblp.org/rec/conf/cic/FlocchiniLS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipps/FlocchiniHL05, author = {Paola Flocchini and Miao Jun Huang and Flaminia L. Luccio}, title = {Contiguous Search in the Hypercube for Capturing an Intruder}, booktitle = {19th International Parallel and Distributed Processing Symposium {(IPDPS} 2005), {CD-ROM} / Abstracts Proceedings, 4-8 April 2005, Denver, CO, {USA}}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/IPDPS.2005.151}, doi = {10.1109/IPDPS.2005.151}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ipps/FlocchiniHL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cl/BraghinCFLP04, author = {Chiara Braghin and Agostino Cortesi and Riccardo Focardi and Flaminia L. Luccio and Carla Piazza}, title = {Nesting analysis of mobile ambients}, journal = {Comput. Lang. Syst. Struct.}, volume = {30}, number = {3-4}, pages = {207--230}, year = {2004}, url = {https://doi.org/10.1016/j.cl.2004.02.004}, doi = {10.1016/J.CL.2004.02.004}, timestamp = {Tue, 11 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cl/BraghinCFLP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dam/FocardiL04, author = {Riccardo Focardi and Flaminia L. Luccio}, title = {A modular approach to Sprouts}, journal = {Discret. Appl. Math.}, volume = {144}, number = {3}, pages = {303--319}, year = {2004}, url = {https://doi.org/10.1016/j.dam.2003.11.008}, doi = {10.1016/J.DAM.2003.11.008}, timestamp = {Thu, 11 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dam/FocardiL04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jpdc/FlocchiniKKLS04, author = {Paola Flocchini and Evangelos Kranakis and Danny Krizanc and Flaminia L. Luccio and Nicola Santoro}, title = {Sorting and election in anonymous asynchronous rings}, journal = {J. Parallel Distributed Comput.}, volume = {64}, number = {2}, pages = {254--265}, year = {2004}, url = {https://doi.org/10.1016/j.jpdc.2003.11.007}, doi = {10.1016/J.JPDC.2003.11.007}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jpdc/FlocchiniKKLS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mst/KrizancLR04, author = {Danny Krizanc and Flaminia L. Luccio and Rajeev Raman}, title = {Compact Routing Schemes for Dynamic Ring Networks}, journal = {Theory Comput. Syst.}, volume = {37}, number = {5}, pages = {585--607}, year = {2004}, url = {https://doi.org/10.1007/s00224-004-1080-z}, doi = {10.1007/S00224-004-1080-Z}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mst/KrizancLR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/winet/AnastasiBL04, author = {Giuseppe Anastasi and Alberto Bartoli and Flaminia L. Luccio}, title = {Fault-tolerant support for reliable multicast in Mobile Wireless Systems: Design and Evaluation}, journal = {Wirel. Networks}, volume = {10}, number = {3}, pages = {259--269}, year = {2004}, url = {http://ipsapp008.kluweronline.com/IPS/content/ext/x/J/5233/I/44/A/5/abstract.htm}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/winet/AnastasiBL04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sirocco/FlocchiniKKLSS04, author = {Paola Flocchini and Evangelos Kranakis and Danny Krizanc and Flaminia L. Luccio and Nicola Santoro and Cindy Sawchuk}, editor = {Rastislav Kralovic and Ondrej S{\'{y}}kora}, title = {Mobile Agents Rendezvous When Tokens Fail}, booktitle = {Structural Information and Communication Complexity, 11th International Colloquium , {SIROCCO} 2004, Smolenice Castle, Slovakia, June 21-23, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3104}, pages = {161--172}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-27796-5\_15}, doi = {10.1007/978-3-540-27796-5\_15}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/sirocco/FlocchiniKKLSS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sirocco/LuccioS04, author = {Flaminia L. Luccio and Jop F. Sibeyn}, editor = {Rastislav Kralovic and Ondrej S{\'{y}}kora}, title = {Tighter Bounds on Feedback Vertex Sets in Mesh-Based Networks}, booktitle = {Structural Information and Communication Complexity, 11th International Colloquium , {SIROCCO} 2004, Smolenice Castle, Slovakia, June 21-23, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3104}, pages = {209--220}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-27796-5\_19}, doi = {10.1007/978-3-540-27796-5\_19}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sirocco/LuccioS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mst/FlocchiniL03, author = {Paola Flocchini and Flaminia L. Luccio}, title = {Routing in Series Parallel Networks}, journal = {Theory Comput. Syst.}, volume = {36}, number = {2}, pages = {137--157}, year = {2003}, url = {https://doi.org/10.1007/s00224-002-1033-y}, doi = {10.1007/S00224-002-1033-Y}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mst/FlocchiniL03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sirocco/Luccio03, author = {Flaminia L. Luccio}, editor = {Jop F. Sibeyn}, title = {Minimum Feedback Vertex Set in Pyramid and Mesh of Trees Networks}, booktitle = {{SIROCCO} 10: Proceedings of the 10th Internaltional Colloquium on Structural Information Complexity, June 18-20, 2003, Ume{\aa} Sweden}, series = {Proceedings in Informatics}, volume = {17}, pages = {235--247}, publisher = {Carleton Scientific}, year = {2003}, timestamp = {Thu, 05 Feb 2004 10:15:25 +0100}, biburl = {https://dblp.org/rec/conf/sirocco/Luccio03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/BraghinCFFLP03, author = {Chiara Braghin and Agostino Cortesi and Stefano Filippone and Riccardo Focardi and Flaminia L. Luccio and Carla Piazza}, editor = {Hubert Garavel and John Hatcliff}, title = {{BANANA} - {A} Tool for Boundary Ambients Nesting ANAlysis}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, {TACAS} 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2619}, pages = {437--441}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-36577-X\_32}, doi = {10.1007/3-540-36577-X\_32}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/BraghinCFFLP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/BraghinCFLP03, author = {Chiara Braghin and Agostino Cortesi and Riccardo Focardi and Flaminia L. Luccio and Carla Piazza}, editor = {Lenore D. Zuck and Paul C. Attie and Agostino Cortesi and Supratik Mukhopadhyay}, title = {Complexity of Nesting Analysis in Mobile Ambients}, booktitle = {Verification, Model Checking, and Abstract Interpretation, 4th International Conference, {VMCAI} 2003, New York, NY, USA, January 9-11, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2575}, pages = {86--101}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-36384-X\_10}, doi = {10.1007/3-540-36384-X\_10}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/BraghinCFLP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BraghinCFLP04, author = {Chiara Braghin and Agostino Cortesi and Riccardo Focardi and Flaminia L. Luccio and Carla Piazza}, editor = {Mario Bravetti and Roberto Gorrieri}, title = {Behind {BANANA:} Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients}, booktitle = {Formal Methods for Security and Time: Proceedings of the {MEFISTO} Project 2003, {MEFISTO} 2003, Pisa, Italy, November 3-5, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {99}, pages = {319--337}, publisher = {Elsevier}, year = {2003}, url = {https://doi.org/10.1016/j.entcs.2004.02.014}, doi = {10.1016/J.ENTCS.2004.02.014}, timestamp = {Thu, 08 Dec 2022 22:44:21 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BraghinCFLP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/networking/AnastasiBL02, author = {Giuseppe Anastasi and Alberto Bartoli and Flaminia L. Luccio}, editor = {Enrico Gregori and Marco Conti and Andrew T. Campbell and Cambyse Guy Omidyar and Moshe Zukerman}, title = {Fault-Tolerant Support for Reliable Multicast in Mobile Wireless Systems}, booktitle = {{NETWORKING} 2002, Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; and Mobile and Wireless Communications, Second International {IFIP-TC6} Networking Conference, Pisa, Italy, May 19-24, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2345}, pages = {1069--1080}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-47906-6\_87}, doi = {10.1007/3-540-47906-6\_87}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/networking/AnastasiBL02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mst/KranakisKL01, author = {Evangelos Kranakis and Danny Krizanc and Flaminia L. Luccio}, title = {On Recognizing a String on an Anonymous Ring}, journal = {Theory Comput. Syst.}, volume = {34}, number = {1}, pages = {3--12}, year = {2001}, url = {https://doi.org/10.1007/s002240010007}, doi = {10.1007/S002240010007}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mst/KranakisKL01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/FocardiLP00, author = {Riccardo Focardi and Flaminia L. Luccio and David Peleg}, title = {Feedback vertex set in hypercubes}, journal = {Inf. Process. Lett.}, volume = {76}, number = {1-2}, pages = {1--5}, year = {2000}, url = {https://doi.org/10.1016/S0020-0190(00)00127-7}, doi = {10.1016/S0020-0190(00)00127-7}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ipl/FocardiLP00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipps/FlocchiniKSKL00, author = {Paola Flocchini and Evangelos Kranakis and Nicola Santoro and Danny Krizanc and Flaminia L. Luccio}, title = {Sorting Multisets in Anonymous Rings}, booktitle = {Proceedings of the 14th International Parallel {\&} Distributed Processing Symposium (IPDPS'00), Cancun, Mexico, May 1-5, 2000}, pages = {275--280}, publisher = {{IEEE} Computer Society}, year = {2000}, url = {https://doi.org/10.1109/IPDPS.2000.845996}, doi = {10.1109/IPDPS.2000.845996}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ipps/FlocchiniKSKL00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipps/KrizancLR99, author = {Danny Krizanc and Flaminia L. Luccio and Rajeev Raman}, title = {Dynamic Interval Routing on Asynchronous Rings}, booktitle = {13th International Parallel Processing Symposium / 10th Symposium on Parallel and Distributed Processing {(IPPS} / {SPDP} '99), 12-16 April 1999, San Juan, Puerto Rico, Proceedings}, pages = {225--232}, publisher = {{IEEE} Computer Society}, year = {1999}, url = {https://doi.org/10.1109/IPPS.1999.760466}, doi = {10.1109/IPPS.1999.760466}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ipps/KrizancLR99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/Luccio98, author = {Flaminia L. Luccio}, title = {Almost Exact Minimum Feedback Vertex Set in Meshes and Butterflies}, journal = {Inf. Process. Lett.}, volume = {66}, number = {2}, pages = {59--64}, year = {1998}, url = {https://doi.org/10.1016/S0020-0190(98)00039-8}, doi = {10.1016/S0020-0190(98)00039-8}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/Luccio98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdcs/FlocchiniL96, author = {Paola Flocchini and Flaminia L. Luccio}, title = {Distance Routing on Series Parallel Networks}, booktitle = {Proceedings of the 16th International Conference on Distributed Computing Systems, Hong Kong, May 27-30, 1996}, pages = {352--359}, publisher = {{IEEE} Computer Society}, year = {1996}, url = {https://doi.org/10.1109/ICDCS.1996.507969}, doi = {10.1109/ICDCS.1996.507969}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icdcs/FlocchiniL96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/KranakisKL95, author = {Evangelos Kranakis and Danny Krizanc and Flaminia L. Luccio}, editor = {Jir{\'{\i}} Wiedermann and Petr H{\'{a}}jek}, title = {String Recognition on Anonymous Rings}, booktitle = {Mathematical Foundations of Computer Science 1995, 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {969}, pages = {392--401}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60246-1\_145}, doi = {10.1007/3-540-60246-1\_145}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/KranakisKL95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sirocco/KrizancL95, author = {Danny Krizanc and Flaminia L. Luccio}, editor = {Lefteris M. Kirousis and Christos Kaklamanis}, title = {Boolean Routing on Chordal Rings}, booktitle = {Structure, Information and Communication Complexity, {SIROCCO} '95, Proceedings of the 2nd Colloquium on Structural Information and Communication Complexity, Olympia Greece, June 12-14, 1995}, series = {Proceedings in Informatics}, volume = {2}, pages = {89--100}, publisher = {Carleton Scientific}, year = {1995}, timestamp = {Wed, 19 Nov 2003 12:08:02 +0100}, biburl = {https://dblp.org/rec/conf/sirocco/KrizancL95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spdp/Luccio94, author = {Flaminia L. Luccio}, title = {On the convergence of a parallel algorithm for finding polynomial zeros}, booktitle = {Proceedings of the Sixth {IEEE} Symposium on Parallel and Distributed Processing, {SPDP} 1994, Dallas, Texas, {USA} , October 26-29, 1994}, pages = {530--535}, publisher = {{IEEE} Computer Society}, year = {1994}, url = {https://doi.org/10.1109/SPDP.1994.346126}, doi = {10.1109/SPDP.1994.346126}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/spdp/Luccio94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.