[MirageOS-devel] Security Protocol Analyzers

[Michele Orrà <lists@xxxxxxxxxxxxxxx>]

Dear Miragesâ,

Reading Mirage's FAQ <https://mirage.io/wiki/faq> I noticed that mirage
has been a bit involved with the formal methods community.

I would be super-interested in knowing if anybody has ever produced an
(automated) formal proof of the security of component X in mirage, or if
there's any interest in doing this; unfortunately I couldn't find
anything on the interweb. 

(I asked David this question a couple of years ago, now I have a bit
more free time, and a tiny little bit more awareness of the topic)
-- 
Â.

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel