This technique is formally known as the Von Neumann extractor (1951), a foundational concept in randomness extraction.