Signatures (was: Reverse-Engineering Bytecode)

From: Thorsten Ohl (ohl@hep.tu-darmstadt.de)
Date: Fri Jun 09 2000 - 19:17:10 MET DST

  • Next message: Markus Mottl: "Re: polymorphic variants"

    Michael Donat <donat@intergate.bc.ca> writes:

    > I don't see a benefit in having an OCaml module encryption system.

    But a cryptographic O'Caml module _signature_ system could be useful
    for checking the integrity of applications. I always distribute my
    work as source, but it would be useful if there was a way to check
    that the sources have not been modified if someone sends in a bug
    report.

    Even better would be a fixed point condition that would allow to print
    a warning message: ``The sources have been modified, you can do
    anything you want, but don't blame me or the results.''

    Cheers,
    -Thorsten

    -- 
    Thorsten Ohl, Physics Department, TU Darmstadt -- ohl@hep.tu-darmstadt.de
    http://heplix.ikp.physik.tu-darmstadt.de/~ohl/ [<=== PGP public key here]
    



    This archive was generated by hypermail 2b29 : Fri Jun 09 2000 - 19:52:53 MET DST