BibTeX record conf/ccs/Akinyele0H13

• > Home > conf/ccs/Akinyele0H13

@inproceedings{DBLP:conf/ccs/Akinyele0H13,
  author       = {Joseph A. Akinyele and
                  Matthew Green and
                  Susan Hohenberger},
  editor       = {Ahmad{-}Reza Sadeghi and
                  Virgil D. Gligor and
                  Moti Yung},
  title        = {Using {SMT} solvers to automate design tasks for encryption and signature
                  schemes},
  booktitle    = {2013 {ACM} {SIGSAC} Conference on Computer and Communications Security,
                  CCS'13, Berlin, Germany, November 4-8, 2013},
  pages        = {399--410},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2508859.2516718},
  doi          = {10.1145/2508859.2516718},
  timestamp    = {Tue, 10 Nov 2020 20:00:17 +0100},
  biburl       = {https://dblp.org/rec/conf/ccs/Akinyele0H13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}