Home
George Petrides's picture

George Petrides

Researcher
Academic article
  • 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.
Lecture
  • Petrides, George. 2019. On Non-Completeness in Threshold Implementations.
Academic lecture
  • 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.
Academic chapter/article/Conference paper
  • Petrides, George. 2019. On Non-Completeness in Threshold Implementations. 5 pages.
  • Gjøsteen, Kristian; Steine, Asgeir; Petrides, George. 2010. Formal verification of reductions in cryptography. 12 pages.

More information in national current research information system (CRIStin)