BibTeX record conf/isca/DengG0SGLDS19

• > Home > conf/isca/DengG0SGLDS19

@inproceedings{DBLP:conf/isca/DengG0SGLDS19,
  author       = {Shuwen Deng and
                  Doguhan G{\"{u}}m{\"{u}}soglu and
                  Wenjie Xiong and
                  Sercan Sari and
                  Y. Serhan Gener and
                  Corine Lu and
                  Onur Demir and
                  Jakub Szefer},
  title        = {SecChisel Framework for Security Verification of Secure Processor
                  Architectures},
  booktitle    = {Proceedings of the 8th International Workshop on Hardware and Architectural
                  Support for Security and Privacy, HASP@ISCA 2019, June 23, 2019},
  pages        = {7:1--7:8},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3337167.3337174},
  doi          = {10.1145/3337167.3337174},
  timestamp    = {Tue, 07 May 2024 20:01:44 +0200},
  biburl       = {https://dblp.org/rec/conf/isca/DengG0SGLDS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}