- Journal
[2] K. Gjøsteen, G. Petrides & A. Steine: A Novel Framework for Protocol Analysis,
Journal of Internet Services and Information Security,
Vol. 1 (2/3) (2011), 89-106 [Link]
[1] G. Petrides &
J. Mykkeltveit: Composition of Recursions and Nonlinear Complexity of Periodic Binary Sequences, Designs, Codes and Cryptography, Vol. 49, Numbers 1-3 (2008),
251-264,
Springer [Link]
- Conference Proceedings
[4] K. Gjøsteen, G.
Petrides & A. Steine: A Novel Framework for Protocol Analysis,
ProvSec, LNCS Vol. 6890 (2011), 340-347, Springer [Link]
[3] K. Gjøsteen, G. Petrides & A.
Steine: Formal Verification of Reductions in Cryptography, NISK (2010), 21-32, Tapir Akademisk Forlag [Link]
[2] G. Petrides & J. Mykkeltveit:
On the Classification of Periodic Binary Sequences into Nonlinear Complexity Classes,
SETA, LNCS Vol. 4086 (2006), 209-222,
Springer [Link]
[1] G. Petrides:
Cryptanalysis of the Public Key Cryptosystem Based on the Word Problem on the Grigorchuk Groups,
IMA Cryptography and Coding, LNCS Vol. 2898 (2003), 234-244,
Springer [Link]
- Preprints
[1] C. Riera, G. Petrides & M.G. Parker:
Generalised Bent Criteria for Boolean Functions (II), (2005),
arXiv:cs.IT/0502050 [Link]
- Technical Reports
[1] C. Riera, G. Petrides & M.G. Parker:
Generalised Bent Criteria for Boolean Functions,
Reports in Informatics No 285, ISSN 0333-3590 (2004), University of
Bergen [Link]
- Doctoral Thesis
G. Petrides:
Cryptographic Applications of Non-Commutative Algebraic Structures and Investigations of Nonlinear Recursions,
(2006), The University of
Manchester [Link]
