guile-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Verifying Toolchain Semantics


From: William ML Leslie
Subject: Re: Verifying Toolchain Semantics
Date: Fri, 3 Oct 2014 17:15:56 +1000

On 3 October 2014 16:23, Mark H Weaver <address@hidden> wrote:
Instead, he insists to distribute them in an opaque
format that can only be interpreted by a small handful of very complex
programs with a large attack surface.

​Oh, interesting point.  Maybe we should define PDF as an abstract semantics that we can convert into a wide range of equivalent document layout languages?  If the attacker can't tell exactly what xsl-fo or dsssl the tool will output, or what software you're using to render the result, it will magically make it more difficult to attack!​

--
William Leslie

Notice:
Likely much of this email is, by the nature of copyright, covered under copyright law.  You absolutely MAY reproduce any part of it in accordance with the copyright law of the nation you are reading this in.  Any attempt to DENY YOU THOSE RIGHTS would be illegal without prior contractual agreement.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]