BibTeX records: Madars Virza

download as .bib file

@inproceedings{DBLP:conf/eurocrypt/Ben-SassonBCGGH17,
  author    = {Eli Ben{-}Sasson and
               Iddo Bentov and
               Alessandro Chiesa and
               Ariel Gabizon and
               Daniel Genkin and
               Matan Hamilis and
               Evgenya Pergament and
               Michael Riabzev and
               Mark Silberstein and
               Eran Tromer and
               Madars Virza},
  title     = {Computational Integrity with a Public Random String from Quasi-Linear
               PCPs},
  booktitle = {Advances in Cryptology - {EUROCRYPT} 2017 - 36th Annual International
               Conference on the Theory and Applications of Cryptographic Techniques,
               Paris, France, April 30 - May 4, 2017, Proceedings, Part {III}},
  pages     = {551--579},
  year      = {2017},
  crossref  = {DBLP:conf/eurocrypt/2017-3},
  url       = {https://doi.org/10.1007/978-3-319-56617-7_19},
  doi       = {10.1007/978-3-319-56617-7_19},
  timestamp = {Wed, 24 May 2017 08:31:22 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/eurocrypt/Ben-SassonBCGGH17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tcc/Ben-SassonCGV16,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Ariel Gabizon and
               Madars Virza},
  title     = {Quasi-Linear Size Zero Knowledge from Linear-Algebraic PCPs},
  booktitle = {Theory of Cryptography - 13th International Conference, {TCC} 2016-A,
               Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part {II}},
  pages     = {33--64},
  year      = {2016},
  crossref  = {DBLP:conf/tcc/2016a2},
  url       = {https://doi.org/10.1007/978-3-662-49099-0_2},
  doi       = {10.1007/978-3-662-49099-0_2},
  timestamp = {Tue, 23 May 2017 01:06:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tcc/Ben-SassonCGV16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/eccc/Ben-SassonCGV16,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Ariel Gabizon and
               Madars Virza},
  title     = {Quasi-Linear Size Zero Knowledge from Linear-Algebraic PCPs},
  journal   = {Electronic Colloquium on Computational Complexity {(ECCC)}},
  volume    = {23},
  pages     = {1},
  year      = {2016},
  url       = {http://eccc.hpi-web.de/report/2016/001},
  timestamp = {Mon, 01 Feb 2016 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/eccc/Ben-SassonCGV16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iacr/Ben-SassonCGV16,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Ariel Gabizon and
               Madars Virza},
  title     = {Quasi-Linear Size Zero Knowledge from Linear-Algebraic PCPs},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2016},
  pages     = {21},
  year      = {2016},
  url       = {http://eprint.iacr.org/2016/021},
  timestamp = {Tue, 09 Feb 2016 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/iacr/Ben-SassonCGV16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iacr/Ben-SassonBCGGH16,
  author    = {Eli Ben{-}Sasson and
               Iddo Bentov and
               Alessandro Chiesa and
               Ariel Gabizon and
               Daniel Genkin and
               Matan Hamilis and
               Evgenya Pergament and
               Michael Riabzev and
               Mark Silberstein and
               Eran Tromer and
               Madars Virza},
  title     = {Computational integrity with a public random string from quasi-linear
               PCPs},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2016},
  pages     = {646},
  year      = {2016},
  url       = {http://eprint.iacr.org/2016/646},
  timestamp = {Fri, 29 Jul 2016 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/iacr/Ben-SassonBCGGH16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/eurocrypt/ChiesaTV15,
  author    = {Alessandro Chiesa and
               Eran Tromer and
               Madars Virza},
  title     = {Cluster Computing in Zero Knowledge},
  booktitle = {Advances in Cryptology - {EUROCRYPT} 2015 - 34th Annual International
               Conference on the Theory and Applications of Cryptographic Techniques,
               Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part {II}},
  pages     = {371--403},
  year      = {2015},
  crossref  = {DBLP:conf/eurocrypt/2015-2},
  url       = {https://doi.org/10.1007/978-3-662-46803-6_13},
  doi       = {10.1007/978-3-662-46803-6_13},
  timestamp = {Wed, 24 May 2017 08:31:22 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/eurocrypt/ChiesaTV15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sp/Ben-SassonC0TV15,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Matthew Green and
               Eran Tromer and
               Madars Virza},
  title     = {Secure Sampling of Public Parameters for Succinct Zero Knowledge Proofs},
  booktitle = {2015 {IEEE} Symposium on Security and Privacy, {SP} 2015, San Jose,
               CA, USA, May 17-21, 2015},
  pages     = {287--304},
  year      = {2015},
  crossref  = {DBLP:conf/sp/2015},
  url       = {http://dx.doi.org/10.1109/SP.2015.25},
  doi       = {10.1109/SP.2015.25},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sp/Ben-SassonC0TV15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iacr/ChiesaTV15,
  author    = {Alessandro Chiesa and
               Eran Tromer and
               Madars Virza},
  title     = {Cluster Computing in Zero Knowledge},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2015},
  pages     = {377},
  year      = {2015},
  url       = {http://eprint.iacr.org/2015/377},
  timestamp = {Mon, 25 May 2015 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/iacr/ChiesaTV15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/crypto/Ben-SassonCTV14,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Eran Tromer and
               Madars Virza},
  title     = {Scalable Zero Knowledge via Cycles of Elliptic Curves},
  booktitle = {Advances in Cryptology - {CRYPTO} 2014 - 34th Annual Cryptology Conference,
               Santa Barbara, CA, USA, August 17-21, 2014, Proceedings, Part {II}},
  pages     = {276--294},
  year      = {2014},
  crossref  = {DBLP:conf/crypto/2014-2},
  url       = {http://dx.doi.org/10.1007/978-3-662-44381-1_16},
  doi       = {10.1007/978-3-662-44381-1_16},
  timestamp = {Tue, 15 Jul 2014 12:38:25 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/crypto/Ben-SassonCTV14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sp/Ben-SassonCG0MTV14,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Christina Garman and
               Matthew Green and
               Ian Miers and
               Eran Tromer and
               Madars Virza},
  title     = {Zerocash: Decentralized Anonymous Payments from Bitcoin},
  booktitle = {2014 {IEEE} Symposium on Security and Privacy, {SP} 2014, Berkeley,
               CA, USA, May 18-21, 2014},
  pages     = {459--474},
  year      = {2014},
  crossref  = {DBLP:conf/sp/2014},
  url       = {http://dx.doi.org/10.1109/SP.2014.36},
  doi       = {10.1109/SP.2014.36},
  timestamp = {Mon, 26 Dec 2016 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sp/Ben-SassonCG0MTV14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/uss/Ben-SassonCTV14,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Eran Tromer and
               Madars Virza},
  title     = {Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture},
  booktitle = {Proceedings of the 23rd {USENIX} Security Symposium, San Diego, CA,
               USA, August 20-22, 2014.},
  pages     = {781--796},
  year      = {2014},
  crossref  = {DBLP:conf/uss/2014},
  url       = {https://www.usenix.org/conference/usenixsecurity14/technical-sessions/presentation/ben-sasson},
  timestamp = {Fri, 19 Aug 2016 15:38:02 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/uss/Ben-SassonCTV14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iacr/Ben-SassonCG0MTV14,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Christina Garman and
               Matthew Green and
               Ian Miers and
               Eran Tromer and
               Madars Virza},
  title     = {Zerocash: Decentralized Anonymous Payments from Bitcoin},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2014},
  pages     = {349},
  year      = {2014},
  url       = {http://eprint.iacr.org/2014/349},
  timestamp = {Sat, 14 Jun 2014 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/iacr/Ben-SassonCG0MTV14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iacr/Ben-SassonCTV14,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Eran Tromer and
               Madars Virza},
  title     = {Scalable Zero Knowledge via Cycles of Elliptic Curves},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2014},
  pages     = {595},
  year      = {2014},
  url       = {http://eprint.iacr.org/2014/595},
  timestamp = {Thu, 14 Aug 2014 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/iacr/Ben-SassonCTV14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/AmbainisKNRV13,
  author    = {Andris Ambainis and
               Dmitry Kravchenko and
               Nikolay Nahimov and
               Alexander Rivosh and
               Madars Virza},
  title     = {On symmetric nonlocal games},
  journal   = {Theor. Comput. Sci.},
  volume    = {494},
  pages     = {36--48},
  year      = {2013},
  url       = {http://dx.doi.org/10.1016/j.tcs.2013.03.011},
  doi       = {10.1016/j.tcs.2013.03.011},
  timestamp = {Tue, 18 Jun 2013 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tcs/AmbainisKNRV13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/crypto/Ben-SassonCGTV13,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Daniel Genkin and
               Eran Tromer and
               Madars Virza},
  title     = {SNARKs for {C:} Verifying Program Executions Succinctly and in Zero
               Knowledge},
  booktitle = {Advances in Cryptology - {CRYPTO} 2013 - 33rd Annual Cryptology Conference,
               Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part {II}},
  pages     = {90--108},
  year      = {2013},
  crossref  = {DBLP:conf/crypto/2013-2},
  url       = {http://dx.doi.org/10.1007/978-3-642-40084-1_6},
  doi       = {10.1007/978-3-642-40084-1_6},
  timestamp = {Wed, 21 Aug 2013 17:31:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/crypto/Ben-SassonCGTV13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/AmbainisBBSSV13,
  author    = {Andris Ambainis and
               Arturs Backurs and
               Kaspars Balodis and
               Agnis Skuskovniks and
               Juris Smotrovs and
               Madars Virza},
  title     = {Worst Case Analysis of Non-local Games},
  booktitle = {{SOFSEM} 2013: Theory and Practice of Computer Science, 39th International
               Conference on Current Trends in Theory and Practice of Computer Science,
               {\v{S}}pindler{\r{u}}v Ml{\'{y}}n, Czech Republic, January 26-31,
               2013. Proceedings},
  pages     = {121--132},
  year      = {2013},
  crossref  = {DBLP:conf/sofsem/2013},
  url       = {https://doi.org/10.1007/978-3-642-35843-2_12},
  doi       = {10.1007/978-3-642-35843-2_12},
  timestamp = {Tue, 23 May 2017 01:08:02 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sofsem/AmbainisBBSSV13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iacr/Ben-SassonCGTV13,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Daniel Genkin and
               Eran Tromer and
               Madars Virza},
  title     = {SNARKs for {C:} Verifying Program Executions Succinctly and in Zero
               Knowledge},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2013},
  pages     = {507},
  year      = {2013},
  url       = {http://eprint.iacr.org/2013/507},
  timestamp = {Tue, 17 Sep 2013 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/iacr/Ben-SassonCGTV13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iacr/Ben-SassonCTV13,
  author    = {Eli Ben{-}Sasson and
               Alessandro Chiesa and
               Eran Tromer and
               Madars Virza},
  title     = {Succinct Non-Interactive Arguments for a von Neumann Architecture},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2013},
  pages     = {879},
  year      = {2013},
  url       = {http://eprint.iacr.org/2013/879},
  timestamp = {Thu, 30 Jan 2014 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/iacr/Ben-SassonCTV13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AmbainisBBKOSV12,
  author    = {Andris Ambainis and
               Arturs Backurs and
               Kaspars Balodis and
               Dmitrijs Kravcenko and
               Raitis Ozols and
               Juris Smotrovs and
               Madars Virza},
  title     = {Quantum Strategies Are Better Than Classical in Almost Any {XOR} Game},
  booktitle = {Automata, Languages, and Programming - 39th International Colloquium,
               {ICALP} 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part {I}},
  pages     = {25--37},
  year      = {2012},
  crossref  = {DBLP:conf/icalp/2012-1},
  url       = {https://doi.org/10.1007/978-3-642-31594-7_3},
  doi       = {10.1007/978-3-642-31594-7_3},
  timestamp = {Tue, 23 May 2017 01:09:18 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icalp/AmbainisBBKOSV12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/memics/AmbainisIKV12,
  author    = {Andris Ambainis and
               Janis Iraids and
               Dmitry Kravchenko and
               Madars Virza},
  title     = {Advantage of Quantum Strategies in Random Symmetric {XOR} Games},
  booktitle = {Mathematical and Engineering Methods in Computer Science, 8th International
               Doctoral Workshop, {MEMICS} 2012, Znojmo, Czech Republic, October
               25-28, 2012, Revised Selected Papers},
  pages     = {57--68},
  year      = {2012},
  crossref  = {DBLP:conf/memics/2012},
  url       = {https://doi.org/10.1007/978-3-642-36046-6_7},
  doi       = {10.1007/978-3-642-36046-6_7},
  timestamp = {Wed, 17 May 2017 14:24:32 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/memics/AmbainisIKV12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ipl/Virza11,
  author    = {Madars Virza},
  title     = {Sensitivity versus block sensitivity of Boolean functions},
  journal   = {Inf. Process. Lett.},
  volume    = {111},
  number    = {9},
  pages     = {433--435},
  year      = {2011},
  url       = {http://dx.doi.org/10.1016/j.ipl.2011.02.001},
  doi       = {10.1016/j.ipl.2011.02.001},
  timestamp = {Wed, 04 May 2011 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ipl/Virza11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1112-3330,
  author    = {Andris Ambainis and
               Arturs Backurs and
               Kaspars Balodis and
               Dmitry Kravchenko and
               Raitis Ozols and
               Juris Smotrovs and
               Madars Virza},
  title     = {Quantum strategies are better than classical in almost any {XOR} game},
  journal   = {CoRR},
  volume    = {abs/1112.3330},
  year      = {2011},
  url       = {http://arxiv.org/abs/1112.3330},
  timestamp = {Wed, 10 Oct 2012 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1112-3330},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1008-0521,
  author    = {Madars Virza},
  title     = {Sensitivity versus block sensitivity of Boolean functions},
  journal   = {CoRR},
  volume    = {abs/1008.0521},
  year      = {2010},
  url       = {http://arxiv.org/abs/1008.0521},
  timestamp = {Mon, 05 Dec 2011 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1008-0521},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/eurocrypt/2017-3,
  editor    = {Jean{-}S{\'{e}}bastien Coron and
               Jesper Buus Nielsen},
  title     = {Advances in Cryptology - {EUROCRYPT} 2017 - 36th Annual International
               Conference on the Theory and Applications of Cryptographic Techniques,
               Paris, France, April 30 - May 4, 2017, Proceedings, Part {III}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10212},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-56617-7},
  doi       = {10.1007/978-3-319-56617-7},
  isbn      = {978-3-319-56616-0},
  timestamp = {Wed, 24 May 2017 08:31:22 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/eurocrypt/2017-3},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tcc/2016a2,
  editor    = {Eyal Kushilevitz and
               Tal Malkin},
  title     = {Theory of Cryptography - 13th International Conference, {TCC} 2016-A,
               Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9563},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-49099-0},
  doi       = {10.1007/978-3-662-49099-0},
  isbn      = {978-3-662-49098-3},
  timestamp = {Tue, 23 May 2017 01:06:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tcc/2016a2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/eurocrypt/2015-2,
  editor    = {Elisabeth Oswald and
               Marc Fischlin},
  title     = {Advances in Cryptology - {EUROCRYPT} 2015 - 34th Annual International
               Conference on the Theory and Applications of Cryptographic Techniques,
               Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9057},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-46803-6},
  doi       = {10.1007/978-3-662-46803-6},
  isbn      = {978-3-662-46802-9},
  timestamp = {Wed, 24 May 2017 08:31:22 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/eurocrypt/2015-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sp/2015,
  title     = {2015 {IEEE} Symposium on Security and Privacy, {SP} 2015, San Jose,
               CA, USA, May 17-21, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7160813},
  isbn      = {978-1-4673-6949-7},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sp/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/crypto/2014-2,
  editor    = {Juan A. Garay and
               Rosario Gennaro},
  title     = {Advances in Cryptology - {CRYPTO} 2014 - 34th Annual Cryptology Conference,
               Santa Barbara, CA, USA, August 17-21, 2014, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8617},
  publisher = {Springer},
  year      = {2014},
  url       = {http://dx.doi.org/10.1007/978-3-662-44381-1},
  doi       = {10.1007/978-3-662-44381-1},
  isbn      = {978-3-662-44380-4},
  timestamp = {Tue, 15 Jul 2014 12:38:25 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/crypto/2014-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sp/2014,
  title     = {2014 {IEEE} Symposium on Security and Privacy, {SP} 2014, Berkeley,
               CA, USA, May 18-21, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6954656},
  isbn      = {978-1-4799-4686-0},
  timestamp = {Tue, 02 Dec 2014 18:47:29 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sp/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/uss/2014,
  editor    = {Kevin Fu and
               Jaeyeon Jung},
  title     = {Proceedings of the 23rd {USENIX} Security Symposium, San Diego, CA,
               USA, August 20-22, 2014},
  publisher = {{USENIX} Association},
  year      = {2014},
  url       = {https://www.usenix.org/conference/usenixsecurity14},
  timestamp = {Fri, 19 Aug 2016 15:38:02 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/uss/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/crypto/2013-2,
  editor    = {Ran Canetti and
               Juan A. Garay},
  title     = {Advances in Cryptology - {CRYPTO} 2013 - 33rd Annual Cryptology Conference,
               Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8043},
  publisher = {Springer},
  year      = {2013},
  url       = {http://dx.doi.org/10.1007/978-3-642-40084-1},
  doi       = {10.1007/978-3-642-40084-1},
  isbn      = {978-3-642-40083-4},
  timestamp = {Wed, 21 Aug 2013 17:31:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/crypto/2013-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sofsem/2013,
  editor    = {Peter van Emde Boas and
               Frans C. A. Groen and
               Giuseppe F. Italiano and
               Jerzy R. Nawrocki and
               Harald Sack},
  title     = {{SOFSEM} 2013: Theory and Practice of Computer Science, 39th International
               Conference on Current Trends in Theory and Practice of Computer Science,
               {\v{S}}pindler{\r{u}}v Ml{\'{y}}n, Czech Republic, January 26-31,
               2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7741},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-35843-2},
  doi       = {10.1007/978-3-642-35843-2},
  isbn      = {978-3-642-35842-5},
  timestamp = {Tue, 23 May 2017 01:08:02 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sofsem/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icalp/2012-1,
  editor    = {Artur Czumaj and
               Kurt Mehlhorn and
               Andrew M. Pitts and
               Roger Wattenhofer},
  title     = {Automata, Languages, and Programming - 39th International Colloquium,
               {ICALP} 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7391},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31594-7},
  doi       = {10.1007/978-3-642-31594-7},
  isbn      = {978-3-642-31593-0},
  timestamp = {Tue, 23 May 2017 01:09:18 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icalp/2012-1},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/memics/2012,
  editor    = {Anton{\'{\i}}n Kucera and
               Thomas A. Henzinger and
               Jaroslav Nesetril and
               Tom{\'{a}}s Vojnar and
               David Antos},
  title     = {Mathematical and Engineering Methods in Computer Science, 8th International
               Doctoral Workshop, {MEMICS} 2012, Znojmo, Czech Republic, October
               25-28, 2012, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7721},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-36046-6},
  doi       = {10.1007/978-3-642-36046-6},
  isbn      = {978-3-642-36044-2},
  timestamp = {Wed, 17 May 2017 14:24:32 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/memics/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier