Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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}
}
a service of 
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.
last updated on 2024-02-12 22:43 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:
