1. 3
    Verifying Security Invariants in ExpressOS (2013) pdf slides android formalmethods security haohuim.appspot.com
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 2 comments

  1.  

  2. 1
    codemac avatar codemac 1 year ago | link

    Over quota :(

    1. 1
      nickpsecurity avatar nickpsecurity 1 year ago | link

      Here’s the paper at least:

      https://pdfs.semanticscholar.org/ad7b/9f695061e42ff29c42e1de0d4f040e489826.pdf

      Github:

      https://github.com/ExpressOS/expressos