Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Letterio Galletta
@article{DBLP:journals/compsec/CostaDGS23,
author = {Gabriele Costa and
Pierpaolo Degano and
Letterio Galletta and
Simone Soderi},
title = {Formally verifying security protocols built on watermarking and jamming},
journal = {Comput. Secur.},
volume = {128},
pages = {103133},
year = {2023},
url = {https://doi.org/10.1016/j.cose.2023.103133},
doi = {10.1016/J.COSE.2023.103133},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/compsec/CostaDGS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/BistarelliNGLMV23,
author = {Stefano Bistarelli and
Rocco De Nicola and
Letterio Galletta and
Cosimo Laneve and
Ivan Mercanti and
Adele Veschetti},
title = {Stochastic modeling and analysis of the bitcoin protocol in the presence
of block communication delays},
journal = {Concurr. Comput. Pract. Exp.},
volume = {35},
number = {16},
year = {2023},
url = {https://doi.org/10.1002/cpe.6749},
doi = {10.1002/CPE.6749},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/BistarelliNGLMV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/distribledger/GallettaLMV23,
author = {Letterio Galletta and
Cosimo Laneve and
Ivan Mercanti and
Adele Veschetti},
title = {Resilience of Hybrid Casper Under Varying Values of Parameters},
journal = {Distributed Ledger Technol. Res. Pract.},
volume = {2},
number = {1},
pages = {5:1--5:25},
year = {2023},
url = {https://doi.org/10.1145/3571587},
doi = {10.1145/3571587},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/distribledger/GallettaLMV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/SavanovicG23,
author = {Zorica Savanovic and
Letterio Galletta},
title = {A type language for distributed reactive components governed by communication
protocols},
journal = {J. Log. Algebraic Methods Program.},
volume = {132},
pages = {100848},
year = {2023},
url = {https://doi.org/10.1016/j.jlamp.2023.100848},
doi = {10.1016/J.JLAMP.2023.100848},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/SavanovicG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intetain/MaggioniG23,
author = {Niccol{\`{o}} Maggioni and
Letterio Galletta},
editor = {Martin Clayton and
Mauro Passacantando and
Marcello Sanguineti},
title = {A Comparison of Hosting Techniques for Online Cybersecurity Competitions},
booktitle = {Intelligent Technologies for Interactive Entertainment - 14th {EAI}
International Conference, {INTETAIN} 2023, Lucca, Italy, November
27, 2023, Proceedings},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {560},
pages = {136--163},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-55722-4\_11},
doi = {10.1007/978-3-031-55722-4\_11},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/intetain/MaggioniG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-04872,
author = {Letterio Galletta and
Fabio Pinelli},
title = {Sharpening Ponzi Schemes Detection on Ethereum with Machine Learning},
journal = {CoRR},
volume = {abs/2301.04872},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.04872},
doi = {10.48550/ARXIV.2301.04872},
eprinttype = {arXiv},
eprint = {2301.04872},
timestamp = {Thu, 19 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-04872.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/CeragioliDG22,
author = {Lorenzo Ceragioli and
Pierpaolo Degano and
Letterio Galletta},
title = {Can my firewall system enforce this policy?},
journal = {Comput. Secur.},
volume = {117},
pages = {102683},
year = {2022},
url = {https://doi.org/10.1016/j.cose.2022.102683},
doi = {10.1016/J.COSE.2022.102683},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/compsec/CeragioliDG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/CeragioliGDB22,
author = {Lorenzo Ceragioli and
Letterio Galletta and
Pierpaolo Degano and
David A. Basin},
title = {{IFCIL:} An Information Flow Configuration Language for SELinux},
booktitle = {35th {IEEE} Computer Security Foundations Symposium, {CSF} 2022, Haifa,
Israel, August 7-10, 2022},
pages = {243--259},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CSF54842.2022.9919690},
doi = {10.1109/CSF54842.2022.9919690},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/CeragioliGDB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BusiDG22,
author = {Matteo Busi and
Pierpaolo Degano and
Letterio Galletta},
editor = {Jiman Hong and
Miroslav Bures and
Juw Won Park and
Tom{\'{a}}s Cern{\'{y}}},
title = {Towards effective preservation of robust safety properties},
booktitle = {{SAC} '22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
Event, April 25 - 29, 2022},
pages = {1674--1683},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3477314.3507084},
doi = {10.1145/3477314.3507084},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/BusiDG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-15915,
author = {Lorenzo Ceragioli and
Letterio Galletta and
Pierpaolo Degano and
David A. Basin},
title = {{IFCIL:} An Information Flow Configuration Language for SELinux (Extended
Version)},
journal = {CoRR},
volume = {abs/2205.15915},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.15915},
doi = {10.48550/ARXIV.2205.15915},
eprinttype = {arXiv},
eprint = {2205.15915},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-15915.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-12326,
author = {Lorenzo Ceragioli and
Letterio Galletta and
Pierpaolo Degano and
Luca Vigan{\`{o}}},
title = {Automatic Fair Exchanges},
journal = {CoRR},
volume = {abs/2207.12326},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.12326},
doi = {10.48550/ARXIV.2207.12326},
eprinttype = {arXiv},
eprint = {2207.12326},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-12326.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/HajnyRPLGN21,
author = {Jan Hajny and
Sara Ricci and
Edmundas Piesarskas and
Olivier Levillain and
Letterio Galletta and
Rocco De Nicola},
title = {Framework, Tools and Good Practices for Cybersecurity Curricula},
journal = {{IEEE} Access},
volume = {9},
pages = {94723--94747},
year = {2021},
url = {https://doi.org/10.1109/ACCESS.2021.3093952},
doi = {10.1109/ACCESS.2021.3093952},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/HajnyRPLGN21.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}
}
@article{DBLP:journals/jpdc/BodeiDFG21,
author = {Chiara Bodei and
Pierpaolo Degano and
Gian{-}Luigi Ferrari and
Letterio Galletta},
title = {Modelling and analysing IoT systems},
journal = {J. Parallel Distributed Comput.},
volume = {157},
pages = {233--242},
year = {2021},
url = {https://doi.org/10.1016/j.jpdc.2021.07.004},
doi = {10.1016/J.JPDC.2021.07.004},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jpdc/BodeiDFG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BartolettiGM21,
author = {Massimo Bartoletti and
Letterio Galletta and
Maurizio Murgia},
title = {A theory of transaction parallelism in blockchains},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {4},
year = {2021},
url = {https://doi.org/10.46298/lmcs-17(4:10)2021},
doi = {10.46298/LMCS-17(4:10)2021},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BartolettiGM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BusiDG21,
author = {Matteo Busi and
Pierpaolo Degano and
Letterio Galletta},
title = {Mechanical incrementalization of typing algorithms},
journal = {Sci. Comput. Program.},
volume = {208},
pages = {102657},
year = {2021},
url = {https://doi.org/10.1016/j.scico.2021.102657},
doi = {10.1016/J.SCICO.2021.102657},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BusiDG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BusiNBGDMP21,
author = {Matteo Busi and
Job Noorman and
Jo Van Bulck and
Letterio Galletta and
Pierpaolo Degano and
Jan Tobias M{\"{u}}hlberg and
Frank Piessens},
title = {Securing Interruptible Enclaved Execution on Small Microprocessors},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {43},
number = {3},
pages = {12:1--12:77},
year = {2021},
url = {https://doi.org/10.1145/3470534},
doi = {10.1145/3470534},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/BusiNBGDMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DeganoGG21,
author = {Pierpaolo Degano and
Letterio Galletta and
Selene Gerali},
editor = {Daniel Dougherty and
Jos{\'{e}} Meseguer and
Sebastian Alexander M{\"{o}}dersheim and
Paul D. Rowe},
title = {Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty},
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 = {124--138},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91631-2\_7},
doi = {10.1007/978-3-030-91631-2\_7},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/DeganoGG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/CostaGDBB20,
author = {Gabriele Costa and
Letterio Galletta and
Pierpaolo Degano and
David A. Basin and
Chiara Bodei},
title = {Natural Projection as Partial Model Checking},
journal = {J. Autom. Reason.},
volume = {64},
number = {7},
pages = {1445--1481},
year = {2020},
url = {https://doi.org/10.1007/s10817-020-09568-7},
doi = {10.1007/S10817-020-09568-7},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/CostaGDBB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BodeiDFG15,
author = {Chiara Bodei and
Pierpaolo Degano and
Gian{-}Luigi Ferrari and
Letterio Galletta},
editor = {Alessandra Di Pierro and
Pasquale Malacaria and
Rajagopal Nagarajan},
title = {Security Metrics at Work on the Things in IoT Systems},
booktitle = {From Lambda Calculus to Cybersecurity Through Program Analysis - Essays
Dedicated to Chris Hankin on the Occasion of His Retirement},
series = {Lecture Notes in Computer Science},
volume = {12065},
pages = {233--255},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-41103-9\_9},
doi = {10.1007/978-3-030-41103-9\_9},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BodeiDFG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BartolettiGM20,
author = {Massimo Bartoletti and
Letterio Galletta and
Maurizio Murgia},
editor = {Simon Bliudze and
Laura Bocchi},
title = {A True Concurrent Model of Smart Contracts Executions},
booktitle = {Coordination Models and Languages - 22nd {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2020, Held as Part of the 15th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2020, Valletta, Malta, June 15-19, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12134},
pages = {243--260},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50029-0\_16},
doi = {10.1007/978-3-030-50029-0\_16},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coordination/BartolettiGM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BusiNBGDMP20,
author = {Matteo Busi and
Job Noorman and
Jo Van Bulck and
Letterio Galletta and
Pierpaolo Degano and
Jan Tobias M{\"{u}}hlberg and
Frank Piessens},
title = {Provably Secure Isolation for Interruptible Enclaved Execution on
Small Microprocessors},
booktitle = {33rd {IEEE} Computer Security Foundations Symposium, {CSF} 2020, Boston,
MA, USA, June 22-26, 2020},
pages = {262--276},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/CSF49147.2020.00026},
doi = {10.1109/CSF49147.2020.00026},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/BusiNBGDMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itasec/BusiDG20,
author = {Matteo Busi and
Pierpaolo Degano and
Letterio Galletta},
editor = {Michele Loreti and
Luca Spalazzi},
title = {Control-flow Flattening Preserves the Constant-Time Policy},
booktitle = {Proceedings of the Fourth Italian Conference on Cyber Security, Ancona,
Italy, February 4th to 7th, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2597},
pages = {82--92},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2597/paper-08.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:11 +0100},
biburl = {https://dblp.org/rec/conf/itasec/BusiDG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itasec/CeragioliDG20,
author = {Lorenzo Ceragioli and
Pierpaolo Degano and
Letterio Galletta},
editor = {Michele Loreti and
Luca Spalazzi},
title = {MuAC: Access Control Language for Mutual Benefits},
booktitle = {Proceedings of the Fourth Italian Conference on Cyber Security, Ancona,
Italy, February 4th to 7th, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2597},
pages = {119--127},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2597/paper-11.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itasec/CeragioliDG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tokenomics/CanidioCG20,
author = {Andrea Canidio and
Gabriele Costa and
Letterio Galletta},
editor = {Emmanuelle Anceaume and
Christophe Bisi{\`{e}}re and
Matthieu Bouvard and
Quentin Bramas and
Catherine Casamatta},
title = {VeriOSS: Using the Blockchain to Foster Bug Bounty Programs},
booktitle = {2nd International Conference on Blockchain Economics, Security and
Protocols, Tokenomics 2020, October 26-27, 2020, Toulouse, France},
series = {OASIcs},
volume = {82},
pages = {6:1--6:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/OASIcs.Tokenomics.2020.6},
doi = {10.4230/OASICS.TOKENOMICS.2020.6},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tokenomics/CanidioCG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-07989,
author = {Zorica Savanovic and
Letterio Galletta and
Hugo Torres Vieira},
editor = {Julien Lange and
Anastasia Mavridou and
Larisa Safina and
Alceste Scalas},
title = {A type language for message passing component-based systems},
booktitle = {Proceedings 13th Interaction and Concurrency Experience, {ICE} 2020,
Online, 19 June 2020},
series = {{EPTCS}},
volume = {324},
pages = {3--24},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.324.3},
doi = {10.4204/EPTCS.324.3},
timestamp = {Tue, 21 Mar 2023 21:05:23 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-07989.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-10881,
author = {Matteo Busi and
Job Noorman and
Jo Van Bulck and
Letterio Galletta and
Pierpaolo Degano and
Jan Tobias M{\"{u}}hlberg and
Frank Piessens},
title = {Provably Secure Isolation for Interruptible Enclaved Execution on
Small Microprocessors: Extended Version},
journal = {CoRR},
volume = {abs/2001.10881},
year = {2020},
url = {https://arxiv.org/abs/2001.10881},
eprinttype = {arXiv},
eprint = {2001.10881},
timestamp = {Sat, 17 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-10881.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-05836,
author = {Matteo Busi and
Pierpaolo Degano and
Letterio Galletta},
title = {Control-flow Flattening Preserves the Constant-Time Policy (Extended
Version)},
journal = {CoRR},
volume = {abs/2003.05836},
year = {2020},
url = {https://arxiv.org/abs/2003.05836},
eprinttype = {arXiv},
eprint = {2003.05836},
timestamp = {Sat, 17 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-05836.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-09303,
author = {Andrea Canidio and
Gabriele Costa and
Letterio Galletta},
title = {Private-Yet-Verifiable Contact Tracing},
journal = {CoRR},
volume = {abs/2010.09303},
year = {2020},
url = {https://arxiv.org/abs/2010.09303},
eprinttype = {arXiv},
eprint = {2010.09303},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-09303.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-13837,
author = {Massimo Bartoletti and
Letterio Galletta and
Maurizio Murgia},
title = {A theory of transaction parallelism in blockchains},
journal = {CoRR},
volume = {abs/2011.13837},
year = {2020},
url = {https://arxiv.org/abs/2011.13837},
eprinttype = {arXiv},
eprint = {2011.13837},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-13837.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BodeiCG19,
author = {Chiara Bodei and
Stefano Chessa and
Letterio Galletta},
title = {Measuring security in IoT communications},
journal = {Theor. Comput. Sci.},
volume = {764},
pages = {100--124},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2018.12.002},
doi = {10.1016/J.TCS.2018.12.002},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BodeiCG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/BodeiDFG19,
author = {Chiara Bodei and
Pierpaolo Degano and
Gian{-}Luigi Ferrari and
Letterio Galletta},
title = {Programming in a context-aware language},
journal = {J. Supercomput.},
volume = {75},
number = {12},
pages = {7750--7764},
year = {2019},
url = {https://doi.org/10.1007/s11227-018-2603-3},
doi = {10.1007/S11227-018-2603-3},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tjs/BodeiDFG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BusiDG19,
author = {Matteo Busi and
Pierpaolo Degano and
Letterio Galletta},
editor = {Joshua D. Guttman and
Carl E. Landwehr and
Jos{\'{e}} Meseguer and
Dusko Pavlovic},
title = {Robust Declassification by Incremental Typing},
booktitle = {Foundations of Security, Protocols, and Equational Reasoning - Essays
Dedicated to Catherine A. Meadows},
series = {Lecture Notes in Computer Science},
volume = {11565},
pages = {54--69},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19052-1\_6},
doi = {10.1007/978-3-030-19052-1\_6},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BusiDG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CeragioliDG19,
author = {Lorenzo Ceragioli and
Pierpaolo Degano and
Letterio Galletta},
editor = {M{\'{a}}rio S. Alvim and
Kostas Chatzikokolakis and
Carlos Olarte and
Frank Valencia},
title = {Checking the Expressivity of Firewall Languages},
booktitle = {The Art of Modelling Computational Systems: {A} Journey from Logic
and Concurrency to Security and Privacy - Essays Dedicated to Catuscia
Palamidessi on the Occasion of Her 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11760},
pages = {86--100},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31175-9\_6},
doi = {10.1007/978-3-030-31175-9\_6},
timestamp = {Sat, 09 Apr 2022 12:46:09 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CeragioliDG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BodeiDFG19,
author = {Chiara Bodei and
Pierpaolo Degano and
Gian{-}Luigi Ferrari and
Letterio Galletta},
editor = {Michele Boreale and
Flavio Corradini and
Michele Loreti and
Rosario Pugliese},
title = {Revealing the Trajectories of {KLAIM} Tuples, Statically},
booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming
- Essays Dedicated to Rocco De Nicola on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {11665},
pages = {437--454},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21485-2\_24},
doi = {10.1007/978-3-030-21485-2\_24},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BodeiDFG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/CeragioliDG19,
author = {Lorenzo Ceragioli and
Pierpaolo Degano and
Letterio Galletta},
editor = {Piotr Mardziel and
Niki Vazou},
title = {Are All Firewall Systems Equally Powerful?},
booktitle = {Proceedings of the 14th {ACM} {SIGSAC} Workshop on Programming Languages
and Analysis for Security, {CCS} 2019, London, United Kingdom, November
11-15, 2019},
pages = {1--17},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3338504.3357340},
doi = {10.1145/3338504.3357340},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/CeragioliDG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/BartolettiGM19,
author = {Massimo Bartoletti and
Letterio Galletta and
Maurizio Murgia},
editor = {Cristina P{\'{e}}rez{-}Sol{\`{a}} and
Guillermo Navarro{-}Arribas and
Alex Biryukov and
Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro},
title = {A Minimal Core Calculus for Solidity Contracts},
booktitle = {Data Privacy Management, Cryptocurrencies and Blockchain Technology
- {ESORICS} 2019 International Workshops, {DPM} 2019 and {CBT} 2019,
Luxembourg, September 26-27, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11737},
pages = {233--243},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31500-9\_15},
doi = {10.1007/978-3-030-31500-9\_15},
timestamp = {Mon, 05 Feb 2024 20:29:40 +0100},
biburl = {https://dblp.org/rec/conf/esorics/BartolettiGM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icissp/BodeiG19a,
author = {Chiara Bodei and
Letterio Galletta},
editor = {Paolo Mori and
Steven Furnell and
Olivier Camp},
title = {Analysing the Provenance of IoT Data},
booktitle = {Information Systems Security and Privacy - 5th International Conference,
{ICISSP} 2019, Prague, Czech Republic, February 23-25, 2019, Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1221},
pages = {358--381},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-49443-8\_17},
doi = {10.1007/978-3-030-49443-8\_17},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icissp/BodeiG19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icissp/BodeiG19,
author = {Chiara Bodei and
Letterio Galletta},
editor = {Paolo Mori and
Steven Furnell and
Olivier Camp},
title = {Tracking Data Trajectories in IoT},
booktitle = {Proceedings of the 5th International Conference on Information Systems
Security and Privacy, {ICISSP} 2019, Prague, Czech Republic, February
23-25, 2019},
pages = {572--579},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007578305720579},
doi = {10.5220/0007578305720579},
timestamp = {Wed, 05 Jun 2019 13:01:15 +0200},
biburl = {https://dblp.org/rec/conf/icissp/BodeiG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itasec/BusiG19,
author = {Matteo Busi and
Letterio Galletta},
editor = {Pierpaolo Degano and
Roberto Zunino},
title = {A Brief Tour of Formally Secure Compilation},
booktitle = {Proceedings of the Third Italian Conference on Cyber Security, Pisa,
Italy, February 13-15, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2315},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2315/paper03.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:11 +0100},
biburl = {https://dblp.org/rec/conf/itasec/BusiG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itasec/CeragioliGT19,
author = {Lorenzo Ceragioli and
Letterio Galletta and
Mauro Tempesta},
editor = {Pierpaolo Degano and
Roberto Zunino},
title = {From Firewalls to Functions and Back},
booktitle = {Proceedings of the Third Italian Conference on Cyber Security, Pisa,
Italy, February 13-15, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2315},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2315/paper04.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itasec/CeragioliGT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BusiDG19,
author = {Matteo Busi and
Pierpaolo Degano and
Letterio Galletta},
editor = {Julia M. Badger and
Kristin Yvonne Rozier},
title = {Using Standard Typing Algorithms Incrementally},
booktitle = {{NASA} Formal Methods - 11th International Symposium, {NFM} 2019,
Houston, TX, USA, May 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11460},
pages = {106--122},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-20652-9\_7},
doi = {10.1007/978-3-030-20652-9\_7},
timestamp = {Sat, 17 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BusiDG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-05082,
author = {Matteo Busi and
Pierpaolo Degano and
Letterio Galletta},
title = {Translation Validation for Security Properties},
journal = {CoRR},
volume = {abs/1901.05082},
year = {2019},
url = {http://arxiv.org/abs/1901.05082},
eprinttype = {arXiv},
eprint = {1901.05082},
timestamp = {Sat, 17 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-05082.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-04366,
author = {Massimo Bartoletti and
Letterio Galletta and
Maurizio Murgia},
title = {A true concurrent model of smart contracts executions},
journal = {CoRR},
volume = {abs/1905.04366},
year = {2019},
url = {http://arxiv.org/abs/1905.04366},
eprinttype = {arXiv},
eprint = {1905.04366},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-04366.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-02709,
author = {Massimo Bartoletti and
Letterio Galletta and
Maurizio Murgia},
title = {A minimal core calculus for Solidity contracts},
journal = {CoRR},
volume = {abs/1908.02709},
year = {2019},
url = {http://arxiv.org/abs/1908.02709},
eprinttype = {arXiv},
eprint = {1908.02709},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-02709.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosp/BodeiDGFTV18,
author = {Chiara Bodei and
Pierpaolo Degano and
Letterio Galletta and
Riccardo Focardi and
Mauro Tempesta and
Lorenzo Veronese},
title = {Language-Independent Synthesis of Firewall Policies},
booktitle = {2018 {IEEE} European Symposium on Security and Privacy, EuroS{\&}P
2018, London, United Kingdom, April 24-26, 2018},
pages = {92--106},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/EuroSP.2018.00015},
doi = {10.1109/EUROSP.2018.00015},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosp/BodeiDGFTV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itasec/BodeiDFGTV18,
author = {Chiara Bodei and
Pierpaolo Degano and
Riccardo Focardi and
Letterio Galletta and
Mauro Tempesta and
Lorenzo Veronese},
editor = {Elena Ferrari and
Marco Baldi and
Roberto Baldoni},
title = {Firewall Management With FireWall Synthesizer},
booktitle = {Proceedings of the Second Italian Conference on Cyber Security, Milan,
Italy, February 6th - to - 9th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2058},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2058/paper-16.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:11 +0100},
biburl = {https://dblp.org/rec/conf/itasec/BodeiDFGTV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/BodeiDFGT18,
author = {Chiara Bodei and
Pierpaolo Degano and
Riccardo Focardi and
Letterio Galletta and
Mauro Tempesta},
editor = {Lujo Bauer and
Ralf K{\"{u}}sters},
title = {Transcompiling Firewalls},
booktitle = {Principles of Security and Trust - 7th International Conference, {POST}
2018, Held as Part of the European Joint Conferences on Theory and
Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10804},
pages = {303--324},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89722-6\_13},
doi = {10.1007/978-3-319-89722-6\_13},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/post/BodeiDFGT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CostaBBDG18,
author = {Gabriele Costa and
David A. Basin and
Chiara Bodei and
Pierpaolo Degano and
Letterio Galletta},
editor = {Dirk Beyer and
Marieke Huisman},
title = {From Natural Projection to Partial Model Checking and Back},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 24th International Conference, {TACAS} 2018, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10805},
pages = {344--361},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89960-2\_19},
doi = {10.1007/978-3-319-89960-2\_19},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CostaBBDG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-00225,
author = {Matteo Busi and
Pierpaolo Degano and
Letterio Galletta},
title = {Using Standard Typing Algorithms Incrementally},
journal = {CoRR},
volume = {abs/1808.00225},
year = {2018},
url = {http://arxiv.org/abs/1808.00225},
eprinttype = {arXiv},
eprint = {1808.00225},
timestamp = {Sat, 17 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-00225.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BodeiDFG17,
author = {Chiara Bodei and
Pierpaolo Degano and
Gian{-}Luigi Ferrari and
Letterio Galletta},
title = {Tracing where IoT data are collected and aggregated},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:5)2017},
doi = {10.23638/LMCS-13(3:5)2017},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BodeiDFG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itasec/BodeiG17,
author = {Chiara Bodei and
Letterio Galletta},
editor = {Alessandro Armando and
Roberto Baldoni and
Riccardo Focardi},
title = {Tracking Sensitive and Untrustworthy Data in IoT},
booktitle = {Proceedings of the First Italian Conference on Cybersecurity (ITASEC17),
Venice, Italy, January 17-20, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1816},
pages = {38--52},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1816/paper-05.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:11 +0100},
biburl = {https://dblp.org/rec/conf/itasec/BodeiG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact/BodeiDFG17,
author = {Chiara Bodei and
Pierpaolo Degano and
Gian{-}Luigi Ferrari and
Letterio Galletta},
editor = {Victor Malyshkin},
title = {Experimenting with a Context-Aware Language},
booktitle = {Parallel Computing Technologies - 14th International Conference, PaCT
2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10421},
pages = {3--17},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-62932-2\_1},
doi = {10.1007/978-3-319-62932-2\_1},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pact/BodeiDFG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1711-11210,
author = {Chiara Bodei and
Pierpaolo Degano and
Letterio Galletta and
Emilio Tuosto},
editor = {Massimo Bartoletti and
Laura Bocchi and
Ludovic Henrio and
Sophia Knight},
title = {Tool Supported Analysis of IoT},
booktitle = {Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec
2017, Neuch{\^{a}}tel, Switzerland, 21-22nd June 2017},
series = {{EPTCS}},
volume = {261},
pages = {37--56},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.261.6},
doi = {10.4204/EPTCS.261.6},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-11210.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/BodeiDGS16,
author = {Chiara Bodei and
Pierpaolo Degano and
Letterio Galletta and
Francesco Salvatori},
title = {Context-aware security: Linguistic mechanisms and static analysis},
journal = {J. Comput. Secur.},
volume = {24},
number = {4},
pages = {427--477},
year = {2016},
url = {https://doi.org/10.3233/JCS-160551},
doi = {10.3233/JCS-160551},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/BodeiDGS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DeganoFG16,
author = {Pierpaolo Degano and
Gian{-}Luigi Ferrari and
Letterio Galletta},
title = {A Two-Component Language for Adaptation: Design, Semantics and Program
Analysis},
journal = {{IEEE} Trans. Software Eng.},
volume = {42},
number = {6},
pages = {505--529},
year = {2016},
url = {https://doi.org/10.1109/TSE.2015.2496941},
doi = {10.1109/TSE.2015.2496941},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/DeganoFG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BodeiDFG16,
author = {Chiara Bodei and
Pierpaolo Degano and
Gian{-}Luigi Ferrari and
Letterio Galletta},
editor = {Christian W. Probst and
Chris Hankin and
Ren{\'{e}} Rydhof Hansen},
title = {Last Mile's Resources},
booktitle = {Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson
and Flemming Nielson on the Occasion of Their 60th Birthdays},
series = {Lecture Notes in Computer Science},
volume = {9560},
pages = {33--53},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27810-0\_2},
doi = {10.1007/978-3-319-27810-0\_2},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BodeiDFG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BodeiDFG16,
author = {Chiara Bodei and
Pierpaolo Degano and
Gian{-}Luigi Ferrari and
Letterio Galletta},
editor = {Alberto Lluch{-}Lafuente and
Jos{\'{e}} Proen{\c{c}}a},
title = {Where Do Your IoT Ingredients Come From?},
booktitle = {Coordination Models and Languages - 18th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2016, Held as Part of the 11th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9686},
pages = {35--50},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39519-7\_3},
doi = {10.1007/978-3-319-39519-7\_3},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BodeiDFG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BodeiG16,
author = {Chiara Bodei and
Letterio Galletta},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {The Cost of Securing IoT Communications},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {163--176},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/full12.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/BodeiG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BusiDG16,
author = {Matteo Busi and
Pierpaolo Degano and
Letterio Galletta},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {A Semantics for Disciplined Concurrency in {COP}},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {177--189},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/full13.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/BusiDG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DeganoFG16,
author = {Pierpaolo Degano and
Gian{-}Luigi Ferrari and
Letterio Galletta},
editor = {Dominic A. Orchard and
Nobuko Yoshida},
title = {Event-driven Adaptation in {COP}},
booktitle = {Proceedings of the Ninth workshop on Programming Language Approaches
to Concurrency- and Communication-cEntric Software, {PLACES} 2016,
Eindhoven, The Netherlands, 8th April 2016},
series = {{EPTCS}},
volume = {211},
pages = {37--45},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.211.4},
doi = {10.4204/EPTCS.211.4},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DeganoFG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BodeiDFG16,
author = {Chiara Bodei and
Pierpaolo Degano and
Gian{-}Luigi Ferrari and
Letterio Galletta},
editor = {Massimo Bartoletti and
Ludovic Henrio and
Sophia Knight and
Hugo Torres Vieira},
title = {A Step Towards Checking Security in IoT},
booktitle = {Proceedings 9th Interaction and Concurrency Experience, {ICE} 2016,
Heraklion, Greece, 8-9 June 2016},
series = {{EPTCS}},
volume = {223},
pages = {128--142},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.223.9},
doi = {10.4204/EPTCS.223.9},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BodeiDFG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BodeiDFG16a,
author = {Chiara Bodei and
Pierpaolo Degano and
Gian{-}Luigi Ferrari and
Letterio Galletta},
title = {Tracing where IoT data are collected and aggregated},
journal = {CoRR},
volume = {abs/1610.08419},
year = {2016},
url = {http://arxiv.org/abs/1610.08419},
eprinttype = {arXiv},
eprint = {1610.08419},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BodeiDFG16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BasileGM15,
author = {Davide Basile and
Letterio Galletta and
Gianluca Mezzetti},
editor = {Chiara Bodei and
Gian{-}Luigi Ferrari and
Corrado Priami},
title = {Safe Adaptation Through Implicit Effect Coercion},
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 = {122--141},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25527-9\_10},
doi = {10.1007/978-3-319-25527-9\_10},
timestamp = {Fri, 23 Jun 2023 22:30:53 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BasileGM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CancianiDFG15,
author = {Andrea Canciani and
Pierpaolo Degano and
Gian{-}Luigi Ferrari and
Letterio Galletta},
editor = {Jos{\'{e}} Proen{\c{c}}a and
Massimo Tivoli},
title = {A Context-Oriented Extension of F{\#}},
booktitle = {Proceedings 14th International Workshop on Foundations of Coordination
Languages and Self-Adaptive Systems, {FOCLASA} 2015, Madrid, Spain,
5th September 2015},
series = {{EPTCS}},
volume = {201},
pages = {18--32},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.201.2},
doi = {10.4204/EPTCS.201.2},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CancianiDFG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/it/Galletta14,
author = {Letterio Galletta},
title = {Adaptivity: Linguistic Mechanisms and Static Analysis Techniques},
school = {University of Pisa, Italy},
year = {2014},
url = {https://etd.adm.unipi.it/theses/available/etd-05192014-153959/},
timestamp = {Thu, 27 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/it/Galletta14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Galletta14,
author = {Letterio Galletta},
title = {An Abstract Interpretation Framework for Type and Effect Systems},
journal = {Fundam. Informaticae},
volume = {134},
number = {3-4},
pages = {355--393},
year = {2014},
url = {https://doi.org/10.3233/FI-2014-1106},
doi = {10.3233/FI-2014-1106},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Galletta14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DeganoFG14,
author = {Pierpaolo Degano and
Gian{-}Luigi Ferrari and
Letterio Galletta},
title = {A Two-Component Language for {COP}},
booktitle = {Proceedings of 6th International Workshop on Context-Oriented Programming,
COP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014},
pages = {6:1--6:7},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2637066.2637072},
doi = {10.1145/2637066.2637072},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/DeganoFG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/BodeiDGS14,
author = {Chiara Bodei and
Pierpaolo Degano and
Letterio Galletta and
Francesco Salvatori},
editor = {Gabriel Ciobanu and
Dominique M{\'{e}}ry},
title = {Linguistic Mechanisms for Context-Aware Security},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2014 - 11th International
Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8687},
pages = {61--79},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10882-7\_5},
doi = {10.1007/978-3-319-10882-7\_5},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/BodeiDGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/DeganoFG14,
author = {Pierpaolo Degano and
Gian{-}Luigi Ferrari and
Letterio Galletta},
editor = {Dimitra Giannakopoulou and
Gwen Sala{\"{u}}n},
title = {A Two-Phase Static Analysis for Reliable Adaptation},
booktitle = {Software Engineering and Formal Methods - 12th International Conference,
{SEFM} 2014, Grenoble, France, September 1-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8702},
pages = {347--362},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10431-7\_28},
doi = {10.1007/978-3-319-10431-7\_28},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/DeganoFG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jilt/BodeiDGMF13,
author = {Chiara Bodei and
Pierpaolo Degano and
Letterio Galletta and
Gianluca Mezzetti and
Gianluigi Ferrari},
title = {Security in Pervasive Applications: {A} Survey},
journal = {Eur. J. Law Technol.},
volume = {4},
number = {2},
year = {2013},
url = {https://ejlt.org/index.php/ejlt/article/view/276},
timestamp = {Wed, 06 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jilt/BodeiDGMF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cisim/BodeiDFGM12,
author = {Chiara Bodei and
Pierpaolo Degano and
Gian{-}Luigi Ferrari and
Letterio Galletta and
Gianluca Mezzetti},
editor = {Agostino Cortesi and
Nabendu Chaki and
Khalid Saeed and
Slawomir T. Wierzchon},
title = {Formalising Security in Ubiquitous and Cloud Scenarios},
booktitle = {Computer Information Systems and Industrial Management - 11th {IFIP}
{TC} 8 International Conference, {CISIM} 2012, Venice, Italy, September
26-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7564},
pages = {1--29},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33260-9\_1},
doi = {10.1007/978-3-642-33260-9\_1},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cisim/BodeiDFGM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/DeganoFGM12,
author = {Pierpaolo Degano and
Gian{-}Luigi Ferrari and
Letterio Galletta and
Gianluca Mezzetti},
editor = {Marjan Sirjani},
title = {Types for Coordinating Secure Behavioural Variations},
booktitle = {Coordination Models and Languages - 14th International Conference,
{COORDINATION} 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7274},
pages = {261--276},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30829-1\_18},
doi = {10.1007/978-3-642-30829-1\_18},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/DeganoFGM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1302-6332,
author = {Pierpaolo Degano and
Gian{-}Luigi Ferrari and
Letterio Galletta and
Gianluca Mezzetti},
editor = {Simon J. Gay and
Paul Kelly},
title = {Typing Context-Dependent Behavioural Variation},
booktitle = {Proceedings Fifth Workshop on Programming Language Approaches to Concurrency-
and Communication-cEntric Software, {PLACES} 2012, Tallinn, Estonia,
31 March 2012},
series = {{EPTCS}},
volume = {109},
pages = {28--33},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.109.5},
doi = {10.4204/EPTCS.109.5},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-6332.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-2359,
author = {Letterio Galletta and
Giorgio Levi},
editor = {Laura Kov{\'{a}}cs and
Rosario Pugliese and
Francesco Tiezzi},
title = {An Abstract Semantics for Inference of Types and Effects in a Multi-Tier
Web Language},
booktitle = {Proceedings 7th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2011, Reykjavik, Iceland, 9th
June 2011},
series = {{EPTCS}},
volume = {61},
pages = {81--95},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.61.6},
doi = {10.4204/EPTCS.61.6},
timestamp = {Sun, 02 Oct 2022 15:31:49 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-2359.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-04-25 05:38 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:
