Re: [Haskell-cafe] I've just heard of a neat security measure that when you compile the code it generates different object code...

2011-12-17 Thread Magnus Therning
On Sat, Dec 17, 2011 at 12:43:11PM +1300, Chris Wong wrote:
 On Sat, Dec 17, 2011 at 12:27 PM, KC kc1...@gmail.com wrote:
  ... with the same functionality.
 
  Thus, your program would be a moving target to hackers.
 
  Would this be challenging with ghc?
 
 Although it's possible, I doubt this would do anything. Most exploits
 are just programmer mistakes; changing the object code doesn't change
 the fact that there's a gaping security hole in your program. Plus, it
 would be harder to debug the compiler, since the mangling code would
 be non-deterministic by definition. So I doubt anyone would try to
 implement that.

I could help though if you want to write a virus in Haskell ;)

/M

-- 
Magnus Therning  OpenPGP: 0xAB4DFBA4 
email: mag...@therning.org   jabber: mag...@therning.org
twitter: magthe   http://therning.org/magnus

Most software today is very much like an Egyptian pyramid with
millions of bricks piled on top of each other, with no structural
integrity, but just done by brute force and thousands of slaves.
 -- Alan Kay


pgpIhry6Qw78h.pgp
Description: PGP signature
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe


Re: [Haskell-cafe] I've just heard of a neat security measure that when you compile the code it generates different object code...

2011-12-17 Thread Artyom Kazak
I wonder, if there is any example of actual Haskell program cracked /  
reverse engineered? GHC-generated code is already quite hard to understand…


___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe


[Haskell-cafe] I've just heard of a neat security measure that when you compile the code it generates different object code...

2011-12-16 Thread KC
... with the same functionality.

Thus, your program would be a moving target to hackers.

Would this be challenging with ghc?

-- 
--
Regards,
KC

___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe


Re: [Haskell-cafe] I've just heard of a neat security measure that when you compile the code it generates different object code...

2011-12-16 Thread Chris Wong
On Sat, Dec 17, 2011 at 12:27 PM, KC kc1...@gmail.com wrote:
 ... with the same functionality.

 Thus, your program would be a moving target to hackers.

 Would this be challenging with ghc?

Although it's possible, I doubt this would do anything. Most exploits
are just programmer mistakes; changing the object code doesn't change
the fact that there's a gaping security hole in your program. Plus, it
would be harder to debug the compiler, since the mangling code would
be non-deterministic by definition. So I doubt anyone would try to
implement that.

___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe