Cristin-person-ID: 21977
Person

Olaf Owe

  • Stilling:
    Professor
    ved Institutt for informatikk ved Universitetet i Oslo

Klassifisering

Emneord

Objektorientering • Spesifikasjonsspråk • Personvern • Programmeringsspråk • Informatikk • Åpne distribuerte systemer • Åpne systemer • Informasjonssikkerhet • Formelle metoder

Resultater Resultater

A lightweight approach to smart contracts supporting safety, security, and privacy.

Owe, Olaf; Fazeldehkordi, Elahe. 2022, Journal of Logical and Algebraic Methods in Programming. UIOVitenskapelig artikkel

Static checking of GDPR-related privacy compliance for object-oriented distributed systems.

Tokas, Shukun; Owe, Olaf; Ramezanifarkhani, Toktam. 2021, Journal of Logical and Algebraic Methods in Programming. UIOVitenskapelig artikkel

Futures, Histories, and Smart Contracts.

Fazeldehkordi, Elahe; Owe, Olaf. 2019, The 31th Nordic Workshop on Programming Theory - NWPT'19. UIOVitenskapelig foredrag

A Formal Framework for Consent Management.

Tokas, Shukun; Owe, Olaf. 2020, Springer Nature. UIOVitenskapelig Kapittel/Artikkel/Konferanseartikkel
1 - 5 av 195 | Neste | Siste »

Utmerkelser

  • 2019 - Best paper Award