Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Marco Guarnieri
@article{DBLP:journals/corr/abs-2401-09383,
author = {Gideon Mohr and
Marco Guarnieri and
Jan Reineke},
title = {Synthesizing Hardware-Software Leakage Contracts for {RISC-V} Open-Source
Processors},
journal = {CoRR},
volume = {abs/2401.09383},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.09383},
doi = {10.48550/ARXIV.2401.09383},
eprinttype = {arXiv},
eprint = {2401.09383},
timestamp = {Thu, 01 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-09383.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-00641,
author = {Gilles Barthe and
Marcel B{\"{o}}hme and
Sunjay Cauligi and
Chitchanok Chuengsatiansup and
Daniel Genkin and
Marco Guarnieri and
David Mateos Romero and
Peter Schwabe and
David Wu and
Yuval Yarom},
title = {Testing side-channel security of cryptographic implementations against
future microarchitectures},
journal = {CoRR},
volume = {abs/2402.00641},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.00641},
doi = {10.48550/ARXIV.2402.00641},
eprinttype = {arXiv},
eprint = {2402.00641},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-00641.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/WangMG0G23,
author = {Zilong Wang and
Gideon Mohr and
Klaus von Gleissenthall and
Jan Reineke and
Marco Guarnieri},
editor = {Weizhi Meng and
Christian Damsgaard Jensen and
Cas Cremers and
Engin Kirda},
title = {Specification and Verification of Side-channel Security for Open-source
Processors via Leakage Contracts},
booktitle = {Proceedings of the 2023 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2023, Copenhagen, Denmark, November
26-30, 2023},
pages = {2128--2142},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3576915.3623192},
doi = {10.1145/3576915.3623192},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/WangMG0G23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/OleksenkoGKS23,
author = {Oleksii Oleksenko and
Marco Guarnieri and
Boris K{\"{o}}pf and
Mark Silberstein},
title = {Hide and Seek with Spectres: Efficient discovery of speculative information
leaks with random testing},
booktitle = {44th {IEEE} Symposium on Security and Privacy, {SP} 2023, San Francisco,
CA, USA, May 21-25, 2023},
pages = {1737--1752},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/SP46215.2023.10179391},
doi = {10.1109/SP46215.2023.10179391},
timestamp = {Thu, 27 Jul 2023 08:17:10 +0200},
biburl = {https://dblp.org/rec/conf/sp/OleksenkoGKS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-07642,
author = {Oleksii Oleksenko and
Marco Guarnieri and
Boris K{\"{o}}pf and
Mark Silberstein},
title = {Hide and Seek with Spectres: Efficient discovery of speculative information
leaks with random testing},
journal = {CoRR},
volume = {abs/2301.07642},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.07642},
doi = {10.48550/ARXIV.2301.07642},
eprinttype = {arXiv},
eprint = {2301.07642},
timestamp = {Thu, 19 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-07642.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-06979,
author = {Zilong Wang and
Gideon Mohr and
Klaus von Gleissenthall and
Jan Reineke and
Marco Guarnieri},
title = {Specification and Verification of Side-channel Security for Open-source
Processors via Leakage Contracts},
journal = {CoRR},
volume = {abs/2305.06979},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.06979},
doi = {10.48550/ARXIV.2305.06979},
eprinttype = {arXiv},
eprint = {2305.06979},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-06979.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/FletcherGKM23,
author = {Christopher W. Fletcher and
Marco Guarnieri and
David Kohlbrenner and
Cl{\'{e}}mentine Maurice},
title = {{MAD:} Microarchitectural Attacks and Defenses (Dagstuhl Seminar 23481)},
journal = {Dagstuhl Reports},
volume = {13},
number = {11},
pages = {151--166},
year = {2023},
url = {https://doi.org/10.4230/DagRep.13.11.151},
doi = {10.4230/DAGREP.13.11.151},
timestamp = {Fri, 19 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/FletcherGKM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/FabianGP22,
author = {Xaver Fabian and
Marco Guarnieri and
Marco Patrignani},
editor = {Heng Yin and
Angelos Stavrou and
Cas Cremers and
Elaine Shi},
title = {Automatic Detection of Speculative Execution Combinations},
booktitle = {Proceedings of the 2022 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2022, Los Angeles, CA, USA, November
7-11, 2022},
pages = {965--978},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3548606.3560555},
doi = {10.1145/3548606.3560555},
timestamp = {Sat, 17 Dec 2022 01:15:29 +0100},
biburl = {https://dblp.org/rec/conf/ccs/FabianGP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GuriaVGP22,
author = {Sankha Narayan Guria and
Niki Vazou and
Marco Guarnieri and
James Parker},
editor = {Ranjit Jhala and
Isil Dillig},
title = {{ANOSY:} approximated knowledge synthesis with refinement types for
declassification},
booktitle = {{PLDI} '22: 43rd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, San Diego, CA, USA, June 13 -
17, 2022},
pages = {15--30},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3519939.3523725},
doi = {10.1145/3519939.3523725},
timestamp = {Fri, 03 Jun 2022 08:25:37 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GuriaVGP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-12069,
author = {Sankha Narayan Guria and
Niki Vazou and
Marco Guarnieri and
James Parker},
title = {{ANOSY:} Approximated Knowledge Synthesis with Refinement Types for
Declassification},
journal = {CoRR},
volume = {abs/2203.12069},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.12069},
doi = {10.48550/ARXIV.2203.12069},
eprinttype = {arXiv},
eprint = {2203.12069},
timestamp = {Tue, 29 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-12069.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-01548,
author = {Sunjay Cauligi and
Marco Guarnieri and
Daniel Moghimi and
Deian Stefan and
Marco Vassena},
title = {A Turning Point for Verified Spectre Sandboxing},
journal = {CoRR},
volume = {abs/2208.01548},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.01548},
doi = {10.48550/ARXIV.2208.01548},
eprinttype = {arXiv},
eprint = {2208.01548},
timestamp = {Tue, 09 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-01548.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-01179,
author = {Xaver Fabian and
Marco Guarnieri and
Marco Patrignani},
title = {Automatic Detection of Speculative Execution Combinations},
journal = {CoRR},
volume = {abs/2209.01179},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.01179},
doi = {10.48550/ARXIV.2209.01179},
eprinttype = {arXiv},
eprint = {2209.01179},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-01179.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/BacisFGRRP21,
author = {Enrico Bacis and
Dario Facchinetti and
Marco Guarnieri and
Marco Rosa and
Matthew Rossi and
Stefano Paraboschi},
editor = {Delphine Reinhardt and
Tilo M{\"{u}}ller},
title = {I Told You Tomorrow: Practical Time-Locked Secrets using Smart Contracts},
booktitle = {{ARES} 2021: The 16th International Conference on Availability, Reliability
and Security, Vienna, Austria, August 17-20, 2021},
pages = {17:1--17:10},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3465481.3465765},
doi = {10.1145/3465481.3465765},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEares/BacisFGRRP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/PatrignaniG21,
author = {Marco Patrignani and
Marco Guarnieri},
editor = {Yongdae Kim and
Jong Kim and
Giovanni Vigna and
Elaine Shi},
title = {Exorcising Spectres with Secure Compilers},
booktitle = {{CCS} '21: 2021 {ACM} {SIGSAC} Conference on Computer and Communications
Security, Virtual Event, Republic of Korea, November 15 - 19, 2021},
pages = {445--461},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3460120.3484534},
doi = {10.1145/3460120.3484534},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/PatrignaniG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/GuarnieriKRV21,
author = {Marco Guarnieri and
Boris K{\"{o}}pf and
Jan Reineke and
Pepe Vila},
title = {Hardware-Software Contracts for Secure Speculation},
booktitle = {42nd {IEEE} Symposium on Security and Privacy, {SP} 2021, San Francisco,
CA, USA, 24-27 May 2021},
pages = {1868--1883},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SP40001.2021.00036},
doi = {10.1109/SP40001.2021.00036},
timestamp = {Thu, 21 Sep 2023 15:57:26 +0200},
biburl = {https://dblp.org/rec/conf/sp/GuarnieriKRV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/VilaGGK20,
author = {Pepe Vila and
Pierre Ganty and
Marco Guarnieri and
Boris K{\"{o}}pf},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {CacheQuery: learning replacement policies from hardware caches},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {519--532},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386008},
doi = {10.1145/3385412.3386008},
timestamp = {Tue, 09 Jun 2020 13:45:15 +0200},
biburl = {https://dblp.org/rec/conf/pldi/VilaGGK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/GuarnieriKMRS20,
author = {Marco Guarnieri and
Boris K{\"{o}}pf and
Jos{\'{e}} F. Morales and
Jan Reineke and
Andr{\'{e}}s S{\'{a}}nchez},
title = {Spectector: Principled Detection of Speculative Information Flows},
booktitle = {2020 {IEEE} Symposium on Security and Privacy, {SP} 2020, San Francisco,
CA, USA, May 18-21, 2020},
pages = {1--19},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SP40000.2020.00011},
doi = {10.1109/SP40000.2020.00011},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/GuarnieriKMRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-13853,
author = {Pepe Vila and
Andreas Abel and
Marco Guarnieri and
Boris K{\"{o}}pf and
Jan Reineke},
title = {Flushgeist: Cache Leaks from Beyond the Flush},
journal = {CoRR},
volume = {abs/2005.13853},
year = {2020},
url = {https://arxiv.org/abs/2005.13853},
eprinttype = {arXiv},
eprint = {2005.13853},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-13853.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-03841,
author = {Marco Guarnieri and
Boris K{\"{o}}pf and
Jan Reineke and
Pepe Vila},
title = {Hardware-Software Contracts for Secure Speculation},
journal = {CoRR},
volume = {abs/2006.03841},
year = {2020},
url = {https://arxiv.org/abs/2006.03841},
eprinttype = {arXiv},
eprint = {2006.03841},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-03841.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-14205,
author = {Marco Guarnieri and
Marco Patrignani},
title = {Contract-Aware Secure Compilation},
journal = {CoRR},
volume = {abs/2012.14205},
year = {2020},
url = {https://arxiv.org/abs/2012.14205},
eprinttype = {arXiv},
eprint = {2012.14205},
timestamp = {Tue, 05 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-14205.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosp/GuarnieriBSBS19,
author = {Marco Guarnieri and
Musard Balliu and
Daniel Schoepe and
David A. Basin and
Andrei Sabelfeld},
title = {Information-Flow Control for Database-Backed Applications},
booktitle = {{IEEE} European Symposium on Security and Privacy, EuroS{\&}P
2019, Stockholm, Sweden, June 17-19, 2019},
pages = {79--94},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/EuroSP.2019.00016},
doi = {10.1109/EUROSP.2019.00016},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosp/GuarnieriBSBS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-08607,
author = {Marco Guarnieri and
Marco Patrignani},
title = {Exorcising Spectres with Secure Compilers},
journal = {CoRR},
volume = {abs/1910.08607},
year = {2019},
url = {http://arxiv.org/abs/1910.08607},
eprinttype = {arXiv},
eprint = {1910.08607},
timestamp = {Tue, 22 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-08607.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-09770,
author = {Pepe Vila and
Pierre Ganty and
Marco Guarnieri and
Boris K{\"{o}}pf},
title = {CacheQuery: Learning Replacement Policies from Hardware Caches},
journal = {CoRR},
volume = {abs/1912.09770},
year = {2019},
url = {http://arxiv.org/abs/1912.09770},
eprinttype = {arXiv},
eprint = {1912.09770},
timestamp = {Fri, 03 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-09770.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-08639,
author = {Marco Guarnieri and
Boris K{\"{o}}pf and
Jos{\'{e}} F. Morales and
Jan Reineke and
Andr{\'{e}}s S{\'{a}}nchez},
title = {{SPECTECTOR:} Principled Detection of Speculative Information Flows},
journal = {CoRR},
volume = {abs/1812.08639},
year = {2018},
url = {http://arxiv.org/abs/1812.08639},
eprinttype = {arXiv},
eprint = {1812.08639},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-08639.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/KuceraTGGV17,
author = {Martin Kucera and
Petar Tsankov and
Timon Gehr and
Marco Guarnieri and
Martin T. Vechev},
editor = {Bhavani Thuraisingham and
David Evans and
Tal Malkin and
Dongyan Xu},
title = {Synthesis of Probabilistic Privacy Enforcement},
booktitle = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 -
November 03, 2017},
pages = {391--408},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3133956.3134079},
doi = {10.1145/3133956.3134079},
timestamp = {Wed, 29 Jun 2022 15:37:41 +0200},
biburl = {https://dblp.org/rec/conf/ccs/KuceraTGGV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/GuarnieriMB17,
author = {Marco Guarnieri and
Srdjan Marinovic and
David A. Basin},
title = {Securing Databases from Probabilistic Inference},
booktitle = {30th {IEEE} Computer Security Foundations Symposium, {CSF} 2017, Santa
Barbara, CA, USA, August 21-25, 2017},
pages = {343--359},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/CSF.2017.30},
doi = {10.1109/CSF.2017.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/GuarnieriMB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GuarnieriTBDB17,
author = {Marco Guarnieri and
Petar Tsankov and
Tristan Buchs and
Mohammad Torabi Dashti and
David A. Basin},
editor = {Tevfik Bultan and
Koushik Sen},
title = {Test execution checkpointing for web applications},
booktitle = {Proceedings of the 26th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14,
2017},
pages = {203--214},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3092703.3092710},
doi = {10.1145/3092703.3092710},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/GuarnieriTBDB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GuarnieriMB17,
author = {Marco Guarnieri and
Srdjan Marinovic and
David A. Basin},
title = {Securing Databases from Probabilistic Inference},
journal = {CoRR},
volume = {abs/1706.02473},
year = {2017},
url = {http://arxiv.org/abs/1706.02473},
eprinttype = {arXiv},
eprint = {1706.02473},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GuarnieriMB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosp/GuarnieriMB16,
author = {Marco Guarnieri and
Srdjan Marinovic and
David A. Basin},
title = {Strong and Provably Secure Database Access Control},
booktitle = {{IEEE} European Symposium on Security and Privacy, EuroS{\&}P
2016, Saarbr{\"{u}}cken, Germany, March 21-24, 2016},
pages = {163--178},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/EuroSP.2016.23},
doi = {10.1109/EUROSP.2016.23},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosp/GuarnieriMB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GuarnieriMB15,
author = {Marco Guarnieri and
Srdjan Marinovic and
David A. Basin},
title = {Strong and Provably Secure Database Access Control},
journal = {CoRR},
volume = {abs/1512.01479},
year = {2015},
url = {http://arxiv.org/abs/1512.01479},
eprinttype = {arXiv},
eprint = {1512.01479},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GuarnieriMB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/GuarnieriB14,
author = {Marco Guarnieri and
David A. Basin},
title = {Optimal Security-Aware Query Processing},
journal = {Proc. {VLDB} Endow.},
volume = {7},
number = {12},
pages = {1307--1318},
year = {2014},
url = {http://www.vldb.org/pvldb/vol7/p1307-guarnieri.pdf},
doi = {10.14778/2732977.2733003},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/GuarnieriB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/GargantiniGM13,
author = {Angelo Gargantini and
Marco Guarnieri and
Eros Magri},
title = {{AURORA:} AUtomatic RObustness coveRage Analysis Tool},
booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2013, Luxembourg, Luxembourg, March 18-22,
2013},
pages = {463--470},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICST.2013.64},
doi = {10.1109/ICST.2013.64},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/GargantiniGM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/GuarnieriNMM13,
author = {Marco Guarnieri and
Mario Arrigoni Neri and
Eros Magri and
Simone Mutti},
editor = {Mauro Conti and
Jaideep Vaidya and
Andreas Schaad},
title = {On the notion of redundancy in access control policies},
booktitle = {18th {ACM} Symposium on Access Control Models and Technologies, {SACMAT}
'13, Amsterdam, The Netherlands, June 12-14, 2013},
pages = {161--172},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2462410.2462426},
doi = {10.1145/2462410.2462426},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sacmat/GuarnieriNMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/NeriGMMP13,
author = {Mario Arrigoni Neri and
Marco Guarnieri and
Eros Magri and
Simone Mutti and
Stefano Paraboschi},
editor = {Pierangela Samarati},
title = {A Model-driven Approach for Securing Software Architectures},
booktitle = {{SECRYPT} 2013 - Proceedings of the 10th International Conference
on Security and Cryptography, Reykjav{\'{\i}}k, Iceland, 29-31
July, 2013},
pages = {595--602},
publisher = {SciTePress},
year = {2013},
url = {https://ieeexplore.ieee.org/document/7223221/},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/secrypt/NeriGMMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/BolisGGMM12,
author = {Francesco Bolis and
Angelo Gargantini and
Marco Guarnieri and
Eros Magri and
Lorenzo Musto},
editor = {Michael Grossniklaus and
Manuel Wimmer},
title = {Model-Driven Testing for Web Applications Using Abstract State Machines},
booktitle = {Current Trends in Web Engineering - {ICWE} 2012 International Workshops:
MDWE, ComposableWeb, WeRE, QWE, and Doctoral Consortium, Berlin, Germany,
July 23-27, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7703},
pages = {71--78},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35623-0\_7},
doi = {10.1007/978-3-642-35623-0\_7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icwe/BolisGGMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/GargantiniGM12,
author = {Angelo Gargantini and
Marco Guarnieri and
Eros Magri},
editor = {Brian Nielsen and
Carsten Weise},
title = {Extending Coverage Criteria by Evaluating Their Robustness to Code
Structure Changes},
booktitle = {Testing Software and Systems - 24th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2012, Aalborg, Denmark, November 19-21, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7641},
pages = {168--183},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34691-0\_13},
doi = {10.1007/978-3-642-34691-0\_13},
timestamp = {Sat, 30 Sep 2023 09:55:01 +0200},
biburl = {https://dblp.org/rec/conf/pts/GargantiniGM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssbse/BolisGGM12,
author = {Francesco Bolis and
Angelo Gargantini and
Marco Guarnieri and
Eros Magri},
editor = {Gordon Fraser and
Jerffeson Teixeira de Souza},
title = {Evolutionary Testing of {PHP} Web Applications with {WETT}},
booktitle = {Search Based Software Engineering - 4th International Symposium, {SSBSE}
2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7515},
pages = {285--291},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33119-0\_23},
doi = {10.1007/978-3-642-33119-0\_23},
timestamp = {Mon, 23 Nov 2020 12:33:05 +0100},
biburl = {https://dblp.org/rec/conf/ssbse/BolisGGM12.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:53 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:
