Betrodda system

Kursen tar upp grundläggande frågor om hur man bygger pålitliga system. Fokus kommer att ligga på specifika egenskaper och tillvägagångssätt som gör det möjligt att bygga in förtroende i system. Dessutom presenteras metoder för att se till att datorer och tjänster beter sig troget enligt specifikationerna för genomförandet samt metoder för att upptäcka skadliga avvikelser från specifikationerna. Kursen introducerar också blockkedjebegreppen, säkerhetsperspektivet för blockkedjor, konsensus i blockkedjor, den decentraliserade filosofin bakom blockkedjor samt de viktigaste diskussionerna i blockkedjemiljön och dess potentiella tillämpningar.