A relation calculus for reasoning about t-probing security

Vittorio Zaccaria

Associate Professor

I am an associate professor at Politecnico di Milano and I have worked in embedded processor architecture R&D for one of the top semiconductor companies in the world. My group is currently working on topics related to embedded systems (hardware and software), security, cryptography, operating systems.