Machine-checked proofs of privacy against malicious boards for Selene & Co1.

Autor:	Drăgan, Constantin Cătălin1 (AUTHOR) c.dragan@surrey.ac.uk, Dupressoir, François2 (AUTHOR) f.dupressoir@bristol.ac.uk, Estaji, Ehsan3 (AUTHOR) ehsan.estaji@uni.lu, Gjøsteen, Kristian4 (AUTHOR) kristian.gjosteen@ntnu.no, Haines, Thomas5 (AUTHOR) thomas.haines@anu.edu.au, Ryan, Peter Y.A.3 (AUTHOR), Rønne, Peter B.6,7 (AUTHOR), Solberg, Morten Rotvold4 (AUTHOR) mosolb@ntnu.no
Zdroj:	Journal of Computer Security. 2023, Vol. 31 Issue 5, p469-499. 31p.
Databáze:	Business Source Ultimate
Externí odkaz:	Zobrazit plný text záznamu Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.