Foundations Friday Forum on 26 June 2020: The Many Faces of Microkernel

Companion site for the book Fundamentals of Software Architecture by Mark Richards and Neal Ford.

Podcast with Adam Bien about Java and Web

Formal Modeling and Security Analysis for Intra-level Privilege Separation

The future of scientific workflows - Ewa Deelman, Tom Peterka, Ilkay Altintas, Christopher D Carothers, Kerstin Kleese van Dam, Kenneth Moreland, Manish Parashar, Lavanya Ramakrishnan, Michela Taufer, Jeffrey Vetter, 2018

Formal Modeling and Security Analysis for Intra-level Privilege Separation

Formal Modeling and Security Analysis for Intra-level Privilege Separation

Microkernel architecture

PDF) Exploring how open source software can be utilised in healthcare

The 2020 Expert Survey on Formal Methods

Interpol review of digital evidence for 2019–2022 - ScienceDirect