[Cryptography Team] Quick thoughton certification

[Krishna Sankar]

Hi,

	Would it be easier if we work with the StrongTalk VM and embed
primitives that will enable us certification ? If we conclude that the
general VM will have difficulties to pass certification, may be, what we
need is a VM that is certified, which has minimum mods. In which case,
StrongTalk might be a good place to start. Thoughts ?

Cheers
<k/>