BibTeX records: Srdjan Marinovic

download as .bib file

@article{DBLP:journals/tifs/RitzdorfSKMGC18,
  author       = {Hubert Ritzdorf and
                  Claudio Soriente and
                  Ghassan O. Karame and
                  Srdjan Marinovic and
                  Damian Gruber and
                  Srdjan Capkun},
  title        = {Toward Shared Ownership in the Cloud},
  journal      = {{IEEE} Trans. Inf. Forensics Secur.},
  volume       = {13},
  number       = {12},
  pages        = {3019--3034},
  year         = {2018},
  url          = {https://doi.org/10.1109/TIFS.2018.2837648},
  doi          = {10.1109/TIFS.2018.2837648},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tifs/RitzdorfSKMGC18.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}
}
@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}
}
@article{DBLP:journals/iacr/RitzdorfSKMGC17,
  author       = {Hubert Ritzdorf and
                  Claudio Soriente and
                  Ghassan O. Karame and
                  Srdjan Marinovic and
                  Damian Gruber and
                  Srdjan Capkun},
  title        = {Towards Shared Ownership in the Cloud},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {227},
  year         = {2017},
  url          = {http://eprint.iacr.org/2017/227},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/RitzdorfSKMGC17.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/fmsd/BasinKMZ15,
  author       = {David A. Basin and
                  Felix Klaedtke and
                  Srdjan Marinovic and
                  Eugen Zalinescu},
  title        = {Monitoring of temporal first-order properties with aggregations},
  journal      = {Formal Methods Syst. Des.},
  volume       = {46},
  number       = {3},
  pages        = {262--285},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10703-015-0222-7},
  doi          = {10.1007/S10703-015-0222-7},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/BasinKMZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/SorienteKRMC15,
  author       = {Claudio Soriente and
                  Ghassan O. Karame and
                  Hubert Ritzdorf and
                  Srdjan Marinovic and
                  Srdjan Capkun},
  editor       = {Edgar R. Weippl and
                  Florian Kerschbaum and
                  Adam J. Lee},
  title        = {Commune: Shared Ownership in an Agnostic Cloud},
  booktitle    = {Proceedings of the 20th {ACM} Symposium on Access Control Models and
                  Technologies, Vienna, Austria, June 1-3, 2015},
  pages        = {39--50},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2752952.2752972},
  doi          = {10.1145/2752952.2752972},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sacmat/SorienteKRMC15.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/tissec/MarinovicDS14,
  author       = {Srdjan Marinovic and
                  Naranker Dulay and
                  Morris Sloman},
  title        = {Rumpole: An Introspective Break-Glass Access Control Language},
  journal      = {{ACM} Trans. Inf. Syst. Secur.},
  volume       = {17},
  number       = {1},
  pages        = {2:1--2:32},
  year         = {2014},
  url          = {https://doi.org/10.1145/2629502},
  doi          = {10.1145/2629502},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tissec/MarinovicDS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/TsankovMDB14,
  author       = {Petar Tsankov and
                  Srdjan Marinovic and
                  Mohammad Torabi Dashti and
                  David A. Basin},
  editor       = {Gail{-}Joon Ahn and
                  Moti Yung and
                  Ninghui Li},
  title        = {Fail-Secure Access Control},
  booktitle    = {Proceedings of the 2014 {ACM} {SIGSAC} Conference on Computer and
                  Communications Security, Scottsdale, AZ, USA, November 3-7, 2014},
  pages        = {1157--1168},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2660267.2660307},
  doi          = {10.1145/2660267.2660307},
  timestamp    = {Tue, 10 Nov 2020 20:00:23 +0100},
  biburl       = {https://dblp.org/rec/conf/ccs/TsankovMDB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/TsankovMDB14,
  author       = {Petar Tsankov and
                  Srdjan Marinovic and
                  Mohammad Torabi Dashti and
                  David A. Basin},
  editor       = {Mart{\'{\i}}n Abadi and
                  Steve Kremer},
  title        = {Decentralized Composite Access Control},
  booktitle    = {Principles of Security and Trust - Third International Conference,
                  {POST} 2014, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13,
                  2014, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8414},
  pages        = {245--264},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54792-8\_14},
  doi          = {10.1007/978-3-642-54792-8\_14},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/post/TsankovMDB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BasinKMZ14,
  author       = {David A. Basin and
                  Felix Klaedtke and
                  Srdjan Marinovic and
                  Eugen Zalinescu},
  editor       = {Borzoo Bonakdarpour and
                  Scott A. Smolka},
  title        = {On Real-Time Monitoring with Imprecise Timestamps},
  booktitle    = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
                  ON, Canada, September 22-25, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8734},
  pages        = {193--198},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11164-3\_16},
  doi          = {10.1007/978-3-319-11164-3\_16},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/BasinKMZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BasinKMZ13,
  author       = {David A. Basin and
                  Felix Klaedtke and
                  Srdjan Marinovic and
                  Eugen Zalinescu},
  editor       = {Axel Legay and
                  Saddek Bensalem},
  title        = {Monitoring of Temporal First-Order Properties with Aggregations},
  booktitle    = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
                  France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8174},
  pages        = {40--58},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40787-1\_3},
  doi          = {10.1007/978-3-642-40787-1\_3},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/BasinKMZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SorienteKRMC13,
  author       = {Claudio Soriente and
                  Ghassan Karame and
                  Hubert Ritzdorf and
                  Srdjan Marinovic and
                  Srdjan Capkun},
  title        = {Commune: Shared Ownership in an Agnostic Cloud},
  journal      = {CoRR},
  volume       = {abs/1311.6236},
  year         = {2013},
  url          = {http://arxiv.org/abs/1311.6236},
  eprinttype    = {arXiv},
  eprint       = {1311.6236},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/SorienteKRMC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BasinKMZ12,
  author       = {David A. Basin and
                  Felix Klaedtke and
                  Srdjan Marinovic and
                  Eugen Zalinescu},
  editor       = {Shaz Qadeer and
                  Serdar Tasiran},
  title        = {Monitoring Compliance Policies over Incomplete and Disagreeing Logs},
  booktitle    = {Runtime Verification, Third International Conference, {RV} 2012, Istanbul,
                  Turkey, September 25-28, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7687},
  pages        = {151--167},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35632-2\_17},
  doi          = {10.1007/978-3-642-35632-2\_17},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/BasinKMZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/MarinovicCMD11,
  author       = {Srdjan Marinovic and
                  Robert Craven and
                  Jiefei Ma and
                  Naranker Dulay},
  editor       = {Ruth Breu and
                  Jason Crampton and
                  Jorge Lobo},
  title        = {Rumpole: a flexible break-glass access control model},
  booktitle    = {16th {ACM} Symposium on Access Control Models and Technologies, {SACMAT}
                  2011, Innsbruck, Austria, June 15-17, 2011, Proceedings},
  pages        = {73--82},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1998441.1998453},
  doi          = {10.1145/1998441.1998453},
  timestamp    = {Tue, 06 Nov 2018 16:57:59 +0100},
  biburl       = {https://dblp.org/rec/conf/sacmat/MarinovicCMD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/MostardaMD10,
  author       = {Leonardo Mostarda and
                  Srdjan Marinovic and
                  Naranker Dulay},
  title        = {Distributed Orchestration of Pervasive Services},
  booktitle    = {24th {IEEE} International Conference on Advanced Information Networking
                  and Applications, {AINA} 2010, Perth, Australia, 20-13 April 2010},
  pages        = {166--173},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/AINA.2010.100},
  doi          = {10.1109/AINA.2010.100},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aina/MostardaMD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cnsm/MarinovicTDS10,
  author       = {Srdjan Marinovic and
                  Kevin P. Twidle and
                  Naranker Dulay and
                  Morris Sloman},
  title        = {Teleo-Reactive policies for managing human-centric pervasive services},
  booktitle    = {Proceedings of the 6th International Conference on Network and Service
                  Management, {CNSM} 2010, Niagara Falls, Canada, October 25-29, 2010},
  pages        = {80--87},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/CNSM.2010.5691332},
  doi          = {10.1109/CNSM.2010.5691332},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cnsm/MarinovicTDS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/MarinovicTD10,
  author       = {Srdjan Marinovic and
                  Kevin P. Twidle and
                  Naranker Dulay},
  title        = {Teleo-Reactive workflows for pervasive healthcare},
  booktitle    = {Eigth Annual {IEEE} International Conference on Pervasive Computing
                  and Communications, PerCom 2010, March 29 - April 2, 2010, Mannheim,
                  Germany, Workshop Proceedings},
  pages        = {316--321},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/PERCOMW.2010.5470648},
  doi          = {10.1109/PERCOMW.2010.5470648},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/percom/MarinovicTD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/policy/WishartCMS10,
  author       = {Ryan Wishart and
                  Domenico Corapi and
                  Srdjan Marinovic and
                  Morris Sloman},
  title        = {Collaborative Privacy Policy Authoring in a Social Networking Context},
  booktitle    = {{POLICY} 2010, {IEEE} International Symposium on Policies for Distributed
                  Systems and Networks, Fairfax, VA, USA, 21-23 July 2010},
  pages        = {1--8},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/POLICY.2010.13},
  doi          = {10.1109/POLICY.2010.13},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/policy/WishartCMS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/policy/TwidleMD10,
  author       = {Kevin P. Twidle and
                  Srdjan Marinovic and
                  Naranker Dulay},
  title        = {Teleo-Reactive Policies in Ponder2},
  booktitle    = {{POLICY} 2010, {IEEE} International Symposium on Policies for Distributed
                  Systems and Networks, Fairfax, VA, USA, 21-23 July 2010},
  pages        = {57--60},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/POLICY.2010.15},
  doi          = {10.1109/POLICY.2010.15},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/policy/TwidleMD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics