Showing 1 - 2 results of 2 for search 'Mina Soltani Siapoush', query time: 0.02s Refine Results
  1. 1
    Is Formal Verification of seL4 Adequate to Address the Key Security Challenges of Kernel Design?

    Is Formal Verification of seL4 Adequate to Address the Key Security Challenges of Kernel Design? by Mina Soltani Siapoush, Jim Alves-Foss

    Published 2023-01-01
    Get full text
    Article
  2. 2
    On the use of the genetic programming for balanced load distribution in software-defined networks

    On the use of the genetic programming for balanced load distribution in software-defined networks by Shahram Jamali, Amin Badirzadeh, Mina Soltani Siapoush

    Published 2019-11-01
    Get full text
    Article

Search Tools: