<?xml version="1.0"?>
<dblpperson name="&#197;smund Skomedal" pid="151/3131" n="3">
<person key="homepages/151/3131" mdate="2014-09-24">
<author pid="151/3131">&#197;smund Skomedal</author>
</person>
<r><article publtype="informal" key="journals/corr/abs-2203-05309" mdate="2025-04-01">
<author pid="91/5008">Denis Trcek</author>
<author orcid="0000-0003-0866-5050" pid="52/6307">Habtamu Abie</author>
<author pid="151/3131">&#197;smund Skomedal</author>
<title>Adaptive Safety for Internet of Things in e-Health.</title>
<year>2022</year>
<volume>abs/2203.05309</volume>
<journal>CoRR</journal>
<ee type="oa">https://doi.org/10.48550/arXiv.2203.05309</ee>
<url>db/journals/corr/corr2203.html#abs-2203-05309</url>
</article>
</r>
<r><inproceedings key="conf/ecsa/TorjusenAPTS14" mdate="2026-04-21">
<author orcid="0000-0001-8076-7460" pid="10/3079">Arild B. Torjusen</author>
<author pid="52/6307">Habtamu Abie</author>
<author pid="42/10011">Ebenezer Paintsil</author>
<author pid="91/5008">Denis Trcek</author>
<author pid="151/3131">&#197;smund Skomedal</author>
<title>Towards Run-Time Verification of Adaptive Security for IoT in eHealth.</title>
<pages>4:1-4:8</pages>
<year>2014</year>
<booktitle>ECSA Workshops</booktitle>
<ee>https://doi.org/10.1145/2642803.2642807</ee>
<crossref>conf/ecsa/2014w</crossref>
<url>db/conf/ecsa/ecsa2014w.html#TorjusenAPTS14</url>
</inproceedings>
</r>
<r><inproceedings key="conf/sp/FritznerNS91" mdate="2023-09-21">
<author pid="290/5968">Claus Fritzner</author>
<author pid="06/858">Leif Nilsen</author>
<author pid="151/3131">&#197;smund Skomedal</author>
<title>Protecting Security Information in Distributed Systems.</title>
<pages>245-254</pages>
<year>1991</year>
<crossref>conf/sp/1991</crossref>
<booktitle>S&#38;P</booktitle>
<url>db/conf/sp/sp1991.html#FritznerNS91</url>
<ee>https://doi.org/10.1109/RISP.1991.130792</ee>
<ee>https://doi.ieeecomputersociety.org/10.1109/RISP.1991.130792</ee>
</inproceedings>
</r>
<coauthors n="6" nc="2">
<co c="0"><na f="a/Abie:Habtamu" pid="52/6307">Habtamu Abie</na></co>
<co c="1"><na f="f/Fritzner:Claus" pid="290/5968">Claus Fritzner</na></co>
<co c="1"><na f="n/Nilsen:Leif" pid="06/858">Leif Nilsen</na></co>
<co c="0"><na f="p/Paintsil:Ebenezer" pid="42/10011">Ebenezer Paintsil</na></co>
<co c="0"><na f="t/Torjusen:Arild_B=" pid="10/3079">Arild B. Torjusen</na></co>
<co c="0"><na f="t/Trcek:Denis" pid="91/5008">Denis Trcek</na></co>
</coauthors>
</dblpperson>

