Computer-Aided Proofs for Multiparty Computation with Active Security

Computer-Aided Proofs for Multiparty Computation with Active Security. Haagh, H., Karbyshev, A., Oechsner, S., Spitters, B., & Strub, P. In 31st IEEE Computer Security Foundations Symposium, CSF 2018, Oxford, United Kingdom, July 9-12, 2018, pages 119–131, 2018. IEEE Computer Society.

Paper doi bibtex 3 downloads

@inproceedings{DBLP:conf/csfw/HaaghKOSS18,
  author = {Helene Haagh and Aleksandr Karbyshev and
Sabine Oechsner and Bas Spitters and
Pierre{-}Yves Strub},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/csfw/HaaghKOSS18.bib},
  booktitle = {31st {IEEE} Computer Security Foundations Symposium,
{CSF} 2018, Oxford, United Kingdom, July 9-12, 2018},
  doi = {10.1109/CSF.2018.00016},
  isbn = {978-1-5386-6680-7},
  pages = {119--131},
  publisher = {{IEEE} Computer Society},
  timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
  title = {Computer-Aided Proofs for Multiparty Computation with
Active Security},
  url = {https://doi.org/10.1109/CSF.2018.00016},
  year = {2018}
}

Downloads: 3