Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Isabella Mastroeni
@inproceedings{DBLP:conf/sas/GiacobazziMP23,
author = {Roberto Giacobazzi and
Isabella Mastroeni and
Elia Perantoni},
editor = {Manuel V. Hermenegildo and
Jos{\'{e}} F. Morales},
title = {How Fitting is Your Abstract Domain?},
booktitle = {Static Analysis - 30th International Symposium, {SAS} 2023, Cascais,
Portugal, October 22-24, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14284},
pages = {286--309},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-44245-2\_14},
doi = {10.1007/978-3-031-44245-2\_14},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/GiacobazziMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/MastroeniP23,
author = {Isabella Mastroeni and
Michele Pasqua},
editor = {Manuel V. Hermenegildo and
Jos{\'{e}} F. Morales},
title = {Domain Precision in Galois Connection-Less Abstract Interpretation},
booktitle = {Static Analysis - 30th International Symposium, {SAS} 2023, Cascais,
Portugal, October 22-24, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14284},
pages = {434--459},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-44245-2\_19},
doi = {10.1007/978-3-031-44245-2\_19},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/MastroeniP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GurfinkelMM0B23,
author = {Arie Gurfinkel and
Isabella Mastroeni and
Antoine Min{\'{e}} and
Peter M{\"{u}}ller and
Anna Becchi},
title = {Theoretical Advances and Emerging Applications in Abstract Interpretation
(Dagstuhl Seminar 23281)},
journal = {Dagstuhl Reports},
volume = {13},
number = {7},
pages = {66--95},
year = {2023},
url = {https://doi.org/10.4230/DagRep.13.7.66},
doi = {10.4230/DAGREP.13.7.66},
timestamp = {Thu, 14 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/GurfinkelMM0B23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/ArceriMZ22,
author = {Vincenzo Arceri and
Isabella Mastroeni and
Enea Zaffanella},
editor = {Ilya Sergey},
title = {Decoupling the Ascending and Descending Phases in Abstract Interpretation},
booktitle = {Programming Languages and Systems - 20th Asian Symposium, {APLAS}
2022, Auckland, New Zealand, December 5, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13658},
pages = {25--44},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21037-2\_2},
doi = {10.1007/978-3-031-21037-2\_2},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/ArceriMZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MastroeniP22,
author = {Isabella Mastroeni and
Michele Pasqua},
editor = {Jiman Hong and
Miroslav Bures and
Juw Won Park and
Tom{\'{a}}s Cern{\'{y}}},
title = {Verifying opacity by abstract interpretation},
booktitle = {{SAC} '22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
Event, April 25 - 29, 2022},
pages = {1817--1826},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3477314.3507119},
doi = {10.1145/3477314.3507119},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/MastroeniP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GiacobazziM22,
author = {Roberto Giacobazzi and
Isabella Mastroeni},
editor = {Gagandeep Singh and
Caterina Urban},
title = {Property-Driven Code Obfuscations Reinterpreting Jones-Optimality
in Abstract Interpretation},
booktitle = {Static Analysis - 29th International Symposium, {SAS} 2022, Auckland,
New Zealand, December 5-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13790},
pages = {247--271},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22308-2\_12},
doi = {10.1007/978-3-031-22308-2\_12},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/GiacobazziM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-10893,
author = {Vincenzo Arceri and
Isabella Mastroeni and
Enea Zaffanella},
title = {Decoupling the ascending and descending phases in Abstract Interpretation},
journal = {CoRR},
volume = {abs/2206.10893},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.10893},
doi = {10.48550/ARXIV.2206.10893},
eprinttype = {arXiv},
eprint = {2206.10893},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-10893.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ArceriOCM21,
author = {Vincenzo Arceri and
Martina Olliaro and
Agostino Cortesi and
Isabella Mastroeni},
title = {Completeness of string analysis for dynamic languages},
journal = {Inf. Comput.},
volume = {281},
pages = {104791},
year = {2021},
url = {https://doi.org/10.1016/j.ic.2021.104791},
doi = {10.1016/J.IC.2021.104791},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/ArceriOCM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tissec/ArceriM21,
author = {Vincenzo Arceri and
Isabella Mastroeni},
title = {Analyzing Dynamic Code: {A} Sound Abstract Interpreter for \emph{Evil}
Eval},
journal = {{ACM} Trans. Priv. Secur.},
volume = {24},
number = {2},
pages = {10:1--10:38},
year = {2021},
url = {https://doi.org/10.1145/3426470},
doi = {10.1145/3426470},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tissec/ArceriM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-02813,
author = {Isabella Mastroeni and
Vincenzo Arceri},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Improving Dynamic Code Analysis by Code Abstraction},
booktitle = {Proceedings of the 9th International Workshop on Verification and
Program Transformation, VPT@ETAPS 2021, Luxembourg, Luxembourg, 27th
and 28th of March 2021},
series = {{EPTCS}},
volume = {341},
pages = {17--32},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.341.2},
doi = {10.4204/EPTCS.341.2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-02813.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BuroM20,
author = {Samuele Buro and
Isabella Mastroeni},
title = {On the semantic equivalence of language syntax formalisms},
journal = {Theor. Comput. Sci.},
volume = {840},
pages = {234--248},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2020.08.022},
doi = {10.1016/J.TCS.2020.08.022},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BuroM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BuroCM20,
author = {Samuele Buro and
Roy L. Crole and
Isabella Mastroeni},
editor = {Gennaro Cordasco and
Luisa Gargano and
Adele A. Rescigno},
title = {Equational Logic and Set-Theoretic Models for Multi-Languages},
booktitle = {Proceedings of the 21st Italian Conference on Theoretical Computer
Science, Ischia, Italy, September 14-16, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2756},
pages = {236--249},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2756/paper\_28.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/BuroCM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/BuroCM20,
author = {Samuele Buro and
Roy L. Crole and
Isabella Mastroeni},
editor = {Patricia Johann},
title = {Equational Logic and Categorical Semantics for Multi-Languages},
booktitle = {Proceedings of the 36th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2020, Online, October 1, 2020},
series = {Electronic Notes in Theoretical Computer Science},
volume = {352},
pages = {79--103},
publisher = {Elsevier},
year = {2020},
url = {https://doi.org/10.1016/j.entcs.2020.09.005},
doi = {10.1016/J.ENTCS.2020.09.005},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfps/BuroCM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ArceriM20,
author = {Vincenzo Arceri and
Isabella Mastroeni},
editor = {Chih{-}Cheng Hung and
Tom{\'{a}}s Cern{\'{y}} and
Dongwan Shin and
Alessio Bechini},
title = {A sound abstract interpreter for dynamic code},
booktitle = {{SAC} '20: The 35th {ACM/SIGAPP} Symposium on Applied Computing, online
event, [Brno, Czech Republic], March 30 - April 3, 2020},
pages = {1979--1988},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3341105.3373964},
doi = {10.1145/3341105.3373964},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/ArceriM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BuroCM20,
author = {Samuele Buro and
Roy L. Crole and
Isabella Mastroeni},
editor = {David Pichardie and
Mihaela Sighireanu},
title = {On Multi-language Abstraction - Towards a Static Analysis of Multi-language
Programs},
booktitle = {Static Analysis - 27th International Symposium, {SAS} 2020, Virtual
Event, November 18-20, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12389},
pages = {310--332},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65474-0\_14},
doi = {10.1007/978-3-030-65474-0\_14},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/BuroCM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BuroM19,
author = {Samuele Buro and
Isabella Mastroeni},
editor = {Lu{\'{\i}}s Caires},
title = {On the Multi-Language Construction},
booktitle = {Programming Languages and Systems - 28th European Symposium on Programming,
{ESOP} 2019, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April
6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11423},
pages = {293--321},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17184-1\_11},
doi = {10.1007/978-3-030-17184-1\_11},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/BuroM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ArceriPM19,
author = {Vincenzo Arceri and
Michele Pasqua and
Isabella Mastroeni},
editor = {Emil Sekerinski and
Nelma Moreira and
Jos{\'{e}} N. Oliveira and
Daniel Ratiu and
Riccardo Guidotti and
Marie Farrell and
Matt Luckcuck and
Diego Marmsoler and
Jos{\'{e}} Creissac Campos and
Troy Astarte and
Laure Gonnord and
Antonio Cerone and
Luis Couto and
Brijesh Dongol and
Martin Kutrib and
Pedro Monteiro and
David Delmas},
title = {An Abstract Domain for Objects in Dynamic Programming Languages},
booktitle = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal,
October 7-11, 2019, Revised Selected Papers, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12233},
pages = {136--151},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-54997-8\_9},
doi = {10.1007/978-3-030-54997-8\_9},
timestamp = {Mon, 05 Feb 2024 20:31:40 +0100},
biburl = {https://dblp.org/rec/conf/fm/ArceriPM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/ArceriOCM19,
author = {Vincenzo Arceri and
Martina Olliaro and
Agostino Cortesi and
Isabella Mastroeni},
editor = {Robert M. Hierons and
Mohamed Mosbah},
title = {Completeness of Abstract Domains for String Analysis of JavaScript
Programs},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International
Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11884},
pages = {255--272},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32505-3\_15},
doi = {10.1007/978-3-030-32505-3\_15},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/ArceriOCM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BuroM19,
author = {Samuele Buro and
Isabella Mastroeni},
editor = {Alessandra Cherubini and
Nicoletta Sabadini and
Simone Tini},
title = {On the Semantic Equivalence of Language Syntax Formalisms},
booktitle = {Proceedings of the 20th Italian Conference on Theoretical Computer
Science, {ICTCS} 2019, Como, Italy, September 9-11, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2504},
pages = {34--51},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2504/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/BuroM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MastroeniP19,
author = {Isabella Mastroeni and
Michele Pasqua},
editor = {Chih{-}Cheng Hung and
George A. Papadopoulos},
title = {Statically analyzing information flows: an abstract interpretation-based
hyperanalysis for non-interference},
booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2019, Limassol, Cyprus, April 8-12, 2019},
pages = {2215--2223},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3297280.3297498},
doi = {10.1145/3297280.3297498},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/MastroeniP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1808-07827,
author = {Vincenzo Arceri and
Isabella Mastroeni},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {An Automata-based Abstract Semantics for String Manipulation Languages},
booktitle = {Proceedings Seventh International Workshop on Verification and Program
Transformation, VPT@Programming 2019, Genova, Italy, 2nd April 2019},
series = {{EPTCS}},
volume = {299},
pages = {19--33},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.299.5},
doi = {10.4204/EPTCS.299.5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-07827.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/PredaM18,
author = {Mila Dalla Preda and
Isabella Mastroeni},
title = {Characterizing a property-driven obfuscation strategy},
journal = {J. Comput. Secur.},
volume = {26},
number = {1},
pages = {31--69},
year = {2018},
url = {https://doi.org/10.3233/JCS-14672},
doi = {10.3233/JCS-14672},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcs/PredaM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tissec/GiacobazziM18,
author = {Roberto Giacobazzi and
Isabella Mastroeni},
title = {Abstract Non-Interference: {A} Unifying Framework for Weakening Information-flow},
journal = {{ACM} Trans. Priv. Secur.},
volume = {21},
number = {2},
pages = {9:1--9:31},
year = {2018},
url = {https://doi.org/10.1145/3175660},
doi = {10.1145/3175660},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tissec/GiacobazziM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/MastroeniP18,
author = {Isabella Mastroeni and
Michele Pasqua},
editor = {Andreas Podelski},
title = {Verifying Bounded Subset-Closed Hyperproperties},
booktitle = {Static Analysis - 25th International Symposium, {SAS} 2018, Freiburg,
Germany, August 29-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11002},
pages = {263--283},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99725-4\_17},
doi = {10.1007/978-3-319-99725-4\_17},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/MastroeniP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BuroM18,
author = {Samuele Buro and
Isabella Mastroeni},
editor = {Isil Dillig and
Jens Palsberg},
title = {Abstract Code Injection - {A} Semantic Approach Based on Abstract
Non-Interference},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 19th International
Conference, {VMCAI} 2018, Los Angeles, CA, USA, January 7-9, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10747},
pages = {116--137},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73721-8\_6},
doi = {10.1007/978-3-319-73721-8\_6},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/BuroM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/GiacobazziMP17,
author = {Roberto Giacobazzi and
Isabella Mastroeni and
Mila Dalla Preda},
title = {Maximal incompleteness as obfuscation potency},
journal = {Formal Aspects Comput.},
volume = {29},
number = {1},
pages = {3--31},
year = {2017},
url = {https://doi.org/10.1007/s00165-016-0374-2},
doi = {10.1007/S00165-016-0374-2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/GiacobazziMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/MastroeniZ17,
author = {Isabella Mastroeni and
Damiano Zanardini},
title = {Abstract Program Slicing: An Abstract Interpretation-Based Approach
to Program Slicing},
journal = {{ACM} Trans. Comput. Log.},
volume = {18},
number = {1},
pages = {7:1--7:58},
year = {2017},
url = {https://doi.org/10.1145/3029052},
doi = {10.1145/3029052},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/MastroeniZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/PasquaM17,
author = {Michele Pasqua and
Isabella Mastroeni},
editor = {Dario Della Monica and
Aniello Murano and
Sasha Rubin and
Luigi Sauro},
title = {On Topologies for (Hyper)Properties},
booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
Science and the 32nd Italian Conference on Computational Logic co-located
with the 2017 {IEEE} International Workshop on Measurements and Networking
{(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1949},
pages = {150--161},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1949/ICTCSpaper13.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/PasquaM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/MastroeniP17,
author = {Isabella Mastroeni and
Michele Pasqua},
editor = {Francesco Ranzato},
title = {Hyperhierarchy of Semantics - {A} Formal Framework for Hyperproperties
Verification},
booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
NY, USA, August 30 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {232--252},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66706-5\_12},
doi = {10.1007/978-3-319-66706-5\_12},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/MastroeniP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nsad/2016,
editor = {Isabella Mastroeni},
title = {Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract
Domains, NSAD@SAS 2016, Edinburgh, UK, September 11, 2016},
series = {Electronic Notes in Theoretical Computer Science},
volume = {331},
publisher = {Elsevier},
year = {2017},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/331/suppl/C},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nsad/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ArceriPGM17,
author = {Vincenzo Arceri and
Mila Dalla Preda and
Roberto Giacobazzi and
Isabella Mastroeni},
title = {{SEA:} String Executability Analysis by Abstract Interpretation},
journal = {CoRR},
volume = {abs/1702.02406},
year = {2017},
url = {http://arxiv.org/abs/1702.02406},
eprinttype = {arXiv},
eprint = {1702.02406},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ArceriPGM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GiacobazziM16,
author = {Roberto Giacobazzi and
Isabella Mastroeni},
title = {Making abstract models complete},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {4},
pages = {658--701},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000358},
doi = {10.1017/S0960129514000358},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/GiacobazziM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/order/MastroeniG16,
author = {Isabella Mastroeni and
Roberto Giacobazzi},
title = {Weakening Additivity in Adjoining Closures},
journal = {Order},
volume = {33},
number = {3},
pages = {503--516},
year = {2016},
url = {https://doi.org/10.1007/s11083-015-9381-9},
doi = {10.1007/S11083-015-9381-9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/order/MastroeniG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsac/SarteaPFGM16,
author = {Riccardo Sartea and
Mila Dalla Preda and
Alessandro Farinelli and
Roberto Giacobazzi and
Isabella Mastroeni},
editor = {Mila Dalla Preda and
Natalia Stakhanova and
Jeffrey Todd McDonald},
title = {Active Android malware analysis: an approach based on stochastic games},
booktitle = {Proceedings of the 6th Workshop on Software Security, Protection,
and Reverse Engineering, SSPREW@ACSAC 2016, Los Angeles, California,
USA, December 5-6, 2016},
pages = {5:1--5:10},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/3015135.3015140},
doi = {10.1145/3015135.3015140},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsac/SarteaPFGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/PredaGM16,
author = {Mila Dalla Preda and
Roberto Giacobazzi and
Isabella Mastroeni},
editor = {Xavier Rival},
title = {Completeness in Approximate Transduction},
booktitle = {Static Analysis - 23rd International Symposium, {SAS} 2016, Edinburgh,
UK, September 8-10, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9837},
pages = {126--146},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-53413-7\_7},
doi = {10.1007/978-3-662-53413-7\_7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/PredaGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Mastroeni17,
author = {Isabella Mastroeni},
editor = {Isabella Mastroeni},
title = {Preface},
booktitle = {Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract
Domains, NSAD@SAS 2016, Edinburgh, UK, September 11, 2016},
series = {Electronic Notes in Theoretical Computer Science},
volume = {331},
pages = {1--2},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.entcs.2017.02.001},
doi = {10.1016/J.ENTCS.2017.02.001},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Mastroeni17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MastroeniZ16,
author = {Isabella Mastroeni and
Damiano Zanardini},
title = {Abstract Program Slicing: an Abstract Interpretation-based approach
to Program Slicing},
journal = {CoRR},
volume = {abs/1605.05104},
year = {2016},
url = {http://arxiv.org/abs/1605.05104},
eprinttype = {arXiv},
eprint = {1605.05104},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MastroeniZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fps/BelliniCM15,
author = {Fabio Bellini and
Roberto Chiodi and
Isabella Mastroeni},
editor = {Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro and
Evangelos Kranakis and
Guillaume Bonfante},
title = {{MIME:} {A} Formal Approach to (Android) Emulation Malware Analysis},
booktitle = {Foundations and Practice of Security - 8th International Symposium,
{FPS} 2015, Clermont-Ferrand, France, October 26-28, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9482},
pages = {259--267},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-30303-1\_16},
doi = {10.1007/978-3-319-30303-1\_16},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fps/BelliniCM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PredaM15,
author = {Mila Dalla Preda and
Isabella Mastroeni},
editor = {Paolo Falcarin and
Brecht Wyseur},
title = {Infections as Abstract Symbolic Finite Automata: Formal Model and
Applications},
booktitle = {1st {IEEE/ACM} International Workshop on Software Protection, {SPRO}
2015, Florence, Italy, May 19, 2015},
pages = {59--65},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SPRO.2015.18},
doi = {10.1109/SPRO.2015.18},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/PredaM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/PredaGLM15,
author = {Mila Dalla Preda and
Roberto Giacobazzi and
Arun Lakhotia and
Isabella Mastroeni},
editor = {Sriram K. Rajamani and
David Walker},
title = {Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis
of executables},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {329--341},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676986},
doi = {10.1145/2676726.2676986},
timestamp = {Mon, 08 Apr 2024 08:19:10 +0200},
biburl = {https://dblp.org/rec/conf/popl/PredaGLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/PredaMG14,
author = {Mila Dalla Preda and
Isabella Mastroeni and
Roberto Giacobazzi},
editor = {Suresh Jagannathan and
Peter Sewell},
title = {Analyzing program dependencies for malware detection},
booktitle = {Proceedings of the 3rd {ACM} {SIGPLAN} Program Protection and Reverse
Engineering Workshop 2014, {PPREW} 2014, January 25, 2014, San Diego,
CA, {USA}},
pages = {6:1--6:7},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2556464.2556470},
doi = {10.1145/2556464.2556470},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/PredaMG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/PredaMG13,
author = {Mila Dalla Preda and
Isabella Mastroeni and
Roberto Giacobazzi},
editor = {Leszek Gasieniec and
Frank Wolter},
title = {A Formal Framework for Property-Driven Obfuscation Strategies},
booktitle = {Fundamentals of Computation Theory - 19th International Symposium,
{FCT} 2013, Liverpool, UK, August 19-21, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8070},
pages = {133--144},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40164-0\_15},
doi = {10.1007/978-3-642-40164-0\_15},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/PredaMG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Mastroeni13,
author = {Isabella Mastroeni},
editor = {Anindya Banerjee and
Olivier Danvy and
Kyung{-}Goo Doh and
John Hatcliff},
title = {Abstract interpretation-based approaches to Security - {A} Survey
on Abstract Non-Interference and its Challenging Applications},
booktitle = {Semantics, Abstract Interpretation, and Reasoning about Programs:
Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth
Birthday, Manhattan, Kansas, USA, 19-20th September 2013},
series = {{EPTCS}},
volume = {129},
pages = {41--65},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.129.4},
doi = {10.4204/EPTCS.129.4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Mastroeni13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2013,
editor = {Roberto Giacobazzi and
Josh Berdine and
Isabella Mastroeni},
title = {Verification, Model Checking, and Abstract Interpretation, 14th International
Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7737},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35873-9},
doi = {10.1007/978-3-642-35873-9},
isbn = {978-3-642-35872-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/GiacobazziJM12,
author = {Roberto Giacobazzi and
Neil D. Jones and
Isabella Mastroeni},
editor = {Oleg Kiselyov and
Simon J. Thompson},
title = {Obfuscation by partial evaluation of distorted interpreters},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2012 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2012, Philadelphia, Pennsylvania,
USA, January 23-24, 2012},
pages = {63--72},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103746.2103761},
doi = {10.1145/2103746.2103761},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/GiacobazziJM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GiacobazziM12,
author = {Roberto Giacobazzi and
Isabella Mastroeni},
editor = {Antoine Min{\'{e}} and
David Schmidt},
title = {Making Abstract Interpretation Incomplete: Modeling the Potency of
Obfuscation},
booktitle = {Static Analysis - 19th International Symposium, {SAS} 2012, Deauville,
France, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7460},
pages = {129--145},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33125-1\_11},
doi = {10.1007/978-3-642-33125-1\_11},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/GiacobazziM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/GiacobazziMN12,
author = {Roberto Giacobazzi and
Isabella Mastroeni and
Durica Nikolic},
editor = {Tiziana Margaria and
Zongyan Qiu and
Hongli Yang},
title = {Strong Preservation by Model Deformation},
booktitle = {Sixth International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2012, 4-6 July 2012, Beijing, China},
pages = {33--40},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/TASE.2012.12},
doi = {10.1109/TASE.2012.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/GiacobazziMN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcm/MastroeniG11,
author = {Isabella Mastroeni and
Roberto Giacobazzi},
title = {An abstract interpretation-based model for safety semantics},
journal = {Int. J. Comput. Math.},
volume = {88},
number = {4},
pages = {665--694},
year = {2011},
url = {https://doi.org/10.1080/00207161003703205},
doi = {10.1080/00207161003703205},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcm/MastroeniG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/MastroeniB11,
author = {Isabella Mastroeni and
Anindya Banerjee},
title = {Modelling declassification policies using abstract domain completeness},
journal = {Math. Struct. Comput. Sci.},
volume = {21},
number = {6},
pages = {1253--1299},
year = {2011},
url = {https://doi.org/10.1017/S096012951100020X},
doi = {10.1017/S096012951100020X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/MastroeniB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/GiacobazziM10,
author = {Roberto Giacobazzi and
Isabella Mastroeni},
title = {Adjoining classified and unclassified information by abstract interpretation},
journal = {J. Comput. Secur.},
volume = {18},
number = {5},
pages = {751--797},
year = {2010},
url = {https://doi.org/10.3233/JCS-2009-0382},
doi = {10.3233/JCS-2009-0382},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/GiacobazziM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GiacobazziM10,
author = {Roberto Giacobazzi and
Isabella Mastroeni},
title = {A Proof System for Abstract Non-interference},
journal = {J. Log. Comput.},
volume = {20},
number = {2},
pages = {449--479},
year = {2010},
url = {https://doi.org/10.1093/logcom/exp053},
doi = {10.1093/LOGCOM/EXP053},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GiacobazziM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcos/BalliuM10,
author = {Musard Balliu and
Isabella Mastroeni},
title = {A Weakest Precondition Approach to Robustness},
journal = {Trans. Comput. Sci.},
volume = {10},
pages = {261--297},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17499-5\_11},
doi = {10.1007/978-3-642-17499-5\_11},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcos/BalliuM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/MastroeniN10,
author = {Isabella Mastroeni and
Durica Nikolic},
editor = {Jin Song Dong and
Huibiao Zhu},
title = {Abstract Program Slicing: From Theory towards an Implementation},
booktitle = {Formal Methods and Software Engineering - 12th International Conference
on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November
17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6447},
pages = {452--467},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16901-4\_30},
doi = {10.1007/978-3-642-16901-4\_30},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/MastroeniN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BalliuM09,
author = {Musard Balliu and
Isabella Mastroeni},
editor = {Stephen Chong and
David A. Naumann},
title = {A weakest precondition approach to active attacks analysis},
booktitle = {Proceedings of the 2009 Workshop on Programming Languages and Analysis
for Security, {PLAS} 2009, Dublin, Ireland, 15-21 June, 2009},
pages = {59--71},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1554339.1554348},
doi = {10.1145/1554339.1554348},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BalliuM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/MastroeniZ08,
author = {Isabella Mastroeni and
Damiano Zanardini},
editor = {Robert Gl{\"{u}}ck and
Oege de Moor},
title = {Data dependencies and program slicing: from syntax to abstract semantics},
booktitle = {Proceedings of the 2008 {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-based Program Manipulation, {PEPM} 2008, San Francisco,
California, USA, January 7-8, 2008},
pages = {125--134},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1328408.1328428},
doi = {10.1145/1328408.1328428},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/MastroeniZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GiacobazziM08,
author = {Roberto Giacobazzi and
Isabella Mastroeni},
editor = {Mar{\'{\i}}a Alpuente and
Germ{\'{a}}n Vidal},
title = {Transforming Abstract Interpretations by Abstract Interpretation},
booktitle = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
Spain, July 16-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5079},
pages = {1--17},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69166-2\_1},
doi = {10.1007/978-3-540-69166-2\_1},
timestamp = {Wed, 25 Sep 2019 18:08:39 +0200},
biburl = {https://dblp.org/rec/conf/sas/GiacobazziM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Mastroeni08,
author = {Isabella Mastroeni},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Deriving Bisimulations by Simplifying Partitions},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {157--171},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_16},
doi = {10.1007/978-3-540-78163-9\_16},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Mastroeni08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BanerjeeGM07,
author = {Anindya Banerjee and
Roberto Giacobazzi and
Isabella Mastroeni},
editor = {Marcelo Fiore},
title = {What You Lose is What You Leak: Information Leakage in Declassification
Policies},
booktitle = {Proceedings of the 23rd Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2007, New Orleans, LA, USA, April
11-14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {173},
pages = {47--66},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.02.027},
doi = {10.1016/J.ENTCS.2007.02.027},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BanerjeeGM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/it/Mastroeni05,
author = {Isabella Mastroeni},
title = {Abstract non-interference},
school = {University of Verona, Italy},
year = {2005},
url = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BNI0019849},
timestamp = {Sat, 06 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/it/Mastroeni05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GiacobazziM05,
author = {Roberto Giacobazzi and
Isabella Mastroeni},
title = {Transforming semantics by abstract interpretation},
journal = {Theor. Comput. Sci.},
volume = {337},
number = {1-3},
pages = {1--50},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.12.021},
doi = {10.1016/J.TCS.2004.12.021},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GiacobazziM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Mastroeni05,
author = {Isabella Mastroeni},
editor = {Kwangkeun Yi},
title = {On the R{\^{o}}le of Abstract Non-interference in Language-Based Security},
booktitle = {Programming Languages and Systems, Third Asian Symposium, {APLAS}
2005, Tsukuba, Japan, November 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3780},
pages = {418--433},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11575467\_27},
doi = {10.1007/11575467\_27},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Mastroeni05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GiacobazziM05,
author = {Roberto Giacobazzi and
Isabella Mastroeni},
editor = {Shmuel Sagiv},
title = {Adjoining Declassification and Attack Models by Abstract Interpretation},
booktitle = {Programming Languages and Systems, 14th European Symposium on Programming,
{ESOP} 2005, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8,
2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3444},
pages = {295--310},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31987-0\_21},
doi = {10.1007/978-3-540-31987-0\_21},
timestamp = {Fri, 27 Jan 2023 15:04:25 +0100},
biburl = {https://dblp.org/rec/conf/esop/GiacobazziM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/GiacobazziM05,
author = {Roberto Giacobazzi and
Isabella Mastroeni},
editor = {Paul Pettersson and
Wang Yi},
title = {Timed Abstract Non-interference},
booktitle = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
pages = {289--303},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009\_22},
doi = {10.1007/11603009\_22},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/GiacobazziM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmmacns/GiacobazziM05,
author = {Roberto Giacobazzi and
Isabella Mastroeni},
editor = {Vladimir Gorodetsky and
Igor V. Kotenko and
Victor A. Skormin},
title = {Generalized Abstract Non-interference: Abstract Secure Information-Flow
Analysis for Automata},
booktitle = {Computer Network Security, Third International Workshop on Mathematical
Methods, Models, and Architectures for Computer Network Security,
{MMM-ACNS} 2005, St. Petersburg, Russia, September 25-27, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3685},
pages = {221--234},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560326\_17},
doi = {10.1007/11560326\_17},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mmmacns/GiacobazziM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/HuntM05,
author = {Sebastian Hunt and
Isabella Mastroeni},
editor = {Chris Hankin and
Igor Siveroni},
title = {The {PER} Model of Abstract Non-interference},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {171--185},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_13},
doi = {10.1007/11547662\_13},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/HuntM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Mastroeni04,
author = {Isabella Mastroeni},
title = {Algebraic Power Analysis by Abstract Interpretation},
journal = {High. Order Symb. Comput.},
volume = {17},
number = {4},
pages = {297--345},
year = {2004},
url = {https://doi.org/10.1007/s10990-004-4867-y},
doi = {10.1007/S10990-004-4867-Y},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Mastroeni04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GiacobazziM04,
author = {Roberto Giacobazzi and
Isabella Mastroeni},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {Proving Abstract Non-interference},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {280--294},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_23},
doi = {10.1007/978-3-540-30124-0\_23},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/GiacobazziM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GiacobazziM04,
author = {Roberto Giacobazzi and
Isabella Mastroeni},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Abstract non-interference: parameterizing non-interference by abstract
interpretation},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {186--197},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964017},
doi = {10.1145/964001.964017},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/GiacobazziM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/GiacobazziM03,
author = {Roberto Giacobazzi and
Isabella Mastroeni},
title = {Non-Standard Semantics for Program Slicing},
journal = {High. Order Symb. Comput.},
volume = {16},
number = {4},
pages = {297--339},
year = {2003},
url = {https://doi.org/10.1023/A:1025872819613},
doi = {10.1023/A:1025872819613},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/GiacobazziM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GiacobazziM03,
author = {Roberto Giacobazzi and
Isabella Mastroeni},
editor = {Lenore D. Zuck and
Paul C. Attie and
Agostino Cortesi and
Supratik Mukhopadhyay},
title = {Domain Compression for Complete Abstractions},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 4th International
Conference, {VMCAI} 2003, New York, NY, USA, January 9-11, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2575},
pages = {146--160},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36384-X\_14},
doi = {10.1007/3-540-36384-X\_14},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/GiacobazziM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/GiacobazziM02,
author = {Roberto Giacobazzi and
Isabella Mastroeni},
editor = {Peter Thiemann},
title = {Compositionality in the puzzle of semantics},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-Based Program Manipulation {(PEPM} '02), Portland, Oregon,
USA, January 14-15, 2002},
pages = {87--97},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/503032.503040},
doi = {10.1145/503032.503040},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/GiacobazziM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pado/Mastroeni01,
author = {Isabella Mastroeni},
editor = {Olivier Danvy and
Andrzej Filinski},
title = {Numerical Power Analysis},
booktitle = {Programs as Data Objects, Second Symposium, {PADO} 2001, Aarhus, Denmark,
May 21-23, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2053},
pages = {117--137},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44978-7\_8},
doi = {10.1007/3-540-44978-7\_8},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/pado/Mastroeni01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/GiacobazziM00,
author = {Roberto Giacobazzi and
Isabella Mastroeni},
editor = {Maurizio Gabbrielli and
Frank Pfenning},
title = {A characterization of symmetric semantics by domain complementation},
booktitle = {Proceedings of the 2nd international {ACM} {SIGPLAN} conference on
on Principles and practice of declarative programming, Montreal, Canada,
September 20-23, 2000},
pages = {115--126},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/351268.351281},
doi = {10.1145/351268.351281},
timestamp = {Tue, 27 Nov 2018 15:37:24 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/GiacobazziM00.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-03-16 00:58 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
