default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ilaria Matteucci
@article{DBLP:journals/csur/VincenziCMFPRZ24,
author = {Marco De Vincenzi and
Gianpiero Costantino and
Ilaria Matteucci and
Florian Fenzl and
Christian Plappert and
Roland Rieke and
Daniel Zelle},
title = {A Systematic Review on Security Attacks and Countermeasures in Automotive
Ethernet},
journal = {{ACM} Comput. Surv.},
volume = {56},
number = {6},
pages = {135:1--135:38},
year = {2024},
url = {https://doi.org/10.1145/3637059},
doi = {10.1145/3637059},
timestamp = {Sat, 04 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csur/VincenziCMFPRZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijisec/OliveroBMEM24,
author = {Miguel Angel Olivero and
Antonia Bertolino and
Francisco Jos{\'{e}} Dom{\'{\i}}nguez Mayo and
Mar{\'{\i}}a Jos{\'{e}} Escalona and
Ilaria Matteucci},
title = {A systematic mapping study on security for systems of systems},
journal = {Int. J. Inf. Sec.},
volume = {23},
number = {2},
pages = {787--817},
year = {2024},
url = {https://doi.org/10.1007/s10207-023-00757-0},
doi = {10.1007/S10207-023-00757-0},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijisec/OliveroBMEM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijisec/MicaleMFRP24,
author = {Davide Micale and
Ilaria Matteucci and
Florian Fenzl and
Roland Rieke and
Giuseppe Patan{\`{e}}},
title = {A context-aware on-board intrusion detection system for smart vehicles},
journal = {Int. J. Inf. Sec.},
volume = {23},
number = {3},
pages = {2203--2223},
year = {2024},
url = {https://doi.org/10.1007/s10207-024-00821-3},
doi = {10.1007/S10207-024-00821-3},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijisec/MicaleMFRP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BodeiVM24,
author = {Chiara Bodei and
Marco De Vincenzi and
Ilaria Matteucci},
title = {Formal analysis of an AUTOSAR-based basic software module},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {26},
number = {4},
pages = {495--508},
year = {2024},
url = {https://doi.org/10.1007/s10009-024-00759-w},
doi = {10.1007/S10009-024-00759-W},
timestamp = {Tue, 10 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BodeiVM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/0001BM24,
author = {Marco De Vincenzi and
Chiara Bodei and
Ilaria Matteucci},
editor = {Jiman Hong and
Juw Won Park},
title = {{OLIVE:} Flexible, Portable, and Sustainable {V2X} Multi-Factor Authentication},
booktitle = {Proceedings of the 39th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2024, Avila, Spain, April 8-12, 2024},
pages = {215--217},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3605098.3636102},
doi = {10.1145/3605098.3636102},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/0001BM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tits/CostantinoVMM23,
author = {Gianpiero Costantino and
Marco De Vincenzi and
Fabio Martinelli and
Ilaria Matteucci},
title = {A Privacy-Preserving Solution for Intelligent Transportation Systems:
Private Driver {DNA}},
journal = {{IEEE} Trans. Intell. Transp. Syst.},
volume = {24},
number = {1},
pages = {258--273},
year = {2023},
url = {https://doi.org/10.1109/TITS.2022.3217358},
doi = {10.1109/TITS.2022.3217358},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tits/CostantinoVMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/virology/CostantinoM23,
author = {Gianpiero Costantino and
Ilaria Matteucci},
title = {Reversing Kia Motors Head Unit to discover and exploit software vulnerabilities},
journal = {J. Comput. Virol. Hacking Tech.},
volume = {19},
number = {1},
pages = {33--49},
year = {2023},
url = {https://doi.org/10.1007/s11416-022-00430-5},
doi = {10.1007/S11416-022-00430-5},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/virology/CostantinoM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/VincenziMMS23,
author = {Marco De Vincenzi and
Ilaria Matteucci and
Fabio Martinelli and
Stefano Sebastio},
title = {Application of Secure Two-Party Computation in a Privacy-Preserving
Android App},
booktitle = {Proceedings of the 18th International Conference on Availability,
Reliability and Security, {ARES} 2023, Benevento, Italy, 29 August
2023- 1 September 2023},
pages = {144:1--144:7},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3600160.3604996},
doi = {10.1145/3600160.3604996},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEares/VincenziMMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/VincenziBM23,
author = {Marco De Vincenzi and
Chiara Bodei and
Ilaria Matteucci},
title = {Securing Automotive Ethernet: Design and Implementation of Security
Data Link Solutions},
booktitle = {20th {ACS/IEEE} International Conference on Computer Systems and Applications,
{AICCSA} 2023, Giza, Egypt, December 4-7, 2023},
pages = {1--9},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/AICCSA59173.2023.10479353},
doi = {10.1109/AICCSA59173.2023.10479353},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiccsa/VincenziBM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icissp/BodeiCVMM23,
author = {Chiara Bodei and
Gianpiero Costantino and
Marco De Vincenzi and
Ilaria Matteucci and
Anna Monreale},
editor = {Paolo Mori and
Gabriele Lenzini and
Steven Furnell},
title = {Vehicle Data Collection: {A} Privacy Policy Analysis and Comparison},
booktitle = {Proceedings of the 9th International Conference on Information Systems
Security and Privacy, {ICISSP} 2023, Lisbon, Portugal, February 22-24,
2023},
pages = {626--633},
publisher = {SciTePress},
year = {2023},
url = {https://doi.org/10.5220/0011779500003405},
doi = {10.5220/0011779500003405},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icissp/BodeiCVMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/BodeiVM23,
author = {Chiara Bodei and
Marco De Vincenzi and
Ilaria Matteucci},
title = {From Hardware-Functional to Software-Defined Vehicles and their Security
Issues},
booktitle = {21st {IEEE} International Conference on Industrial Informatics, {INDIN}
2023, Lemgo, Germany, July 18-20, 2023},
pages = {1--10},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/INDIN51400.2023.10217971},
doi = {10.1109/INDIN51400.2023.10217971},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/indin/BodeiVM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/BodeiCVMM23,
author = {Chiara Bodei and
Gianpiero Costantino and
Marco De Vincenzi and
Ilaria Matteucci and
Anna Monreale},
title = {Data Collection in Automotive: {A} Deep Analysis of Carmakers' Mobile
App Privacy Policies},
booktitle = {25th {IEEE} International Conference on Intelligent Transportation
Systems, {ITSC} 2022, Macau, China, October 8-12, 2022},
pages = {425--432},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ITSC57777.2023.10422449},
doi = {10.1109/ITSC57777.2023.10422449},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itsc/BodeiCVMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/CostantinoVMM23,
author = {Gianpiero Costantino and
Marco De Vincenzi and
Fabio Martinelli and
Ilaria Matteucci},
title = {Electric Vehicle Security and Privacy: {A} Comparative Analysis of
Charging Methods},
booktitle = {97th {IEEE} Vehicular Technology Conference, {VTC} Spring 2023, Florence,
Italy, June 20-23, 2023},
pages = {1--7},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/VTC2023-Spring57618.2023.10200030},
doi = {10.1109/VTC2023-SPRING57618.2023.10200030},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vtc/CostantinoVMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/AlbaneseCVIMMM23,
author = {Daniele Albanese and
Giuseppe Crincoli and
Marco De Vincenzi and
Giacomo Iadarola and
Fabio Martinelli and
Ilaria Matteucci and
Paolo Mori},
title = {Privacy-Preserving Data Sharing for Collaborative Analytics in Multi-Modal
Transportation Systems},
journal = {{ERCIM} News},
volume = {2023},
number = {133},
year = {2023},
url = {https://ercim-news.ercim.eu/en133/special/privacy-preserving-data-sharing-for-collaborative-analytics-in-multi-modal-transportation-systems},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/AlbaneseCVIMMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/BellaBCM22,
author = {Giampaolo Bella and
Pietro Biondi and
Gianpiero Costantino and
Ilaria Matteucci},
title = {Designing and implementing an AUTOSAR-based Basic Software Module
for enhanced security},
journal = {Comput. Networks},
volume = {218},
pages = {109377},
year = {2022},
url = {https://doi.org/10.1016/j.comnet.2022.109377},
doi = {10.1016/J.COMNET.2022.109377},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/BellaBCM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csm/CostantinoVM22,
author = {Gianpiero Costantino and
Marco De Vincenzi and
Ilaria Matteucci},
title = {In-Depth Exploration of {ISO/SAE} 21434 and Its Correlations with
Existing Standards},
journal = {{IEEE} Commun. Stand. Mag.},
volume = {6},
number = {1},
pages = {84--92},
year = {2022},
url = {https://doi.org/10.1109/MCOMSTD.0001.2100080},
doi = {10.1109/MCOMSTD.0001.2100080},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csm/CostantinoVM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/OliveroBMME22,
author = {Miguel Angel Olivero and
Antonia Bertolino and
Francisco Jos{\'{e}} Dom{\'{\i}}nguez Mayo and
Ilaria Matteucci and
Mar{\'{\i}}a Jos{\'{e}} Escalona},
title = {A Delphi study to recognize and assess systems of systems vulnerabilities},
journal = {Inf. Softw. Technol.},
volume = {146},
pages = {106874},
year = {2022},
url = {https://doi.org/10.1016/j.infsof.2022.106874},
doi = {10.1016/J.INFSOF.2022.106874},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/OliveroBMME22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosp/CostantinoVM22,
author = {Gianpiero Costantino and
Marco De Vincenzi and
Ilaria Matteucci},
title = {A Comparative Analysis of {UNECE} {WP.29} {R155} and {ISO/SAE} 21434},
booktitle = {{IEEE} European Symposium on Security and Privacy, EuroS{\&}P
2022 - Workshops, Genoa, Italy, June 6-10, 2022},
pages = {340--347},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/EuroSPW55150.2022.00041},
doi = {10.1109/EUROSPW55150.2022.00041},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosp/CostantinoVM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/PlappertFRMCV22,
author = {Christian Plappert and
Florian Fenzl and
Roland Rieke and
Ilaria Matteucci and
Gianpiero Costantino and
Marco De Vincenzi},
editor = {Arturo Gonz{\'{a}}lez{-}Escribano and
Jos{\'{e}} Daniel Garc{\'{\i}}a and
Massimo Torquati and
Amund Skavhaug},
title = {{SECPAT:} Security Patterns for Resilient Automotive {E} / {E} Architectures},
booktitle = {30th Euromicro International Conference on Parallel, Distributed and
Network-based Processing, {PDP} 2022, Valladolid, Spain, March 9-11,
2022},
pages = {255--264},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/PDP55904.2022.00047},
doi = {10.1109/PDP55904.2022.00047},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdp/PlappertFRMCV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustcom/MicaleCMFRP22,
author = {Davide Micale and
Gianpiero Costantino and
Ilaria Matteucci and
Florian Fenzl and
Roland Rieke and
Giuseppe Patan{\`{e}}},
title = {{CAHOOT:} a Context-Aware veHicular intrusiOn detectiOn sysTem},
booktitle = {{IEEE} International Conference on Trust, Security and Privacy in
Computing and Communications, TrustCom 2022, Wuhan, China, December
9-11, 2022},
pages = {1211--1218},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/TrustCom56396.2022.00168},
doi = {10.1109/TRUSTCOM56396.2022.00168},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/trustcom/MicaleCMFRP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/DarizCM22,
author = {Luca Dariz and
Gianpiero Costantino and
Ilaria Matteucci},
title = {Full-protocol safety analysis of {CINNAMON}},
booktitle = {95th {IEEE} Vehicular Technology Conference, {VTC} Spring 2022, Helsinki,
Finland, June 19-22, 2022},
pages = {1--7},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/VTC2022-Spring54318.2022.9860714},
doi = {10.1109/VTC2022-SPRING54318.2022.9860714},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vtc/DarizCM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispa/CostantinoMM021,
author = {Gianpiero Costantino and
Ilaria Matteucci and
Davide Micale and
Giuseppe Patan{\`{e}}},
title = {Private Drivers Identification based on users' routine},
booktitle = {2021 {IEEE} Intl Conf on Parallel {\&} Distributed Processing
with Applications, Big Data {\&} Cloud Computing, Sustainable
Computing {\&} Communications, Social Computing {\&} Networking
(ISPA/BDCloud/SocialCom/SustainCom), New York City, NY, USA, September
30 - Oct. 3, 2021},
pages = {1753--1762},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ISPA-BDCloud-SocialCom-SustainCom52081.2021.00236},
doi = {10.1109/ISPA-BDCLOUD-SOCIALCOM-SUSTAINCOM52081.2021.00236},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ispa/CostantinoMM021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/openidentity/BellaBCMM21,
author = {Giampaolo Bella and
Pietro Biondi and
Gianpiero Costantino and
Ilaria Matteucci and
Mirco Marchetti},
editor = {Heiko Ro{\ss}nagel and
Christian H. Schunck and
Sebastian M{\"{o}}dersheim},
title = {Towards the {COSCA} framework for "COnseptualing Secure CArs"},
booktitle = {Open Identity Summit 2021, Copenhagen, Denmark, June 1-2, 2021},
series = {{LNI}},
volume = {{P-312}},
pages = {37--46},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2021},
url = {https://dl.gi.de/handle/20.500.12116/36500},
timestamp = {Tue, 30 Jul 2024 10:42:31 +0200},
biburl = {https://dblp.org/rec/conf/openidentity/BellaBCMM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-10642,
author = {Giampaolo Bella and
Pietro Biondi and
Gianpiero Costantino and
Ilaria Matteucci},
title = {{TOUCAN:} {A} proTocol tO secUre Controller Area Network},
journal = {CoRR},
volume = {abs/2111.10642},
year = {2021},
url = {https://arxiv.org/abs/2111.10642},
eprinttype = {arXiv},
eprint = {2111.10642},
timestamp = {Fri, 26 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-10642.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-12026,
author = {Giampaolo Bella and
Pietro Biondi and
Gianpiero Costantino and
Ilaria Matteucci},
title = {{CINNAMON:} {A} Module for {AUTOSAR} Secure Onboard Communication},
journal = {CoRR},
volume = {abs/2111.12026},
year = {2021},
url = {https://arxiv.org/abs/2111.12026},
eprinttype = {arXiv},
eprint = {2111.12026},
timestamp = {Fri, 26 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-12026.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-06200,
author = {Davide Micale and
Gianpiero Costantino and
Ilaria Matteucci and
Giuseppe Patan{\`{e}} and
Giampaolo Bella},
title = {Secure Routine: {A} Routine-Based Algorithm for Drivers Identification},
journal = {CoRR},
volume = {abs/2112.06200},
year = {2021},
url = {https://arxiv.org/abs/2112.06200},
eprinttype = {arXiv},
eprint = {2112.06200},
timestamp = {Wed, 05 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-06200.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/istr/OliveroBMEM20,
author = {Miguel Angel Olivero and
Antonia Bertolino and
Francisco Jos{\'{e}} Dom{\'{\i}}nguez Mayo and
Mar{\'{\i}}a Jos{\'{e}} Escalona and
Ilaria Matteucci},
title = {Digital persona portrayal: Identifying pluridentity vulnerabilities
in digital life},
journal = {J. Inf. Secur. Appl.},
volume = {52},
pages = {102492},
year = {2020},
url = {https://doi.org/10.1016/j.jisa.2020.102492},
doi = {10.1016/J.JISA.2020.102492},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/istr/OliveroBMEM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/BellaBCM20,
author = {Giampaolo Bella and
Pietro Biondi and
Gianpiero Costantino and
Ilaria Matteucci},
title = {{CINNAMON:} {A} Module for {AUTOSAR} Secure Onboard Communication},
booktitle = {16th European Dependable Computing Conference, {EDCC} 2020, Munich,
Germany, September 7-10, 2020},
pages = {103--110},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/EDCC51268.2020.00026},
doi = {10.1109/EDCC51268.2020.00026},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/edcc/BellaBCM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/helmeto/FazzolariFMPV20,
author = {Michela Fazzolari and
Stefania Fabbri and
Ilaria Matteucci and
Marinella Petrocchi and
Anna Vaccarelli},
editor = {Laura Sara Agrati and
Daniel Burgos and
Pietro Ducange and
Pierpaolo Limone and
Loredana Perla and
Pietro Picerno and
Paolo Raviolo and
Christian M. Stracke},
title = {Presente Digitale: An Online Education System for Teachers},
booktitle = {Bridges and Mediation in Higher Distance Education - Second International
Workshop, HELMeTO 2020, Bari, BA, Italy, September 17-18, 2020, Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1344},
pages = {271--285},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67435-9\_21},
doi = {10.1007/978-3-030-67435-9\_21},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/helmeto/FazzolariFMPV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/CostantinoDM20,
author = {Gianpiero Costantino and
Luca Dariz and
Ilaria Matteucci},
title = {Analysis of Functional Safety in a secure implementation of {CAN}
Protocol},
booktitle = {18th {IEEE} International Conference on Industrial Informatics, {INDIN}
2020, Warwick, United Kingdom, July 20-23, 2020},
pages = {134--141},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/INDIN45582.2020.9442168},
doi = {10.1109/INDIN45582.2020.9442168},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/indin/CostantinoDM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/CostantinoMM20,
author = {Gianpiero Costantino and
Ilaria Matteucci and
Domenico Morales},
title = {{EARNEST:} {A} challenge-based intrusion prevention system for {CAN}
messages},
booktitle = {2020 {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Coimbra, Portugal, October 12-15, 2020},
pages = {243--248},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ISSREW51248.2020.00080},
doi = {10.1109/ISSREW51248.2020.00080},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issre/CostantinoMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codaspy/BellaBCM19,
author = {Giampaolo Bella and
Pietro Biondi and
Gianpiero Costantino and
Ilaria Matteucci},
editor = {Ziming Zhao and
Qi Alfred Chen and
Gail{-}Joon Ahn},
title = {{TOUCAN:} {A} proTocol tO secUre Controller Area Network},
booktitle = {Proceedings of the {ACM} Workshop on Automotive Cybersecurity, AutoSec@CODASPY
2019, Richardson, TX, USA, March 27, 2019},
pages = {3--8},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3309171.3309175},
doi = {10.1145/3309171.3309175},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/codaspy/BellaBCM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cse/CostantinoM19,
author = {Gianpiero Costantino and
Ilaria Matteucci},
editor = {Meikang Qiu},
title = {{CANDY} {CREAM} - Hacking Infotainment Android Systems to Command
Instrument Cluster via Can Data Frame},
booktitle = {2019 {IEEE} International Conference on Computational Science and
Engineering, {CSE} 2019, and {IEEE} International Conference on Embedded
and Ubiquitous Computing, {EUC} 2019, New York, NY, USA, August 1-3,
2019},
pages = {476--481},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CSE/EUC.2019.00094},
doi = {10.1109/CSE/EUC.2019.00094},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cse/CostantinoM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/OliveroBMEM19,
author = {Miguel Angel Olivero and
Antonia Bertolino and
Francisco Jos{\'{e}} Dom{\'{\i}}nguez Mayo and
Mar{\'{\i}}a Jos{\'{e}} Escalona and
Ilaria Matteucci},
title = {Security assessment of systems of systems},
booktitle = {Proceedings of the 7th International Workshop on Software Engineering
for Systems-of-Systems and 13th Workshop on Distributed Software Development,
Software Ecosystems and Systems-of-Systems, SESoS-WDES 2019, Montreal,
QC, Canada, May 28, 2019},
pages = {62--65},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/SESoS/WDES.2019.00017},
doi = {10.1109/SESOS/WDES.2019.00017},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/OliveroBMEM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobihoc/BiondiBCM19,
author = {Pietro Biondi and
Giampaolo Bella and
Gianpiero Costantino and
Ilaria Matteucci},
title = {Implementing {CAN} bus security by {TOUCAN}},
booktitle = {Proceedings of the Twentieth {ACM} International Symposium on Mobile
Ad Hoc Networking and Computing, Mobihoc 2019, Catania, Italy, July
2-5, 2019},
pages = {399--400},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3323679.3326614},
doi = {10.1145/3323679.3326614},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mobihoc/BiondiBCM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/CostantinoM19,
author = {Gianpiero Costantino and
Ilaria Matteucci},
editor = {Alexander B. Romanovsky and
Elena Troubitsyna and
Ilir Gashi and
Erwin Schoitsch and
Friedemann Bitsch},
title = {Demo: {CANDY} {CREAM}},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2019 Workshops,
ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September
10, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11699},
pages = {203--209},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-26250-1\_16},
doi = {10.1007/978-3-030-26250-1\_16},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/CostantinoM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/OliveroBMEM19,
author = {Miguel Angel Olivero and
Antonia Bertolino and
Francisco Jos{\'{e}} Dom{\'{\i}}nguez Mayo and
Mar{\'{\i}}a Jos{\'{e}} Escalona and
Ilaria Matteucci},
editor = {Radu Calinescu and
Felicita Di Giandomenico},
title = {Addressing Security Properties in Systems of Systems: Challenges and
Ideas},
booktitle = {Software Engineering for Resilient Systems - 11th International Workshop,
{SERENE} 2019, Naples, Italy, September 17, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11732},
pages = {138--146},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30856-8\_10},
doi = {10.1007/978-3-030-30856-8\_10},
timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/OliveroBMEM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stast/CostantinoMMS19,
author = {Gianpiero Costantino and
Fabio Martinelli and
Ilaria Matteucci and
Paolo Santi},
editor = {Thomas Gro{\ss} and
Theo Tryfonas},
title = {A Privacy-Preserving Infrastructure for Driver's Reputation Aware
Automotive Services},
booktitle = {Socio-Technical Aspects in Security and Trust - 9th International
Workshop, {STAST} 2019, Luxembourg City, Luxembourg, September 26,
2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11739},
pages = {159--174},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-55958-8\_9},
doi = {10.1007/978-3-030-55958-8\_9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stast/CostantinoMMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wisec/BellaBCM19,
author = {Giampaolo Bella and
Pietro Biondi and
Gianpiero Costantino and
Ilaria Matteucci},
title = {Are you secure in your car?: poster},
booktitle = {Proceedings of the 12th Conference on Security and Privacy in Wireless
and Mobile Networks, WiSec 2019, Miami, Florida, USA, May 15-17, 2019},
pages = {308--309},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3317549.3326305},
doi = {10.1145/3317549.3326305},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wisec/BellaBCM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/DiniMMPSS18,
author = {Gianluca Dini and
Fabio Martinelli and
Ilaria Matteucci and
Marinella Petrocchi and
Andrea Saracino and
Daniele Sgandurra},
title = {Risk analysis of Android applications: {A} user-centric solution},
journal = {Future Gener. Comput. Syst.},
volume = {80},
pages = {505--518},
year = {2018},
url = {https://doi.org/10.1016/j.future.2016.05.035},
doi = {10.1016/J.FUTURE.2016.05.035},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fgcs/DiniMMPSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/BertolinoCGLLMM18,
author = {Antonia Bertolino and
Antonello Calabr{\`{o}} and
Felicita Di Giandomenico and
Giuseppe Lami and
Francesca Lonetti and
Eda Marchetti and
Fabio Martinelli and
Ilaria Matteucci and
Paolo Mori},
title = {A tour of secure software engineering solutions for connected vehicles},
journal = {Softw. Qual. J.},
volume = {26},
number = {4},
pages = {1223--1256},
year = {2018},
url = {https://doi.org/10.1007/s11219-017-9393-3},
doi = {10.1007/S11219-017-9393-3},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/BertolinoCGLLMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/BubDDDFFKMMNOPR18,
author = {Udo Bub and
Ajantha Dahanayake and
J{\'{e}}r{\^{o}}me Darmont and
Claudia Diamantini and
Fabio Fassetti and
Eduardo Ferm{\'{e}} and
Nadia Kabachi and
Ilaria Matteucci and
B{\'{a}}lint Moln{\'{a}}r and
Sham Navathe and
Ermelinda Oro and
Marinella Petrocchi and
Simona E. Rombo and
Massimo Ruffolo and
Angelo Spognardi and
Bernhard Thalheim and
Domenico Ursino},
editor = {Andr{\'{a}}s Bencz{\'{u}}r and
Bernhard Thalheim and
Tom{\'{a}}s Horv{\'{a}}th and
Silvia Chiusano and
Tania Cerquitelli and
Csaba Istv{\'{a}}n Sidl{\'{o}} and
Peter Z. Revesz},
title = {Contributions from {ADBIS} 2018 Workshops},
booktitle = {New Trends in Databases and Information Systems - {ADBIS} 2018 Short
Papers and Workshops, AI*QA, BIGPMED, CSACDB, M2U, BigDataMAPS, ISTREND,
DC, Budapest, Hungary, September, 2-5, 2018, Proceedings},
series = {Communications in Computer and Information Science},
volume = {909},
pages = {91--102},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00063-9\_11},
doi = {10.1007/978-3-030-00063-9\_11},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adbis/BubDDDFFKMMNOPR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/CostantinoMMBCM18,
author = {Gianpiero Costantino and
Fabio Martinelli and
Ilaria Matteucci and
Antonia Bertolino and
Antonello Calabr{\`{o}} and
Eda Marchetti},
editor = {Ivan Merelli and
Pietro Li{\`{o}} and
Igor V. Kotenko},
title = {{CARS:} Context Aware Reputation Systems to Evaluate Vehicles' Behaviour},
booktitle = {26th Euromicro International Conference on Parallel, Distributed and
Network-based Processing, {PDP} 2018, Cambridge, United Kingdom, March
21-23, 2018},
pages = {446--453},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/PDP2018.2018.00078},
doi = {10.1109/PDP2018.2018.00078},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdp/CostantinoMMBCM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcomp/CostantinoMMM18,
author = {Gianpiero Costantino and
Fabio Martinelli and
Ilaria Matteucci and
Francesco Mercaldo},
title = {Improving Vehicle Safety Through a Fog Collaborative Infrastructure},
booktitle = {2018 {IEEE} International Conference on Smart Computing, {SMARTCOMP}
2018, Taormina, Sicily, Italy, June 18-20, 2018},
pages = {446--451},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/SMARTCOMP.2018.00044},
doi = {10.1109/SMARTCOMP.2018.00044},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smartcomp/CostantinoMMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/CostantinoMMM18,
author = {Gianpiero Costantino and
Antonio La Marra and
Fabio Martinelli and
Ilaria Matteucci},
title = {{CANDY:} {A} Social Engineering Attack to Leak Information from Infotainment
System},
booktitle = {87th {IEEE} Vehicular Technology Conference, {VTC} Spring 2018, Porto,
Portugal, June 3-6, 2018},
pages = {1--5},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/VTCSpring.2018.8417879},
doi = {10.1109/VTCSPRING.2018.8417879},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vtc/CostantinoMMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webist/CerboLMMM18,
author = {Francesco Di Cerbo and
Alessio Lunardelli and
Ilaria Matteucci and
Fabio Martinelli and
Paolo Mori},
editor = {Mar{\'{\i}}a Jos{\'{e}} Escalona and
Francisco Jos{\'{e}} Dom{\'{\i}}nguez Mayo and
Tim A. Majchrzak and
Val{\'{e}}rie Monfort},
title = {A Declarative Data Protection Approach: From Human-Readable Policies
to Automatic Enforcement},
booktitle = {Web Information Systems and Technologies - 14th International Conference,
{WEBIST} 2018, Seville, Spain, September 18-20, 2018, Revised Selected
Papers},
series = {Lecture Notes in Business Information Processing},
volume = {372},
pages = {78--98},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-35330-8\_5},
doi = {10.1007/978-3-030-35330-8\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/webist/CerboLMMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webist/CerboMMM18,
author = {Francesco Di Cerbo and
Fabio Martinelli and
Ilaria Matteucci and
Paolo Mori},
editor = {Mar{\'{\i}}a Jos{\'{e}} Escalona and
Francisco Jos{\'{e}} Dom{\'{\i}}nguez Mayo and
Tim A. Majchrzak and
Val{\'{e}}rie Monfort},
title = {Towards a Declarative Approach to Stateful and Stateless Usage Control
for Data Protection},
booktitle = {Proceedings of the 14th International Conference on Web Information
Systems and Technologies, {WEBIST} 2018, Seville, Spain, September
18-20, 2018},
pages = {308--315},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006962503080315},
doi = {10.5220/0006962503080315},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/webist/CerboMMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/critis/CostantinoMM17,
author = {Gianpiero Costantino and
Fabio Martinelli and
Ilaria Matteucci},
editor = {Gregorio D'Agostino and
Antonio Scala},
title = {Reputation Systems to Mitigate DoS Attack in Vehicular Network},
booktitle = {Critical Information Infrastructures Security - 12th International
Conference, {CRITIS} 2017, Lucca, Italy, October 8-13, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10707},
pages = {261--265},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-99843-5\_24},
doi = {10.1007/978-3-319-99843-5\_24},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/critis/CostantinoMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icissp/CostantinoMMP17a,
author = {Gianpiero Costantino and
Fabio Martinelli and
Ilaria Matteucci and
Marinella Petrocchi},
editor = {Paolo Mori and
Steven Furnell and
Olivier Camp},
title = {Efficient Detection of Conflicts in Data Sharing Agreements},
booktitle = {Information Systems Security and Privacy - Third International Conference,
{ICISSP} 2017, Porto, Portugal, February 19-21, 2017, Revised Selected
Papers},
series = {Communications in Computer and Information Science},
volume = {867},
pages = {148--172},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-93354-2\_8},
doi = {10.1007/978-3-319-93354-2\_8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icissp/CostantinoMMP17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icissp/CostantinoMMP17,
author = {Gianpiero Costantino and
Fabio Martinelli and
Ilaria Matteucci and
Marinella Petrocchi},
editor = {Paolo Mori and
Steven Furnell and
Olivier Camp},
title = {Analysis of Data Sharing Agreements},
booktitle = {Proceedings of the 3rd International Conference on Information Systems
Security and Privacy, {ICISSP} 2017, Porto, Portugal, February 19-21,
2017},
pages = {167--178},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006207501670178},
doi = {10.5220/0006207501670178},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icissp/CostantinoMMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BistarelliMMS17,
author = {Stefano Bistarelli and
Fabio Martinelli and
Ilaria Matteucci and
Francesco Santini},
editor = {Thomas Eiter and
David Sands},
title = {A Quantitative Partial Model-Checking Function and Its Optimisation},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {319--337},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/rb2p},
doi = {10.29007/RB2P},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BistarelliMMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/MartinelliMMS17,
author = {Fabio Martinelli and
Ilaria Matteucci and
Paolo Mori and
Andrea Saracino},
editor = {Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Bran Selic},
title = {Concurrent History-based Usage Control Policies},
booktitle = {Proceedings of the 5th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2017, Porto, Portugal, February
19-21, 2017},
pages = {657--666},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006232506570666},
doi = {10.5220/0006232506570666},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/MartinelliMMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcip/SarnoGMV16,
author = {Cesario Di Sarno and
Alessia Garofalo and
Ilaria Matteucci and
Marco Vallini},
title = {A novel security information and event management system for enhancing
cyber security in a hydroelectric dam},
journal = {Int. J. Crit. Infrastructure Prot.},
volume = {13},
pages = {39--51},
year = {2016},
url = {https://doi.org/10.1016/j.ijcip.2016.03.002},
doi = {10.1016/J.IJCIP.2016.03.002},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcip/SarnoGMV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apf/RuizPMCGMO16,
author = {Jos{\'{e}} Fran. Ruiz and
Marinella Petrocchi and
Ilaria Matteucci and
Gianpiero Costantino and
Carmela Gambardella and
Mirko Manea and
Anil Ozdeniz},
editor = {Stefan Schiffner and
Jetzabel M. Serna and
Demosthenes Ikonomou and
Kai Rannenberg},
title = {A Lifecycle for Data Sharing Agreements: How it Works Out},
booktitle = {Privacy Technologies and Policy - 4th Annual Privacy Forum, {APF}
2016, Frankfurt/Main, Germany, September 7-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9857},
pages = {3--20},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44760-5\_1},
doi = {10.1007/978-3-319-44760-5\_1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apf/RuizPMCGMO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/BonomiM16,
author = {Silvia Bonomi and
Ilaria Matteucci},
title = {Introduction to ReSA4CI 2016},
booktitle = {46th Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks Workshops, {DSN} Workshops 2016, Toulouse, France, June
28 - July 1, 2016},
pages = {136},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/DSN-W.2016.71},
doi = {10.1109/DSN-W.2016.71},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsn/BonomiM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/MatteucciS16,
author = {Ilaria Matteucci and
Francesco Santini},
editor = {Giovanni Livraga and
Vicen{\c{c}} Torra and
Alessandro Aldini and
Fabio Martinelli and
Neeraj Suri},
title = {Decomposing Global Quantitative Properties into Local Ones},
booktitle = {Data Privacy Management and Security Assurance - 11th International
Workshop, {DPM} 2016 and 5th International Workshop, {QASA} 2016,
Heraklion, Crete, Greece, September 26-27, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9963},
pages = {34--50},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47072-6\_3},
doi = {10.1007/978-3-319-47072-6\_3},
timestamp = {Tue, 07 May 2024 20:10:32 +0200},
biburl = {https://dblp.org/rec/conf/esorics/MatteucciS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BistarelliMMS16,
author = {Stefano Bistarelli and
Fabio Martinelli and
Ilaria Matteucci and
Francesco Santini},
editor = {Olga Kouchnarenko and
Ramtin Khosravi},
title = {A Formal and Run-Time Framework for the Adaptation of Local Behaviours
to Match a Global Property},
booktitle = {Formal Aspects of Component Software - 13th International Conference,
{FACS} 2016, Besan{\c{c}}on, France, October 19-21, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10231},
pages = {134--152},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-57666-4\_9},
doi = {10.1007/978-3-319-57666-4\_9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/BistarelliMMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/CostantinoMM16,
author = {Gianpiero Costantino and
Fabio Martinelli and
Ilaria Matteucci},
editor = {Antonello Calabr{\`{o}} and
Francesca Lonetti and
Eda Marchetti},
title = {Exploiting Vehicles' Reputation to Mitigate DoS Attack},
booktitle = {Proceedings of the International Workshop on domAin specific Model-based
AppRoaches to vErificaTion and validaTiOn, AMARETTO@MODELSWARD 2016,
Rome, Italy, February 19-21, 2016},
pages = {75--82},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005844500750082},
doi = {10.5220/0005844500750082},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/CostantinoMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/NostroMCSGMB16,
author = {Nicola Nostro and
Ilaria Matteucci and
Andrea Ceccarelli and
Francesco Santini and
Felicita Di Giandomenico and
Fabio Martinelli and
Andrea Bondavalli},
editor = {Sascha Ossowski},
title = {A multi-criteria ranking of security countermeasures},
booktitle = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
Pisa, Italy, April 4-8, 2016},
pages = {530--533},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2851613.2851878},
doi = {10.1145/2851613.2851878},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/NostroMCSGMB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BistarelliSMM16,
author = {Stefano Bistarelli and
Francesco Santini and
Fabio Martinelli and
Ilaria Matteucci},
editor = {Sascha Ossowski},
title = {Automated adaptation via quantitative partial model checking},
booktitle = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
Pisa, Italy, April 4-8, 2016},
pages = {1993--1996},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2851613.2851955},
doi = {10.1145/2851613.2851955},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/BistarelliSMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stm/MartinelliMMS16,
author = {Fabio Martinelli and
Ilaria Matteucci and
Paolo Mori and
Andrea Saracino},
editor = {Gilles Barthe and
Evangelos P. Markatos and
Pierangela Samarati},
title = {Enforcement of {U-XACML} History-Based Usage Control Policy},
booktitle = {Security and Trust Management - 12th International Workshop, {STM}
2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9871},
pages = {64--81},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46598-2\_5},
doi = {10.1007/978-3-319-46598-2\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stm/MartinelliMMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/GambardellaMP16,
author = {Carmela Gambardella and
Ilaria Matteucci and
Marinella Petrocchi},
title = {Data Sharing Agreements: How to Glue Definition, Analysis and Mapping
Together},
journal = {{ERCIM} News},
volume = {2016},
number = {106},
year = {2016},
url = {http://ercim-news.ercim.eu/en106/special/data-sharing-agreements-how-to-glue-definition-analysis-and-mapping-together},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/GambardellaMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijisec/MontMPS15,
author = {Marco Casassa Mont and
Ilaria Matteucci and
Marinella Petrocchi and
Marco Luca Sbodio},
title = {Towards safer information sharing in the cloud},
journal = {Int. J. Inf. Sec.},
volume = {14},
number = {4},
pages = {319--334},
year = {2015},
url = {https://doi.org/10.1007/s10207-014-0258-5},
doi = {10.1007/S10207-014-0258-5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijisec/MontMPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MartinelliMS15,
author = {Fabio Martinelli and
Ilaria Matteucci and
Francesco Santini},
editor = {Chiara Bodei and
Gian{-}Luigi Ferrari and
Corrado Priami},
title = {There are Two Sides to Every Question - Controller Versus Attacker},
booktitle = {Programming Languages with Applications to Biology and Security -
Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9465},
pages = {304--318},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25527-9\_20},
doi = {10.1007/978-3-319-25527-9\_20},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MartinelliMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MatteucciMP15,
author = {Ilaria Matteucci and
Paolo Mori and
Marinella Petrocchi},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {1st International Workshop on TEchnical and LEgal aspects of data
pRIvacy and Security {(TELERISE} 2015)},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
pages = {1015--1016},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.329},
doi = {10.1109/ICSE.2015.329},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/MatteucciMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/MartinelliMS15,
author = {Fabio Martinelli and
Ilaria Matteucci and
Francesco Santini},
editor = {Nathalie Bertrand and
Mirco Tribastone},
title = {Semiring-based Specification Approaches for Quantitative Security},
booktitle = {Proceedings Thirteenth Workshop on Quantitative Aspects of Programming
Languages and Systems, {QAPL} 2015, London, UK, 11th-12th April 2015},
series = {{EPTCS}},
volume = {194},
pages = {95--109},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.194.7},
doi = {10.4204/EPTCS.194.7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MartinelliMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2015telerise,
editor = {Ilaria Matteucci and
Paolo Mori and
Marinella Petrocchi},
title = {1st {IEEE/ACM} International Workshop on TEchnical and LEgal aspects
of data pRIvacy and SEcurity, {TELERISE} 2015, Florence, Italy, May
18, 2015},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://ieeexplore.ieee.org/xpl/conhome/7180535/proceeding},
isbn = {978-1-4673-7097-4},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/2015telerise.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsse/CianciaMMMPP14,
author = {Vincenzo Ciancia and
Jos{\'{e}} Antonio Mart{\'{\i}}n and
Fabio Martinelli and
Ilaria Matteucci and
Marinella Petrocchi and
Ernesto Pimentel},
title = {Automated Synthesis and Ranking of Secure {BPMN} Orchestrators},
journal = {Int. J. Secur. Softw. Eng.},
volume = {5},
number = {2},
pages = {44--64},
year = {2014},
url = {https://doi.org/10.4018/ijsse.2014040103},
doi = {10.4018/IJSSE.2014040103},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsse/CianciaMMMPP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/a4cloud/EgeaMMP14,
author = {Marina Egea and
Ilaria Matteucci and
Paolo Mori and
Marinella Petrocchi},
editor = {Massimo Felici and
M. Carmen Fern{\'{a}}ndez Gago},
title = {Definition of Data Sharing Agreements - The Case of Spanish Data Protection
Law},
booktitle = {Accountability and Security in the Cloud - First Summer School, Cloud
Accountability Project, A4Cloud, Malaga, Spain, June 2-6, 2014. Revised
Selected Papers and Lectures},
series = {Lecture Notes in Computer Science},
volume = {8937},
pages = {248--272},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17199-9\_11},
doi = {10.1007/978-3-319-17199-9\_11},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/a4cloud/EgeaMMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apf/GnesiMMMPV14,
author = {Stefania Gnesi and
Ilaria Matteucci and
Corrado Moiso and
Paolo Mori and
Marinella Petrocchi and
Michele Vescovi},
editor = {Bart Preneel and
Demosthenes Ikonomou},
title = {My Data, Your Data, Our Data: Managing Privacy Preferences in Multiple
Subjects Personal Data},
booktitle = {Privacy Technologies and Policy - Second Annual Privacy Forum, {APF}
2014, Athens, Greece, May 20-21, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8450},
pages = {154--171},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06749-0\_11},
doi = {10.1007/978-3-319-06749-0\_11},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apf/GnesiMMMPV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/ContiMMP14,
author = {Riccardo Conti and
Ilaria Matteucci and
Paolo Mori and
Marinella Petrocchi},
title = {An Expertise-Driven Authoring Tool for E-Health Data Policies},
booktitle = {2014 {IEEE} 27th International Symposium on Computer-Based Medical
Systems, New York, NY, USA, May 27-29, 2014},
pages = {82--87},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CBMS.2014.86},
doi = {10.1109/CBMS.2014.86},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cbms/ContiMMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/ContiMSMMP14,
author = {Riccardo Conti and
Emanuel Marzini and
Angelo Spognardi and
Ilaria Matteucci and
Paolo Mori and
Marinella Petrocchi},
title = {Maturity Assessment of Wikipedia Medical Articles},
booktitle = {2014 {IEEE} 27th International Symposium on Computer-Based Medical
Systems, New York, NY, USA, May 27-29, 2014},
pages = {281--286},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CBMS.2014.69},
doi = {10.1109/CBMS.2014.69},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cbms/ContiMSMMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/HartogM14,
author = {Jerry den Hartog and
Ilaria Matteucci},
editor = {Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro and
Jordi Herrera{-}Joancomart{\'{\i}} and
Emil Lupu and
Joachim Posegga and
Alessandro Aldini and
Fabio Martinelli and
Neeraj Suri},
title = {Introducing Probabilities in Controller Strategies},
booktitle = {Data Privacy Management, Autonomous Spontaneous Security, and Security
Assurance - 9th International Workshop, {DPM} 2014, 7th International
Workshop, {SETOP} 2014, and 3rd International Workshop, {QASA} 2014,
Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8872},
pages = {233--249},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17016-9\_15},
doi = {10.1007/978-3-319-17016-9\_15},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/HartogM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/MartinelliMSS14,
author = {Fabio Martinelli and
Ilaria Matteucci and
Andrea Saracino and
Daniele Sgandurra},
editor = {Wouter Joosen and
Fabio Martinelli and
Thomas Heyman},
title = {Enforcing Mobile Application Security Through Probabilistic Contracts},
booktitle = {Proceedings of the 2014 ESSoS Doctoral Symposium co-located with the
International Symposium on Engineering Secure Software and Systems
(ESSoS 2014), Munich, Germany, February 26, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1298},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1298/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:23 +0100},
biburl = {https://dblp.org/rec/conf/essos/MartinelliMSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/MarziniSMMPC14,
author = {Emanuel Marzini and
Angelo Spognardi and
Ilaria Matteucci and
Paolo Mori and
Marinella Petrocchi and
Riccardo Conti},
editor = {Robert Meersman and
Herv{\'{e}} Panetto and
Tharam S. Dillon and
Michele Missikoff and
Lin Liu and
Oscar Pastor and
Alfredo Cuzzocrea and
Timos K. Sellis},
title = {Improved Automatic Maturity Assessment of Wikipedia Medical Articles
- (Short Paper)},
booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2014 Conferences
- Confederated International Conferences: CoopIS, and {ODBASE} 2014,
Amantea, Italy, October 27-31, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8841},
pages = {612--622},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45563-0\_37},
doi = {10.1007/978-3-662-45563-0\_37},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/otm/MarziniSMMPC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/NostroMCGMB14,
author = {Nicola Nostro and
Ilaria Matteucci and
Andrea Ceccarelli and
Felicita Di Giandomenico and
Fabio Martinelli and
Andrea Bondavalli},
editor = {Andrea Bondavalli and
Andrea Ceccarelli and
Frank Ortmeier},
title = {On Security Countermeasures Ranking through Threat Analysis},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2014 Workshops:
ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, {SASSUR.} Florence, Italy,
September 8-9, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8696},
pages = {243--254},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10557-4\_27},
doi = {10.1007/978-3-319-10557-4\_27},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/NostroMCGMB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BonomiM14,
author = {Silvia Bonomi and
Ilaria Matteucci},
editor = {Andrea Bondavalli and
Andrea Ceccarelli and
Frank Ortmeier},
title = {Introduction to the Safecomp 2014 Workshop: Reliability and Security
Aspects for Critical Infrastructure Protection (ReSA4CI 2014)},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2014 Workshops:
ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, {SASSUR.} Florence, Italy,
September 8-9, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8696},
pages = {301--303},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10557-4\_33},
doi = {10.1007/978-3-319-10557-4\_33},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BonomiM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/MartinMMPT14,
author = {Jos{\'{e}} Antonio Mart{\'{\i}}n and
Fabio Martinelli and
Ilaria Matteucci and
Ernesto Pimentel and
Mathieu Turuani},
editor = {Maritta Heisel and
Wouter Joosen and
Javier L{\'{o}}pez and
Fabio Martinelli},
title = {On the Synthesis of Secure Services Composition},
booktitle = {Engineering Secure Future Internet Services and Systems - Current
Research},
series = {Lecture Notes in Computer Science},
volume = {8431},
pages = {140--159},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07452-8\_6},
doi = {10.1007/978-3-319-07452-8\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/MartinMMPT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/ContiLMMP14,
author = {Riccardo Conti and
Alessio Lunardelli and
Ilaria Matteucci and
Paolo Mori and
Marinella Petrocchi},
editor = {Maritta Heisel and
Wouter Joosen and
Javier L{\'{o}}pez and
Fabio Martinelli},
title = {Preserving Data Privacy in e-Health},
booktitle = {Engineering Secure Future Internet Services and Systems - Current
Research},
series = {Lecture Notes in Computer Science},
volume = {8431},
pages = {366--392},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07452-8\_15},
doi = {10.1007/978-3-319-07452-8\_15},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/ContiLMMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GarofaloSMVF14,
author = {Alessia Garofalo and
Cesario Di Sarno and
Ilaria Matteucci and
Marco Vallini and
Valerio Formicola},
title = {Closing the loop of {SIEM} analysis to Secure Critical Infrastructures},
journal = {CoRR},
volume = {abs/1405.2995},
year = {2014},
url = {http://arxiv.org/abs/1405.2995},
eprinttype = {arXiv},
eprint = {1405.2995},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GarofaloSMVF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/CianciaMMPMP13,
author = {Vincenzo Ciancia and
Fabio Martinelli and
Ilaria Matteucci and
Marinella Petrocchi and
Jos{\'{e}} Antonio Mart{\'{\i}}n and
Ernesto Pimentel},
title = {Automated Synthesis and Ranking of Secure {BPMN} Orchestrators},
booktitle = {2013 International Conference on Availability, Reliability and Security,
{ARES} 2013, Regensburg, Germany, September 2-6, 2013},
pages = {455--464},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ARES.2013.60},
doi = {10.1109/ARES.2013.60},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEares/CianciaMMPMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/LunardelliMMP13,
author = {Alessio Lunardelli and
Ilaria Matteucci and
Paolo Mori and
Marinella Petrocchi},
editor = {Pedro Pereira Rodrigues and
Mykola Pechenizkiy and
Jo{\~{a}}o Gama and
Ricardo Cruz{-}Correia and
Jiming Liu and
Agma J. M. Traina and
Peter J. F. Lucas and
Paolo Soda},
title = {A prototype for solving conflicts in XACML-based e-Health policies},
booktitle = {Proceedings of the 26th {IEEE} International Symposium on Computer-Based
Medical Systems, Porto, Portugal, June 20-22, 2013},
pages = {449--452},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CBMS.2013.6627838},
doi = {10.1109/CBMS.2013.6627838},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cbms/LunardelliMMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/DiniMMSS13,
author = {Gianluca Dini and
Fabio Martinelli and
Ilaria Matteucci and
Andrea Saracino and
Daniele Sgandurra},
editor = {Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro and
Georgios V. Lioudakis and
Nora Cuppens{-}Boulahia and
Simon N. Foley and
William M. Fitzgerald},
title = {Introducing Probabilities in Contract-Based Approaches for Mobile
Application Security},
booktitle = {Data Privacy Management and Autonomous Spontaneous Security - 8th
International Workshop, {DPM} 2013, and 6th International Workshop,
{SETOP} 2013, Egham, UK, September 12-13, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8247},
pages = {284--299},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-54568-9\_18},
doi = {10.1007/978-3-642-54568-9\_18},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/DiniMMSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europki/MartinelliM13,
author = {Fabio Martinelli and
Ilaria Matteucci},
editor = {Sokratis K. Katsikas and
Isaac Agudo},
title = {Partial Model Checking for the Verification and Synthesis of Secure
Service Compositions},
booktitle = {Public Key Infrastructures, Services and Applications - 10th European
Workshop, EuroPKI 2013, Egham, UK, September 12-13, 2013, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8341},
pages = {1--11},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-53997-8\_1},
doi = {10.1007/978-3-642-53997-8\_1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/europki/MartinelliM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fps/CianciaMMM13,
author = {Vincenzo Ciancia and
Fabio Martinelli and
Ilaria Matteucci and
Charles Morisset},
editor = {Jean{-}Luc Danger and
Mourad Debbabi and
Jean{-}Yves Marion and
Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro and
Nur Zincir{-}Heywood},
title = {Quantitative Evaluation of Enforcement Strategies - Position Paper},
booktitle = {Foundations and Practice of Security - 6th International Symposium,
{FPS} 2013, La Rochelle, France, October 21-22, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8352},
pages = {178--186},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05302-8\_11},
doi = {10.1007/978-3-319-05302-8\_11},
timestamp = {Fri, 08 Dec 2023 07:53:07 +0100},
biburl = {https://dblp.org/rec/conf/fps/CianciaMMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intrust/MartinelliMSS13,
author = {Fabio Martinelli and
Ilaria Matteucci and
Andrea Saracino and
Daniele Sgandurra},
editor = {Roderick Bloem and
Peter Lipp},
title = {Remote Policy Enforcement for Trusted Application Execution in Mobile
Environments},
booktitle = {Trusted Systems - 5th International Conference, {INTRUST} 2013, Graz,
Austria, December 4-5, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8292},
pages = {70--84},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03491-1\_5},
doi = {10.1007/978-3-319-03491-1\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/intrust/MartinelliMSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustcom/DiniMMPSS13,
author = {Gianluca Dini and
Fabio Martinelli and
Ilaria Matteucci and
Marinella Petrocchi and
Andrea Saracino and
Daniele Sgandurra},
title = {Evaluating the Trust of Android Applications through an Adaptive and
Distributed Multi-criteria Approach},
booktitle = {12th {IEEE} International Conference on Trust, Security and Privacy
in Computing and Communications, TrustCom 2013 / 11th {IEEE} International
Symposium on Parallel and Distributed Processing with Applications,
{ISPA-13} / 12th {IEEE} International Conference on Ubiquitous Computing
and Communications, IUCC-2013, Melbourne, Australia, July 16-18, 2013},
pages = {1541--1546},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/TrustCom.2013.189},
doi = {10.1109/TRUSTCOM.2013.189},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/trustcom/DiniMMPSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cma/CostaM12,
author = {Gabriele Costa and
Ilaria Matteucci},
title = {Gate automata-driven run-time enforcement},
journal = {Comput. Math. Appl.},
volume = {63},
number = {2},
pages = {518--524},
year = {2012},
url = {https://doi.org/10.1016/j.camwa.2011.08.046},
doi = {10.1016/J.CAMWA.2011.08.046},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cma/CostaM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/MartinelliM12,
author = {Fabio Martinelli and
Ilaria Matteucci},
title = {A framework for automatic generation of security controller},
journal = {Softw. Test. Verification Reliab.},
volume = {22},
number = {8},
pages = {563--582},
year = {2012},
url = {https://doi.org/10.1002/stvr.441},
doi = {10.1002/STVR.441},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/MartinelliM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/MartinelliMPW12,
author = {Fabio Martinelli and
Ilaria Matteucci and
Marinella Petrocchi and
Luca Wiegand},
editor = {Gerald Quirchmayr and
Josef Basl and
Ilsun You and
Lida Xu and
Edgar R. Weippl},
title = {A Formal Support for Collaborative Data Sharing},
booktitle = {Multidisciplinary Research and Practice for Information Systems -
{IFIP} {WG} 8.4, 8.9/TC 5 International Cross-Domain Conference and
Workshop on Availability, Reliability, and Security, {CD-ARES} 2012,
Prague, Czech Republic, August 20-24, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7465},
pages = {547--561},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32498-7\_42},
doi = {10.1007/978-3-642-32498-7\_42},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEares/MartinelliMPW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/MatteucciMP12,
author = {Ilaria Matteucci and
Paolo Mori and
Marinella Petrocchi},
editor = {Roberto Di Pietro and
Javier Herranz and
Ernesto Damiani and
Radu State},
title = {Prioritized Execution of Privacy Policies},
booktitle = {Data Privacy Management and Autonomous Spontaneous Security, 7th International
Workshop, {DPM} 2012, and 5th International Workshop, {SETOP} 2012,
Pisa, Italy, September 13-14, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7731},
pages = {133--145},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35890-6\_10},
doi = {10.1007/978-3-642-35890-6\_10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/MatteucciMP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intrust/DiniMMPSS12,
author = {Gianluca Dini and
Fabio Martinelli and
Ilaria Matteucci and
Marinella Petrocchi and
Andrea Saracino and
Daniele Sgandurra},
editor = {Chris J. Mitchell and
Allan Tomlinson},
title = {A Multi-criteria-Based Evaluation of Android Applications},
booktitle = {Trusted Systems, 4th International Conference, {INTRUST} 2012, London,
UK, December 17-18, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7711},
pages = {67--82},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35371-0\_7},
doi = {10.1007/978-3-642-35371-0\_7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/intrust/DiniMMPSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmmacns/MartinelliMM12,
author = {Fabio Martinelli and
Ilaria Matteucci and
Charles Morisset},
editor = {Igor V. Kotenko and
Victor A. Skormin},
title = {From Qualitative to Quantitative Enforcement of Security Policy},
booktitle = {Computer Network Security - 6th International Conference on Mathematical
Methods, Models and Architectures for Computer Network Security, {MMM-ACNS}
2012, St. Petersburg, Russia, October 17-19, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7531},
pages = {22--35},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33704-8\_3},
doi = {10.1007/978-3-642-33704-8\_3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mmmacns/MartinelliMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/CianciaMMPMP12,
author = {Vincenzo Ciancia and
Fabio Martinelli and
Ilaria Matteucci and
Marinella Petrocchi and
Jos{\'{e}} Antonio Mart{\'{\i}}n and
Ernesto Pimentel},
title = {A tool for the synthesis of cryptographic orchestrators},
booktitle = {Model-Driven Security Workshop, MDsec 2012, In conjunction with MoDELS
2012, Innsbruck, Austria, October 1, 2012},
pages = {10},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2422498.2422508},
doi = {10.1145/2422498.2422508},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/CianciaMMPMP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/MatteucciPSW11,
author = {Ilaria Matteucci and
Marinella Petrocchi and
Marco Luca Sbodio and
Luca Wiegand},
editor = {Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro and
Guillermo Navarro{-}Arribas and
Nora Cuppens{-}Boulahia and
Sabrina De Capitani di Vimercati},
title = {A Design Phase for Data Sharing Agreements},
booktitle = {Data Privacy Management and Autonomous Spontaneus Security - 6th International
Workshop, {DPM} 2011, and 4th International Workshop, {SETOP} 2011,
Leuven, Belgium, September 15-16, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7122},
pages = {25--41},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-28879-1\_3},
doi = {10.1007/978-3-642-28879-1\_3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/MatteucciPSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MartinelliM11,
author = {Fabio Martinelli and
Ilaria Matteucci},
editor = {Jan J{\"{u}}rjens and
Seok{-}Won Lee and
Mattia Monga},
title = {Preserving security properties under refinement},
booktitle = {Proceedings of the 7th International Workshop on Software Engineering
for Secure Systems, {SESS} 2011, Waikiki, Honolulu, HI, USA, May 22,
2011},
pages = {15--21},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1988630.1988634},
doi = {10.1145/1988630.1988634},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/MartinelliM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imis/CostaM11,
author = {Gabriele Costa and
Ilaria Matteucci},
editor = {Ilsun You and
Leonard Barolli and
Feilong Tang and
Fatos Xhafa},
title = {Trust-Driven Policy Enforcement through Gate Automata},
booktitle = {Proceedings of the Fifth International Conference on Innovative Mobile
and Internet Services in Ubiquitous Computing, {IMIS} 2011, Seoul,
Korea, June 30-July 02, 2011},
pages = {208--215},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/IMIS.2011.88},
doi = {10.1109/IMIS.2011.88},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imis/CostaM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qosa/CostaM11,
author = {Gabriele Costa and
Ilaria Matteucci},
editor = {Ivica Crnkovic and
Judith A. Stafford and
Dorina C. Petriu and
Jens Happe and
Paola Inverardi},
title = {Elective temporal logic},
booktitle = {7th International Conference on the Quality of Software Architectures,
QoSA 2011 and 2nd International Symposium on Architecting Critical
Systems, {ISARCS} 2011. Boulder, CO, USA, June 20-24, 2011, Proceedings},
pages = {143--152},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2000259.2000283},
doi = {10.1145/2000259.2000283},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qosa/CostaM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/CostaIMMS11,
author = {Gabriele Costa and
Val{\'{e}}rie Issarny and
Fabio Martinelli and
Ilaria Matteucci and
Rachid Saadi},
editor = {Marco Bernardo and
Val{\'{e}}rie Issarny},
title = {Security and Trust},
booktitle = {Formal Methods for Eternal Networked Software Systems - 11th International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM} 2011, Bertinoro, Italy, June 13-18, 2011.
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {6659},
pages = {393--416},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21455-4\_12},
doi = {10.1007/978-3-642-21455-4\_12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/CostaIMMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stast/MatteucciMPW11,
author = {Ilaria Matteucci and
Paolo Mori and
Marinella Petrocchi and
Luca Wiegand},
title = {Controlled data sharing in E-health},
booktitle = {1st Workshop on Socio-Technical Aspects in Security and Trust, {STAST}
2011, Milan, Italy, September 8, 2011},
pages = {17--23},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/STAST.2011.6059251},
doi = {10.1109/STAST.2011.6059251},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stast/MatteucciMPW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jowua/CostaLMMISDM10,
author = {Gabriele Costa and
Aliaksandr Lazouski and
Fabio Martinelli and
Ilaria Matteucci and
Val{\'{e}}rie Issarny and
Rachid Saadi and
Nicola Dragoni and
Fabio Massacci},
title = {Security-by-Contract-with-Trust for Mobile Devices},
journal = {J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.},
volume = {1},
number = {4},
pages = {75--91},
year = {2010},
url = {https://doi.org/10.22667/JOWUA.2010.12.31.075},
doi = {10.22667/JOWUA.2010.12.31.075},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jowua/CostaLMMISDM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cisis/CostaDLMMM10,
author = {Gabriele Costa and
Nicola Dragoni and
Aliaksandr Lazouski and
Fabio Martinelli and
Fabio Massacci and
Ilaria Matteucci},
editor = {Leonard Barolli and
Fatos Xhafa and
Salvatore Vitabile and
Hui{-}Huang Hsu},
title = {Extending Security-by-Contract with Quantitative Trust on Mobile Devices},
booktitle = {{CISIS} 2010, The Fourth International Conference on Complex, Intelligent
and Software Intensive Systems, Krakow, Poland, 15-18 February 2010},
pages = {872--877},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/CISIS.2010.33},
doi = {10.1109/CISIS.2010.33},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cisis/CostaDLMMM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MatteucciPS10,
author = {Ilaria Matteucci and
Marinella Petrocchi and
Marco Luca Sbodio},
editor = {Sung Y. Shin and
Sascha Ossowski and
Michael Schumacher and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {{CNL4DSA:} a controlled natural language for data sharing agreements},
booktitle = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
Sierre, Switzerland, March 22-26, 2010},
pages = {616--620},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1774088.1774218},
doi = {10.1145/1774088.1774218},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/MatteucciPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/MartinelliM09,
author = {Fabio Martinelli and
Ilaria Matteucci},
editor = {Fabio Massacci and
Samuel T. Redwine Jr. and
Nicola Zannone},
title = {Idea: Action Refinement for Security Properties Enforcement},
booktitle = {Engineering Secure Software and Systems, First International Symposium
ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5429},
pages = {37--42},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00199-4\_4},
doi = {10.1007/978-3-642-00199-4\_4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/essos/MartinelliM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/MartinelliM08,
author = {Fabio Martinelli and
Ilaria Matteucci},
title = {Synthesis of Local Controller Programs for Enforcing Global Security
Properties},
booktitle = {Proceedings of the The Third International Conference on Availability,
Reliability and Security, {ARES} 2008, March 4-7, 2008, Technical
University of Catalonia, Barcelona , Spain},
pages = {1120--1127},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ARES.2008.196},
doi = {10.1109/ARES.2008.196},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEares/MartinelliM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LenziniMMG08,
author = {Gabriele Lenzini and
Fabio Martinelli and
Ilaria Matteucci and
Stefania Gnesi},
editor = {Rog{\'{e}}rio de Lemos and
Jean{-}Charles Fabre and
Cristina Gacek and
Fabio Gadducci and
Maurice H. ter Beek},
title = {A Uniform Approach to Security and Fault-Tolerance Specification and
Analysis},
booktitle = {Architecting Dependable Systems {VI}},
series = {Lecture Notes in Computer Science},
volume = {5835},
pages = {172--201},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-10248-6\_8},
doi = {10.1007/978-3-642-10248-6\_8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/LenziniMMG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GreciMM08,
author = {Paolo Greci and
Fabio Martinelli and
Ilaria Matteucci},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Framework for Contract-Policy Matching Based on Symbolic Simulations
for Securing Mobile Device Application},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {221--236},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_16},
doi = {10.1007/978-3-540-88479-8\_16},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/GreciMM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustbus/AzizAMMM08,
author = {Benjamin Aziz and
Alvaro Arenas and
Fabio Martinelli and
Ilaria Matteucci and
Paolo Mori},
editor = {Steven Furnell and
Sokratis K. Katsikas and
Antonio Lioy},
title = {Controlling Usage in Business Process Workflows through Fine-Grained
Security Policies},
booktitle = {Trust, Privacy and Security in Digital Business, 5th International
Conference, TrustBus 2008, Turin, Italy, September 4-5, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5185},
pages = {100--117},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85735-8\_11},
doi = {10.1007/978-3-540-85735-8\_11},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/trustbus/AzizAMMM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GorrieriMM09,
author = {Roberto Gorrieri and
Fabio Martinelli and
Ilaria Matteucci},
editor = {Alessandro Aldini and
Maurice H. ter Beek and
Fabio Gadducci},
title = {Towards Information Flow Properties for Distributed Systems},
booktitle = {Proceedings of the 3rd International Workshop on Views On Designing
Complex Architectures, VODCA@FOSAD 2008, Bertinoro, Italy, August
30-31, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {236},
pages = {65--84},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.03.015},
doi = {10.1016/J.ENTCS.2009.03.015},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/GorrieriMM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/MartinelliM07,
author = {Fabio Martinelli and
Ilaria Matteucci},
editor = {Marlon Dumas and
Reiko Heckel},
title = {Synthesis of Web Services Orchestrators in a Timed Setting},
booktitle = {Web Services and Formal Methods, 4th International Workshop, {WS-FM}
2007, Brisbane, Australia, September 28-29, 2007. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4937},
pages = {124--138},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-79230-7\_9},
doi = {10.1007/978-3-540-79230-7\_9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/MartinelliM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/Matteucci06,
author = {Ilaria Matteucci},
editor = {Theodosis Dimitrakos and
Fabio Martinelli and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {A Tool for the Synthesis of Controller Programs},
booktitle = {Formal Aspects in Security and Trust, Fourth International Workshop,
{FAST} 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4691},
pages = {112--126},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75227-1\_8},
doi = {10.1007/978-3-540-75227-1\_8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/Matteucci06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MartinelliM07,
author = {Fabio Martinelli and
Ilaria Matteucci},
editor = {Maurice H. ter Beek and
Fabio Gadducci},
title = {An Approach for the Specification, Verification and Synthesis of Secure
Systems},
booktitle = {Proceedings of the Second International Workshop on Views on Designing
Complex Architectures, VODCA@FOSAD 2006, Bertinoro, Italy, September
16-17, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {168},
pages = {29--43},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.12.003},
doi = {10.1016/J.ENTCS.2006.12.003},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/MartinelliM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MartinelliM07a,
author = {Fabio Martinelli and
Ilaria Matteucci},
editor = {Sandro Etalle and
Pierangela Samarati},
title = {Through Modeling to Synthesis of Security Automata},
booktitle = {Proceedings of the Second International Workshop on Security and Trust
Management, {STM} 2006, Hamburg, Germany, September 20-21, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {179},
pages = {31--46},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.029},
doi = {10.1016/J.ENTCS.2006.08.029},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/MartinelliM07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Matteucci07,
author = {Ilaria Matteucci},
editor = {Catalin Dima and
Marius Minea and
Ferucio Laurentiu Tiplea},
title = {Automated Synthesis of Enforcing Mechanisms for Security Properties
in a Timed Setting},
booktitle = {Proceedings of the First Workshop in Information and Computer Security,
ICS@SYNASC 2006, Timisoara, Romania, September 30, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {186},
pages = {101--120},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.03.025},
doi = {10.1016/J.ENTCS.2007.03.025},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Matteucci07.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.
last updated on 2024-09-12 03:26 CEST 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:
