@TechReport{	  mantel.weber:towards,
  author	= {Heiko Mantel and Alexandra Weber},
  title		= {Towards Leakage Bounds for Side Channels based on Caches
		  and Pipelined Executions},
  institution	= {TU Darmstadt},
  year		= 2021,
  url		= {http://tuprints.ulb.tu-darmstadt.de/19755/}
}