Synthesis of Asymptotically Size-Optimal Boolean Circuits Protected from Functionality Inferenceдоклад на конференции