Dear Usama, dear all Thanks for this thread. Only now I succeed to catch up partially, with this and several other threads admittedly, and I notice Nadim has been fast in doing some excellent work on symbolic analysis already.
I support both points in your post Usama 1. FATT review of formal analysis artifacts 2. Citation of formal analysis work I will not repeat anything about hybrids, as policy in the part of the world I live supports hybrids. Painful maybe, but this is it. Thank you all for the interesting discussion Fabiana Fabiana Da Pieve Program Manager – Team Leader [cid:[email protected]] European Commission DG Communications Networks, Content and Technology Unit C4 – Emerging & Disruptive Technologies
_______________________________________________ TLS mailing list -- [email protected] To unsubscribe send an email to [email protected]
