@InProceedings{	  mantel.scheidel.ea:ricasi,
  author	= {Heiko Mantel and Lukas Scheidel and Thomas Schneider and
		  Alexandra Weber and Christian Weinert and Tim Wei\"smantel},
  title		= {RiCaSi: Rigorous Cache Side Channel Mitigation via
		  Selective Circuit Compilation},
  booktitle	= {International Conference on Cryptology and Network
		  Security (CANS)},
  year		= 2020,
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2020/2020-CANS-MantelScheidelSchneiderWeberWeinertWeissmantel.pdf}
}