Witness-functions versus interpretation-functions for secrecy in cryptographic protocols: What to choose?. Fattahi, J., Mejri, M., Ziadia, M., Omrani, T., & Pricop, E. In 2017 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2017, Banff, AB, Canada, October 5-8, 2017, pages 2649–2654, 2017. IEEE.
Witness-functions versus interpretation-functions for secrecy in cryptographic protocols: What to choose? [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/smc/FattahiMZOP17,
  author       = {Jaouhar Fattahi and
                  Mohamed Mejri and
                  Marwa Ziadia and
                  Takwa Omrani and
                  Emil Pricop},
  title        = {Witness-functions versus interpretation-functions for secrecy in cryptographic
                  protocols: What to choose?},
  booktitle    = {2017 {IEEE} International Conference on Systems, Man, and Cybernetics,
                  {SMC} 2017, Banff, AB, Canada, October 5-8, 2017},
  pages        = {2649--2654},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/SMC.2017.8123025},
  doi          = {10.1109/SMC.2017.8123025},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smc/FattahiMZOP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0