Secure APIs for Applications in Microkernel-based Systems Topics: Security Frameworks, Architectures and Protocols In Proceedings of the 3rd International Conference on Information Systems Security and Privacy ICISSP - Volume 1, 553-558, 2017 , Porto, Portugal