Contents:
- ECTAKS in a nutshell (M. Pugliese) (0:00:00)
- Security Proofs (R. Aragona e R. Civino) (0:35:18)
- HW Design (W. Tiberti) (1:15:40)
