Program partitioning based on static call graph analysis for privilege separation | IEEE Conference Publication | IEEE Xplore