Partial and Higher Order Differentials and . . .

Partial and Higher Order Differentials and . . . (1995)

by Lars R. Knudsen

@MISC{Knudsen95partialand,
    author = {Lars R. Knudsen},
    title = {Partial and Higher Order Differentials and . . . },
    year = {1995}
}

407	Differential Cryptanalysis of DES-like Cryptosystems - Biham, Shamir - 1990
293	Differential Cryptanalysis of the Data Encryption Standard. NewYork - Biham, Shamir - 1993
113	Differentially uniform mapping for cryptography - Nyberg - 1994
41	Higher order derivatives and differential cryptanalysis - Lai - 1994
39	Provable security against differential cryptanalysis - Nyberg, Knudsen - 1992
39	A Constraint Oriented Proof Methodology based on Modal Transition Systems - Larsen, Steffen, et al. - 1994
22	Results of an initial attempt to cryptanalyze the NBS data encryption standard. Information Systems Laboratory SEL - Hellman, Merkle, et al. - 1976
12	A Complete Deductive System for the µ-Calculus - Walukiewicz - 1995
11	A semantic theory for value-passing processes, late appraoch—Parts - Ingolfsdottir - 1995
8	A complete equational axiomatization for prefix iteration with silent steps - Aceto, Ingólfsdóttir - 1995
7	Synthesizing Distinguishing Formulae for Real Time Systems - Godskesen, Larsen - 1994
6	Type Inference of Turbo Pascal - Hougaard, Schwartzbach, et al. - 1995
4	Basin and Nils Klarlund. Hardware Verification using Monadic Second-Order Logic - David - 1995
4	From Timed Automata to Logic - Back - 1995
4	Thore Husfeldt, Peter Bro Miltersen, Theis Rauhe, and Søren Skyum. Dynamic Algorithms for the Dyck Languages - Frandsen - 1995
3	The method of formal coding - Schaumuller-Bichl - 1982