Protecting Security Information in Distributed Systems. - Claus Fritzner; Leif Nilsen; Åsmund Skomedal (S&P, 1991)

Towards Run-Time Verification of Adaptive Security for IoT in eHealth. - Arild B. Torjusen; Habtamu Abie; Ebenezer Paintsil; Denis Trcek; Åsmund Skomedal (ECSA Workshops, 2014)

Adaptive Safety for Internet of Things in e-Health. - Denis Trcek; Habtamu Abie; Åsmund Skomedal (CoRR, 2022)