@article{guide2011intel,
  title={Intel{\textregistered} 64 and ia-32 architectures software developer’s manual},
  author={Guide, Part}, 
  journal={Volume 3B: System programming Guide, Part},
  volume={2},
  year={2011}
} 

@article{kocher2018spectre,
  title={Spectre attacks: Exploiting speculative execution},
  author={Kocher, Paul and Genkin, Daniel and Gruss, Daniel and Haas, Werner and Hamburg, Mike and Lipp, Moritz and Mangard, Stefan and Prescher, Thomas and Schwarz, Michael and Yarom, Yuval},
  journal={arXiv preprint arXiv:1801.01203},
  year={2018}
}
