Formal Verification and Synthesis of Secure Designs.

Formal Verification and Synthesis of Secure Designs.
Duration : Dec 2015 - Dec 2018
Funding Agency : NFSG
PI : Aritra Hazra.
© 2016 - All Rights Reserved - Dept of CSE, IIT Madras
Website Credits