@InProceedings{	  mantel:information,
  author	= {Heiko Mantel},
  title		= {Information Flow and Noninterference},
  booktitle	= {Encyclopedia of Cryptography and Security (3rd Ed.)},
  year		= 2022,
  note		= {(to appear)}
}