@inproceedings{Coppelia2018MICRO,
  author = {Zhang, Rui and Deutschbein, Calvin and Huang, Peng and Sturton, Cynthia},
  title = {End-to-End Automated Exploit Generation for Validating the Security of Processor Designs},
  year = {2018},
  isbn = {9781538662403},
  publisher = {IEEE Press},
  url = {https://doi.org/10.1109/MICRO.2018.00071},
  doi = {10.1109/MICRO.2018.00071},
  booktitle = {Proceedings of the 51st Annual IEEE/ACM International Symposium on Microarchitecture},
  pages = {815–827},
  numpages = {13},
  keywords = {symbolic execution, processor security, exploit generation},
  location = {Fukuoka, Japan},
  series = {MICRO-51}
}