May 3, 2023
2023
I am chairing the Encryption and Formal Methods session of the Scientific Track at ITASEC 2023.