Compiler generation from relational semantics.- Correctness of code generation from a two-level meta-language.- A general approach to the optimization...
History of Cryptography.- The Contribution of E.B. Fleissner and A. Figl for Today's Cryptography.- On the history of cryptography during WW2, and pos...
