Hjem
George Petridess bilde

George Petrides

Forsker
Tidsskriftartikler
  • Gjøsteen, Kristian; Petrides, George; Steine, Asgeir Bertelsen. 2011. A Novel Framework for Protocol Analysis. Lecture Notes in Computer Science. 6980: 340-347. doi: 10.1007/978-3-642-24316-5_24
Bokkapitler
  • Petrides, George. 2019. On Non-Completeness in Threshold Implementations. Article, sider 24-28. I:
    • Rijmen, Vincent; Nikova, Svetla; Bilgin, Begul. 2019. Proceeding TIS'19 Proceedings of ACM Workshop on Theory of Implementation Security Workshop London, United Kingdom — November 11 - 11, 2019. ACM Digital Library. 38 sider. ISBN: 978-1-4503-6827-8.
  • Gjøsteen, Kristian; Steine, Asgeir; Petrides, George. 2010. Formal verification of reductions in cryptography. Artikkel, sider 21-32. I:
    • Bours, Patrick. 2010. Norwegian Information Security Conference = Norsk Informasjonssikkerhetskonferanse : NISK 2010 . Gjøvik University College, Gjøvik, 23-24 November 2010. Tapir Akademisk Forlag. 159 sider. ISBN: 978-82-519-2705-5.

Se fullstendig oversikt over publikasjoner i CRIStin.