{"shas":[["f3597b9e2e6f18754e8590bbf2f916bb44a29ef6","9d3057641f46721518ec932c7d2232fd8a1f08fc@Swansea.ac.uk","Confirming values for vdw_2^pd(4,13).","Oliver Kullmann"],["1b7a0005c9ae6cd93343d07672aada3125ab8341","9d3057641f46721518ec932c7d2232fd8a1f08fc@Swansea.ac.uk","Further updates regarding update of CLisp.\n\nRemoved special target for 64-bit building.","Oliver Kullmann"],["cb6eaf940dab621e727ff440a965680153d59246","9d3057641f46721518ec932c7d2232fd8a1f08fc@Swansea.ac.uk","Completed update to CLisp 2.49; Maxima can use now (again) CLisp and Ecl.\n\nThough CLisp is more for checking from time to time, since it's very\nslow.","Oliver Kullmann"],["a92abf59bf1d5027b356441133f3559d2a1e5837","ce19eefaf0bd245a6d4ed1520f54f0ac29560cf6@swan.ac.uk","New module for the implementation of the Data Encryption Standard cryptosystem.","Matthew Gwynne"],["077192acd25dc0b46616e4ac83427e595818c2e6","ce19eefaf0bd245a6d4ed1520f54f0ac29560cf6@swan.ac.uk","*** Initial version 0.0.1 (Lisp/CryptoSystems/DataEncryptionStandard) ***","Matthew Gwynne"],["9d082d157a2c7f154bc691a4db4e0c01e3d73049","ce19eefaf0bd245a6d4ed1520f54f0ac29560cf6@swan.ac.uk","New module for the cryptanalysis of the Data Encryption Standard.","Matthew Gwynne"],["0560524255f20cf599764265945f666bffb23d24","ce19eefaf0bd245a6d4ed1520f54f0ac29560cf6@swan.ac.uk","*** Initial version 0.0.1 (Lisp/CryptoSystems/DataEncryptionStandard) ***","Matthew Gwynne"],["0fce900516e2d1a0e9a69baaf194982494c27688","ce19eefaf0bd245a6d4ed1520f54f0ac29560cf6@swan.ac.uk","Added link from DES cryptosystems to cryptanalysis.","Matthew Gwynne"],["b608b976d36ba87f7227eb953a1880cdd796f6cc","ce19eefaf0bd245a6d4ed1520f54f0ac29560cf6@swan.ac.uk","Added todos on writing tools for generating AES optimisation problems.","Matthew Gwynne"],["c7864353daacf84fa3f8f5fbb6f0c6b0c18367b8","ce19eefaf0bd245a6d4ed1520f54f0ac29560cf6@swan.ac.uk","Added data on experiment on 16-bit AES for the core round box translation.","Matthew Gwynne"],["cd86d795ed8d4ad77bcb7e31a70c824d8fa8bd11","ce19eefaf0bd245a6d4ed1520f54f0ac29560cf6@swan.ac.uk","Added calculation on the size of canonical translation of 16 round DES.\n\nAlso minor editorial corrections:\n\n- Incorrect creation author.\n- Incorrect filename.\n- Incorrect todo header.","Matthew Gwynne"],["38147279d1e69b06728f7cb63621ed8f0630e7f7","ce19eefaf0bd245a6d4ed1520f54f0ac29560cf6@swan.ac.uk","Correction: typos (DIMCAS -> DIMACS).","Matthew Gwynne"],["abc1e42231a25dcffebff14d42f892d81b1bc402","ce19eefaf0bd245a6d4ed1520f54f0ac29560cf6@swan.ac.uk","Added initial CNF to weighted MaxSAT application for the minimum ones problem.","Matthew Gwynne"],["aed572508b9e4b5eb1d190822313702af8ec28cc","ce19eefaf0bd245a6d4ed1520f54f0ac29560cf6@swan.ac.uk","Added data on three round 32-bit AES experiments.","Matthew Gwynne"],["729e865ae0683a2bc153e07b4795f9dc1be30eda","ce19eefaf0bd245a6d4ed1520f54f0ac29560cf6@swan.ac.uk","Added application tests for MinOnes2WeightedMaxSAT application.","Matthew Gwynne"],["b1a9b72694a207d706e9edc152ad97807c6343b5","ce19eefaf0bd245a6d4ed1520f54f0ac29560cf6@swan.ac.uk","Updated definitions for 16-bit and 32-bit AES experiments.","Matthew Gwynne"],["e8603c3712c4d8a2a6b3a3e85f6c211bfc7ff1b1","ce19eefaf0bd245a6d4ed1520f54f0ac29560cf6@swan.ac.uk","Editorial correction.\n\nSpelling mistake and spacing.","Matthew Gwynne"],["14c861f4ed98838268de92178cec18a92b075a0c","ce19eefaf0bd245a6d4ed1520f54f0ac29560cf6@swan.ac.uk","Added pseudo-boolean translation for the minimum ones problem at the C++ level.","Matthew Gwynne"],["e9d796c46927d72fc63414b64dee3cb0f73c28ea","ce19eefaf0bd245a6d4ed1520f54f0ac29560cf6@swan.ac.uk","Added details on how to generate AES pseudo-boolean and MaxSAT benchmarks.","Matthew Gwynne"],["1ce69904b2b0b63efe5e3975d9403420a2fb209d","ce19eefaf0bd245a6d4ed1520f54f0ac29560cf6@swan.ac.uk","Added function to read DIMACS files at the Maxima level.","Matthew Gwynne"]],"repo":"MGwynne/oklibrary","actor":"MGwynne","ref":"refs/heads/aes","size":22,"head":"c568becd51168ccac973f6f18f1f88ff2f00784e","actor_gravatar":"c0a3eef25e444416f149c7c51906f072","push_id":27012509}