BibTeX record conf/ches/2018proofs

download as .bib file

@proceedings{DBLP:conf/ches/2018proofs,
  editor    = {Lejla Batina and
               Ulrich K{\"{u}}hne and
               Nele Mentens},
  title     = {{PROOFS} 2018, 7th International Workshop on Security Proofs for Embedded
               Systems, colocated with {CHES} 2018, Amsterdam, The Netherlands, September
               13, 2018},
  series    = {Kalpa Publications in Computing},
  volume    = {7},
  publisher = {EasyChair},
  year      = {2018},
  url       = {http://www.easychair.org/publications/volume/PROOFS\_2018},
  timestamp = {Tue, 20 Nov 2018 09:14:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ches/2018proofs},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier