90 followers
Automatic Derivation of Platform Noninterference Properties by Oliver Schwarz, Mads Dam https://t.co/QoEaP4jLaj #sefm16 #staf16
Automatic Derivation of Platform Noninterference Properties by Oliver Schwarz, Mads Dam https://t.co/QoEaP4jLaj #sefm16 #staf16