Hjem
George Petridess bilde

George Petrides

Forsker
Vitenskapelig artikkel
  • Arribas, Victor; Bilgin, Begul; Petrides, George; Nikova, Svetla; Rijmen, Vincent. 2018. Rhythmic Keccak: SCA Security and Low Latency in HW. IACR Transactions on Cryptographic Hardware and Embedded Systems. 269-290.
  • Gjøsteen, Kristian; Petrides, George; Steine, Asgeir Bertelsen. 2011. A Novel Framework for Protocol Analysis. Lecture Notes in Computer Science (LNCS). 340-347.
Faglig foredrag
  • Petrides, George. 2019. On Non-Completeness in Threshold Implementations.
Vitenskapelig foredrag
  • Petrides, George; Gjøsteen, Kristian; Steine, Asgeir Bertelsen. 2011. A Novel Framework for Protocol Analysis.
  • Gjøsteen, Kristian; Steine, Asgeir; Petrides, George. 2010. Formal verification of reductions in cryptography.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
  • Petrides, George. 2019. On Non-Completeness in Threshold Implementations. 5 sider.
  • Gjøsteen, Kristian; Steine, Asgeir; Petrides, George. 2010. Formal verification of reductions in cryptography. 12 sider.

Se fullstendig oversikt over publikasjoner i CRIStin.