MSc - Information Flow Analysis using Data-dependent Logical Propositions

Authors

Post-Graduation Supervisor: João Costa Seco
Post-Graduation Supervisor: Carla Ferreira
Post-Graduation Jury: Carlos Viegas Damásio
Post-Graduation Jury: Simão Melo de Sousa
Post-Graduation by: Paulo Jorge Abreu Duarte Ferreira