John Andrew Clark  Home/Search
Context
Related
| cs.york.ac.uk/ftpdir...YCST200207.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.york.ac.uk/ftpdir/reports/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Cryptology is a thriving research area of great practical importance. It is a fundamental building block of communications security. Metaheuristic optimisation techniques such as simulated annealing and genetic algorithms have found successful application in a huge number of fields. However, their application to leading edge industrial-strength cryptology has been slight. The power of metaheuristic search is, however, greatly under-estimated. The research reported here shows how a range of... (Update)
Active bibliography (related documents): More All
0.5: Evaluating the TLS Family of Protocols with Weakest Precondition.. - Childs (2000) (Correct)
0.5: On the Security of PKCS 11 - University (Correct)
0.5: Towards Quantum Template Matching - Daniel Curtis And (Correct)
Similar documents based on text: More All
0.2: Reformulating Software Engineering as a Search Problem - Clarke, Dolado, Harman.. (Correct)
0.1: Search-Based Software Engineering - Harman, Jones (2001) (Correct)
0.1: The First Official Crypto-World Rankings - Martin, Rijndael (Correct)
BibTeX entry: (Update)
@misc{ clark-metaheuristic,
author = "John Andrew Clark",
title = "Metaheuristic Search as a Cryptological Tool",
url = "citeseer.ist.psu.edu/clark02metaheuristic.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1051 Optimization and Machine Learning (context) - Goldberg, in - 1989
411 How to Prove Yourself: Practical Solutions to Identification.. - Fiat, Shamir - 1986
210 A Fast Quantum Mechanical Algorithm for Database Search - Grover - 1996
155 Differential Cryptanalysis of DES-like Cryptosystems - Biham, Shamir - 1990
135 the Importance of Checking Cryptographic Protocols for Fault.. - Boneh, DeMillo et al. - 1997
125 Greedy Randomized Adaptive Search Procedures - Feo, Resende - 1995
116 Simulating Physics with Computers - Feynman - 1982
92 Experiments in Theorem Proving and Model Checking for Protoc.. - Havelund, Shankar - 1996
51 Exhaustive Cryptanalysis of the NBS Data Encryption Standard (context) - Diffie, Hellman - 1977
45 A Spectral Characterization of Correlation-Immune Combining .. (context) - Guo-Zeng, Massey - 1988
45 Digital Systems Research Center (context) - Burrows, Abadi et al. - 1989
44 On correlation-immune functions (context) - Camion, Carlet et al. - 1991
26 Some Experiments with Simulated Annealing for Colouring Grap.. (context) - Chams, Hertz et al. - 1987
18 Highly Nonlinear Balanced Boolean functions with a Good Corr.. (context) - Filiol, Fontaine - 1998
18 Links Between Differential and Linear Cryptanalysis - Chabaud, Vaudenay - 1995
17 Linear structures in Block Ciphers (context) - Evertse - 1987
12 Information Processing Letters (context) - Clark, Jacob et al. - 1995
10 volume 561 of Lecture Notes in Computer Science (context) - Ding, Xiao et al. - 1991
10 the Coset Weight Divisibility and Nonlinearity of Resilient .. (context) - Carlet - 2001
10 Partial Belief and Probabilistic Reasoning in the Analysis o.. (context) - Campbell, Safavi-Naini et al. - 1992
9 Deciding Cryptographic Protocol Adequacy with HOL: The Imple.. (context) - Brackin - 1996
9 Attacking Authentication Protocols - Clark, Jacob - 1996
5 Linear Statistical Weakness of Alleged RC4 Keystream Generat.. (context) - Golic
4 the Security of the Permuted Kernel Identification Scheme (context) - Baritaud, Campana et al. - 1992
3 Information and Software Technology (context) - Clark, Jacob et al. - 2001
2 Highly Structured Searches with Quantum Computing (context) - Hogg - 1998
2 Several Exhaustive Key Search Machines and DES (context) - Desmedt, Hoornaert et al. - 1986
2 Empirical Tests of the Automatic Authentication Protocol Ana.. (context) - Brackin - 1999
2 Efficient Methods for Generating MARS-like S-Boxes (context) - Burnett, Carter et al. - 2000
2 Two Stage Optimisation in the Design of Boolean Functions (context) - Clark, Jacob - 2000
1 The cryptanalysis of a three rotor machine using a genetic a.. - Bagnall, McKeown et al. - 1997
1 Balanced Boolean functions Satisfying PC (context) - Honda, Satoh et al. - 1997
1 and the Universal Computer (context) - Deutsch, the - 1985
1 Edit Distance Correlation Attack on the Alternating Step Gen.. (context) - Golic, Menicocci - 1997
1 A Highly Effective Logic for Automatically Analysing Cryptog.. (context) - Brackin - 1999
1 MARS - A Candidate Cipher for AES (context) - Corporation - 2000
1 Construction of Bent Functions and Balanced Functions with H.. (context) - Dobbertin - 1994
1 Thermostatistical Persistency: A Powerful Improving Concept .. (context) - Chardaire, Lutton et al. - 1995
1 Fast Low Order Approximation of Cryptographic Functions (context) - Golic - 1996
1 al Science Research Council. E-Science Web Site (context) - Physic - 2001
1 A Parallel Genetic Algorithm for Cryptanalysis of the Polyal.. (context) - Clark, Dawson - 1998
1 Advanced Topics in Computer Science (context) - Corne, Dorigo et al. - 1999
1 Optimisation Heuristics for the Automated Cryptanalysis Clas.. (context) - Clark, Dawson - 1998
1 Knowledge Complexity of Identification Proof Schemes (context) - Goldwasser, Micali et al. - 1985
1 the Norm and Covering Radius of First-Order Reed-Muller Code.. (context) - Hou - 1997
1 Optimisation Heuristics for Cryptology (context) - Clark - 1988
1 Brute Force on Cryptographic Keys (context) - Clayton - 2001
1 The Covering Radius (context) - Hou
1 Electronic Frontier Foundation DES Cracker Web Site (context) - Foundation - 1998
1 Metheuristics in Combinatorial Optimization: Overview and Co.. (context) - Blum, Roli - 2001
1 A Survey on the Handel-C Language (context) - Gaffar - 2001
Documents on the same site (http://www.cs.york.ac.uk/ftpdir/reports/): More
TAM Technical Notes 1 and 2 - Scholefield (1993) (Correct)
Debugging Distributed Ada Programs - Briggs, Jamieson, Randall, Wand (1994) (Correct)
Structuring Architectural Topologies for Real-Time.. - Nicholson, Burns (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC