Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Damiano Macedonio
@article{DBLP:journals/toplas/SpotoBEFLMS19,
author = {Fausto Spoto and
Elisa Burato and
Michael D. Ernst and
Pietro Ferrara and
Alberto Lovato and
Damiano Macedonio and
Ciprian Spiridon},
title = {Static Identification of Injection Attacks in Java},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {41},
number = {3},
pages = {18:1--18:58},
year = {2019},
url = {https://doi.org/10.1145/3332371},
doi = {10.1145/3332371},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/SpotoBEFLMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ErnstLMST16,
author = {Michael D. Ernst and
Alberto Lovato and
Damiano Macedonio and
Fausto Spoto and
Javier Thaine},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Locking discipline inference and checking},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {1133--1144},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2884781.2884882},
doi = {10.1145/2884781.2884882},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ErnstLMST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/ErnstMMS16,
author = {Michael D. Ernst and
Damiano Macedonio and
Massimo Merro and
Fausto Spoto},
editor = {Sanjai Rayadurgam and
Oksana Tkachuk},
title = {Semantics for Locking Specifications},
booktitle = {{NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis,
MN, USA, June 7-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9690},
pages = {355--372},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40648-0\_27},
doi = {10.1007/978-3-319-40648-0\_27},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/ErnstMMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/ErnstLMSS15,
author = {Michael D. Ernst and
Alberto Lovato and
Damiano Macedonio and
Ciprian Spiridon and
Fausto Spoto},
editor = {Martin Davis and
Ansgar Fehnker and
Annabelle McIver and
Andrei Voronkov},
title = {Boolean Formulas for the Static Identification of Injection Attacks
in Java},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9450},
pages = {130--145},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48899-7\_10},
doi = {10.1007/978-3-662-48899-7\_10},
timestamp = {Mon, 03 Jan 2022 22:31:30 +0100},
biburl = {https://dblp.org/rec/conf/lpar/ErnstLMSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/CorsoMM15,
author = {Alice Dal Corso and
Damiano Macedonio and
Massimo Merro},
editor = {Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {Statistical Model Checking of Ad Hoc Routing Protocols in Lossy Grid
Networks},
booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
CA, USA, April 27-29, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9058},
pages = {112--126},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-17524-9\_9},
doi = {10.1007/978-3-319-17524-9\_9},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/CorsoMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ErnstMMS15,
author = {Michael D. Ernst and
Damiano Macedonio and
Massimo Merro and
Fausto Spoto},
title = {Semantics for Locking Specifications},
journal = {CoRR},
volume = {abs/1501.05338},
year = {2015},
url = {http://arxiv.org/abs/1501.05338},
eprinttype = {arXiv},
eprint = {1501.05338},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ErnstMMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MacedonioM14,
author = {Damiano Macedonio and
Massimo Merro},
title = {A semantic analysis of key management protocols for wireless sensor
networks},
journal = {Sci. Comput. Program.},
volume = {81},
pages = {53--78},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.01.005},
doi = {10.1016/J.SCICO.2013.01.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MacedonioM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/LovatoMS14,
author = {Alberto Lovato and
Damiano Macedonio and
Fausto Spoto},
editor = {Dimitra Giannakopoulou and
Gwen Sala{\"{u}}n},
title = {A Thread-Safe Library for Binary Decision Diagrams},
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 = {35--49},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10431-7\_4},
doi = {10.1007/978-3-319-10431-7\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/LovatoMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/BattistiMM13,
author = {Luca Battisti and
Damiano Macedonio and
Massimo Merro},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Statistical Model Checking of a Clock Synchronization Protocol for
Sensor Networks},
booktitle = {Fundamentals of Software Engineering - 5th International Conference,
{FSEN} 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8161},
pages = {168--182},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40213-5\_11},
doi = {10.1007/978-3-642-40213-5\_11},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/BattistiMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/MacedonioM12,
author = {Damiano Macedonio and
Massimo Merro},
editor = {Alwyn Goodloe and
Suzette Person},
title = {A Semantic Analysis of Wireless Network Security Protocols},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {403--417},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_36},
doi = {10.1007/978-3-642-28891-3\_36},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/MacedonioM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-5088,
author = {Francesco Ballardin and
Damiano Macedonio and
Massimo Merro and
Mattia Tirapelle},
title = {A Semantic Analysis of Key Management Protocols for Wireless Sensor
Networks},
journal = {CoRR},
volume = {abs/1109.5088},
year = {2011},
url = {http://arxiv.org/abs/1109.5088},
eprinttype = {arXiv},
eprint = {1109.5088},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-5088.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/BugliesiCM10,
author = {Michele Bugliesi and
Stefano Calzavara and
Damiano Macedonio},
editor = {Alessandro Armando and
Gavin Lowe},
title = {Secrecy and Authenticity Types for Secure Distributed Messaging},
booktitle = {Automated Reasoning for Security Protocol Analysis and Issues in the
Theory of Security - Joint Workshop, {ARSPA-WITS} 2010, Paphos, Cyprus,
March 27-28, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6186},
pages = {23--40},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16074-5\_3},
doi = {10.1007/978-3-642-16074-5\_3},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip1-7/BugliesiCM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BugliesiCCM09,
author = {Michele Bugliesi and
Dario Colazzo and
Silvia Crafa and
Damiano Macedonio},
title = {A type system for Discretionary Access Control},
journal = {Math. Struct. Comput. Sci.},
volume = {19},
number = {4},
pages = {839--875},
year = {2009},
url = {https://doi.org/10.1017/S0960129509007762},
doi = {10.1017/S0960129509007762},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BugliesiCCM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icumt/RossiM09,
author = {Sabina Rossi and
Damiano Macedonio},
title = {Information flow security for service compositions},
booktitle = {Proceedings of the International Conference on Ultra Modern Telecommunications,
{ICUMT} 2009, 12-14 October 2009, St. Petersburg, Russia},
pages = {1--8},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICUMT.2009.5345455},
doi = {10.1109/ICUMT.2009.5345455},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/icumt/RossiM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/BugliesiMPR09,
author = {Michele Bugliesi and
Damiano Macedonio and
Luca Pino and
Sabina Rossi},
editor = {Cosimo Laneve and
Jianwen Su},
title = {Compliance Preorders for Web Services},
booktitle = {Web Services and Formal Methods, 6th International Workshop, {WS-FM}
2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6194},
pages = {76--91},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-14458-5\_5},
doi = {10.1007/978-3-642-14458-5\_5},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/BugliesiMPR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/BernardiBMR08,
author = {Giovanni Bernardi and
Michele Bugliesi and
Damiano Macedonio and
Sabina Rossi},
editor = {Viorel Negru and
Tudor Jebelean and
Dana Petcu and
Daniela Zaharie},
title = {A Theory of Adaptable Contract-Based Service Composition},
booktitle = {{SYNASC} 2008, 10th International Symposium on Symbolic and Numeric
Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September
2008},
pages = {327--334},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SYNASC.2008.38},
doi = {10.1109/SYNASC.2008.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/BernardiBMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ConfortiMS07,
author = {Giovanni Conforti and
Damiano Macedonio and
Vladimiro Sassone},
title = {Static BiLog: a Unifying Language for Spatial Structures},
journal = {Fundam. Informaticae},
volume = {80},
number = {1-3},
pages = {91--110},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi80-1-3-06},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ConfortiMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/BugliesiMR07,
author = {Michele Bugliesi and
Damiano Macedonio and
Sabina Rossi},
editor = {Iliano Cervesato},
title = {Static vs Dynamic Typing for Access Control in Pi-Calculus},
booktitle = {Advances in Computer Science - {ASIAN} 2007. Computer and Network
Security, 12th Asian Computing Science Conference, Doha, Qatar, December
9-11, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4846},
pages = {282--296},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76929-3\_27},
doi = {10.1007/978-3-540-76929-3\_27},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/BugliesiMR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/it/Macedonio06,
author = {Damiano Macedonio},
title = {Logics for distributed resources},
school = {Ca' Foscari University of Venice, Italy},
year = {2006},
url = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BNI0025555},
timestamp = {Sat, 06 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/it/Macedonio06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ChadhaMS06,
author = {Rohit Chadha and
Damiano Macedonio and
Vladimiro Sassone},
title = {A Hybrid Intuitionistic Logic: Semantics and Decidability},
journal = {J. Log. Comput.},
volume = {16},
number = {1},
pages = {27--59},
year = {2006},
url = {https://doi.org/10.1093/logcom/exi071},
doi = {10.1093/LOGCOM/EXI071},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/ChadhaMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/BossiMPR05,
author = {Annalisa Bossi and
Damiano Macedonio and
Carla Piazza and
Sabina Rossi},
title = {Information flow in secure contexts},
journal = {J. Comput. Secur.},
volume = {13},
number = {3},
pages = {391--422},
year = {2005},
url = {https://doi.org/10.3233/jcs-2005-13303},
doi = {10.3233/JCS-2005-13303},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/BossiMPR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ConfortiMS05,
author = {Giovanni Conforti and
Damiano Macedonio and
Vladimiro Sassone},
editor = {Lu{\'{\i}}s Caires and
Giuseppe F. Italiano and
Lu{\'{\i}}s Monteiro and
Catuscia Palamidessi and
Moti Yung},
title = {Spatial Logics for Bigraphs},
booktitle = {Automata, Languages and Programming, 32nd International Colloquium,
{ICALP} 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3580},
pages = {766--778},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11523468\_62},
doi = {10.1007/11523468\_62},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ConfortiMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/ConfortiMS05,
author = {Giovanni Conforti and
Damiano Macedonio and
Vladimiro Sassone},
editor = {Andrea Cal{\`{\i}} and
Diego Calvanese and
Enrico Franconi and
Maurizio Lenzerini and
Letizia Tanca},
title = {Bigraphical Logics for {XML}},
booktitle = {Proceedings of the Thirteenth Italian Symposium on Advanced Database
Systems, {SEBD} 2005, Brixen-Bressanone (near Bozen-Bolzano), Italy,
June 19-22, 2005},
pages = {392--399},
year = {2005},
timestamp = {Mon, 27 Jun 2005 14:46:36 +0200},
biburl = {https://dblp.org/rec/conf/sebd/ConfortiMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BossiMPR03,
author = {Annalisa Bossi and
Damiano Macedonio and
Carla Piazza and
Sabina Rossi},
title = {Secure Contexts for Confidential Data},
booktitle = {16th {IEEE} Computer Security Foundations Workshop {(CSFW-16} 2003),
30 June - 2 July 2003, Pacific Grove, CA, {USA}},
pages = {14--28},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/CSFW.2003.1212702},
doi = {10.1109/CSFW.2003.1212702},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/BossiMPR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BossiMPR03,
author = {Annalisa Bossi and
Damiano Macedonio and
Carla Piazza and
Sabina Rossi},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {Information Flow Security and Recursive Systems},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {369--382},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_29},
doi = {10.1007/978-3-540-45208-9\_29},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/BossiMPR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BossiFMPR04,
author = {Annalisa Bossi and
Riccardo Focardi and
Damiano Macedonio and
Carla Piazza and
Sabina Rossi},
editor = {Mario Bravetti and
Roberto Gorrieri},
title = {Unwinding in Information Flow Security},
booktitle = {Formal Methods for Security and Time: Proceedings of the {MEFISTO}
Project 2003, {MEFISTO} 2003, Pisa, Italy, November 3-5, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {99},
pages = {127--154},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.02.006},
doi = {10.1016/J.ENTCS.2004.02.006},
timestamp = {Thu, 08 Dec 2022 22:44:21 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BossiFMPR04.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 2023-09-28 02:41 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:
