@Bibtex-file{Theory/csd.bib,
  title =        "Publications of the Correct System Design Group
                 (University of Oldenburg)",
  author =       "Correct System Design Group (University of
                 Oldenburg)",
  email =        "webmaster@csd.informatik.uni-oldenburg.de",
  supported =    "yes",
  abstract =     "This bibliography contains the publications of the
                 Correct System Design Group (University of Oldenburg)",
  keywords =     "cryptography, boolean functions",
}

.