home > publications > non-standard computation > Evolving Boolean Functions ...

John A. Clark, Jeremy L. Jacob, Susan Stepney, Subhamoy Maitra, William Millan.
Evolving Boolean Functions Satisfying Multiple Criteria.

Progress in Cryptology -- INDOCRYPT 2002: Third International Cryptology Conference in India, Hyderabad, December 2002 . LNCS vol 2551, pp 246-259. Springer. 2002

Abstract:

Many desirable properties have been identified for Boolean functions with cryptographic applications. Obtaining optimal tradeoffs among such properties is hard. In this paper we show how simulated annealing, a search technique inspired by the cooling processes of molten metals, can be used to derive functions with profiles of cryptographically-relevant properties as yet unachieved by any other technique.

Full paper : Postscript 194K 

@inproceedings(SS-Indo-02,
  author = "John A. Clark and Jeremy L. Jacob and Susan Stepney
            and Subhamoy Maitra and William Millan",
  title = "Evolving Boolean Functions Satisfying Multiple Criteria",
  pages = "246--259",
  crossref = "Indo-02"
)

@proceedings(Indo-02,
  title = "Progress in Cryptology -- INDOCRYPT 2002:
           Third International Cryptology Conference
           in India, Hyderabad, December 2002",
  booktitle = "Progress in Cryptology -- INDOCRYPT 2002:
               Third International Cryptology Conference
               in India, Hyderabad, December 2002",
  series = "LNCS",
  volume = 2551,
  publisher = "Springer",
  year = 2002
)