%0 Conference Proceedings
%T Knowledge Extraction for Cryptographic Algorithm Validation Test Vectors by Means of Combinatorial Coverage Measurement
%+ SBA Research
%+ National Institute of Standards and Technology [Gaithersburg] (NIST)
%A Simos, Dimitris, E.
%A Garn, Bernhard
%A Kampel, Ludwig
%A Kuhn, D., Richard
%A Kacker, Raghu, N.
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 3rd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE)
%C Canterbury, United Kingdom
%Y Andreas Holzinger
%Y Peter Kieseberg
%Y A Min Tjoa
%Y Edgar Weippl
%I Springer International Publishing
%3 Machine Learning and Knowledge Extraction
%V LNCS-11713
%P 195-208
%8 2019-08-26
%D 2019
%R 10.1007/978-3-030-29726-8_13
%K Combinatorial measurement
%K Cryptographic applications
%K Data analysis
%K Knowledge extraction
%Z Computer Science [cs]Conference papers
%X We present a combinatorial coverage measurement analysis for test vectors provided by the NIST Cryptographic Algorithm Validation Program (CAVP), and in particular for test vectors targeting the AES block ciphers for different key sizes and cryptographic modes of operation. These test vectors are measured and analyzed using a combinatorial approach, which was made feasible via developing the necessary input models. The extracted model from the test data in combination with combinatorial coverage measurements allows to extract information about the structure of the test vectors. Our analysis shows that some test sets do not achieve full combinatorial coverage. It is further discussed, how this retrieved knowledge could be used as a means of test quality analysis, by incorporating residual risk estimation techniques based on combinatorial methods, in order to assist the overall validation testing procedure.
%G English
%Z TC 5
%Z TC 12
%Z WG 8.4
%Z WG 8.9
%Z WG 12.9
%2 https://inria.hal.science/hal-02520031/document
%2 https://inria.hal.science/hal-02520031/file/485369_1_En_13_Chapter.pdf
%L hal-02520031
%U https://inria.hal.science/hal-02520031
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC5
%~ IFIP-WG
%~ IFIP-TC12
%~ IFIP-WG8-4
%~ IFIP-WG8-9
%~ IFIP-CD-MAKE
%~ IFIP-WG12-9
%~ IFIP-LNCS-11713