@PhDThesis{	  weber:semantics-based,
  author	= {Alexandra Weber},
  title		= {Semantics-Based Cache-Side-Channel Quantification in
		  Cryptographic Implementations},
  school	= {TU Darmstadt},
  year		= 2022
}