[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[MirageOS-devel] Security Protocol Analyzers

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



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.