HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms) (bibtex)
by Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz and Natalia Kulatova
Reference:
HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms) (Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz and Natalia Kulatova), In CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, USA, November 9-13, 2020 (Jay Ligatti, Xinming Ou, Jonathan Katz, Giovanni Vigna, eds.), ACM, 2020.
Bibtex Entry:
@inproceedings{DBLP:conf/ccs/PolubelovaBPBFK20,
  author    = {Marina Polubelova and
               Karthikeyan Bhargavan and
               Jonathan Protzenko and
               Benjamin Beurdouche and
               Aymeric Fromherz and
               Natalia Kulatova and
               Santiago Zanella B{\'{e}}guelin},
  editor    = {Jay Ligatti and
               Xinming Ou and
               Jonathan Katz and
               Giovanni Vigna},
  title     = {HACLxN: Verified Generic {SIMD} Crypto (for all your favourite platforms)},
  booktitle = {{CCS} '20: 2020 {ACM} {SIGSAC} Conference on Computer and Communications
               Security, Virtual Event, USA, November 9-13, 2020},
  pages     = {899--918},
  publisher = {{ACM}},
  year      = {2020},
  url       = {https://doi.org/10.1145/3372297.3423352},
  doi       = {10.1145/3372297.3423352},
  timestamp = {Tue, 10 Nov 2020 20:00:39 +0100},
  biburl    = {https://dblp.org/rec/conf/ccs/PolubelovaBPBFK20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Powered by bibtexbrowser