- E-postGeorge.Petrides@uib.no
- BesøksadresseHIB - Thormøhlensgt. 55
- PostadressePostboks 78035020 Bergen
Vitenskapelig artikkel
- 2018. Rhythmic Keccak: SCA Security and Low Latency in HW. IACR Transactions on Cryptographic Hardware and Embedded Systems. 269-290.
- 2011. A Novel Framework for Protocol Analysis. Lecture Notes in Computer Science (LNCS). 340-347.
Faglig foredrag
- 2019. On Non-Completeness in Threshold Implementations.
Vitenskapelig foredrag
- 2011. A Novel Framework for Protocol Analysis.
- 2010. Formal verification of reductions in cryptography.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
- 2019. On Non-Completeness in Threshold Implementations. 5 sider.
- 2010. Formal verification of reductions in cryptography. 12 sider.