E-mail senden E-Mail Adresse kopieren
2018-04

Formal Verification of Integrity-Preserving Countermeasures Against Cache Storage Side-Channels

Konferenz / Medium

Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greec

Veröffentlichungsdatum

2018-04

Letztes Änderungsdatum

2018-09-28 12:18:43