@misc{indiciae4a757aaa4c90,
  title = {Using redundant transactions to verify the correctness of program code execution},
  author = {Gurumurthi, Sudhanva and Sridharan, Vilas K.},
  year = {2016},
  url = {https://www.osti.gov/biblio/1531945},
  note = {Source identifier: 1531945}
}