From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 9D22F7FB5F for ; Fri, 23 Oct 2015 19:45:29 +0200 (CEST) IronPort-PHdr: 9a23:F/Ojkx8Prq/t5f9uRHKM819IXTAuvvDOBiVQ1KB92+0cTK2v8tzYMVDF4r011RmSDdids6wP0rOK+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuStOU15r8jrnus7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cYk7sb+sVBSaT3ebgjBfwdVWx+cjN92Mq+lAfKS0Og4WcbTG4WkwZTS1zE8h7SX5r8v239rOUriweAOsijbr0yXzm+7+9CRBbtwAIGMzo06imDicF2iq9HoButrhl6worQbZu9O/93f6ebdtQfEzkSFv1NXjBMV9vvJ7AECPAMaKMB99Hw Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=kennethadammiller@gmail.com; spf=Pass smtp.mailfrom=kennethadammiller@gmail.com; spf=None smtp.helo=postmaster@mail-yk0-f172.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of kennethadammiller@gmail.com) identity=pra; client-ip=209.85.160.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="kennethadammiller@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of kennethadammiller@gmail.com designates 209.85.160.172 as permitted sender) identity=mailfrom; client-ip=209.85.160.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="kennethadammiller@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-yk0-f172.google.com) identity=helo; client-ip=209.85.160.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="postmaster@mail-yk0-f172.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CXAAA+cSpWm6ygVdFegmmBIW8GrRiQFngBDYFZI4V6AoE3BzgUAQEBAQEBAQEQAQEBAQEGCwsJIS6CK4IHAQEBAgEBEhEdARsMCwYBAwELBgULAwoqAgIhAQERAQUBHAYTCBqHeAEDCggNpVSBMT4xi0mBbIJ5iEMKGScNVoQJAQEBAQEFAQEBAQEBARYBBQ6GaoN3gQaCUII5BAeCaYFFBZJdg06FGYYQgXWUWYYBEiOBFxEOAQGCRiOBeCI0AQEBAYY/AQEB X-IPAS-Result: A0CXAAA+cSpWm6ygVdFegmmBIW8GrRiQFngBDYFZI4V6AoE3BzgUAQEBAQEBAQEQAQEBAQEGCwsJIS6CK4IHAQEBAgEBEhEdARsMCwYBAwELBgULAwoqAgIhAQERAQUBHAYTCBqHeAEDCggNpVSBMT4xi0mBbIJ5iEMKGScNVoQJAQEBAQEFAQEBAQEBARYBBQ6GaoN3gQaCUII5BAeCaYFFBZJdg06FGYYQgXWUWYYBEiOBFxEOAQGCRiOBeCI0AQEBAYY/AQEB X-IronPort-AV: E=Sophos;i="5.20,187,1444687200"; d="scan'208";a="151584025" Received: from mail-yk0-f172.google.com ([209.85.160.172]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 23 Oct 2015 19:45:28 +0200 Received: by ykdr3 with SMTP id r3so127634851ykd.1 for ; Fri, 23 Oct 2015 10:45:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=zYNNIsdHXwnAnAXO6Od2Ev5VUyXgtUODmsnf4gxhPcE=; b=ufHz3fb+AaWBTaIgIqwa2aNmAGjRXgzR/jGcJPLhto2QCUlaaAYZg0a9XUrCVgFrBm Qwh9qBNEi07CX2dqhgyjCSwNk7pxv2PTEOZDVOs7JJpuce/5XUmM5iLg7YQF7MpKZfqX 2brEzFLTyuxgaWtmHqh/8TryZC6jONnXA1vlsasr+yMIvdckCdKjJWburRtVvkLq7ruo 3cqb9cw379cm8QBWMcie5JUnn3VdxF5epbStgN0sOmYQNSuHjj7EK9uEBTfPCgNIvA5P 84+DtRrx/i5+vB0hvJbH/7eAh2oiE33uL6YbvK/qU+vo68LAKho4aiCjykfEqKlwnooJ NnFw== MIME-Version: 1.0 X-Received: by 10.13.248.66 with SMTP id i63mr4410296ywf.272.1445622327605; Fri, 23 Oct 2015 10:45:27 -0700 (PDT) Received: by 10.37.65.143 with HTTP; Fri, 23 Oct 2015 10:45:27 -0700 (PDT) In-Reply-To: References: Date: Fri, 23 Oct 2015 13:45:27 -0400 Message-ID: From: Kenneth Adam Miller To: Ivan Gotovchits Cc: Shuai Wang , caml users Content-Type: multipart/alternative; boundary=94eb2c07ee985107fc0522c92d51 Subject: Re: [Caml-list] [ANN] Uroboros 0.1 --94eb2c07ee985107fc0522c92d51 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable I agree. I immediately saw this and thought the same things. Rewriting binaries is going to be retarded hard. We should rely on one another, and discussion will be critical when it comes to addressing more formal aspects of it, like enforcement computability. On Fri, Oct 23, 2015 at 1:30 PM, Ivan Gotovchits wrote: > Hi Shuai, > > Nice work! But I'm curious, why didn't you use [bap][1] as a disassembler? > > Do you know, that we have a low-level interface to disassembling, like > [linear_sweep][2] or even > lower [Disasm_expert.Basic][3] interface, that can disassemble on > instruction level granularity. > > It will be very interesting, if we can unite our efforts. > > Best wishes, > Ivan Gotovchits > > [1]: https://github.com/BinaryAnalysisPlatform/bap > [2]: > http://binaryanalysisplatform.github.io/bap/api/master/Bap.Std.html#VALli= near_sweep > [3]: > http://binaryanalysisplatform.github.io/bap/api/master/Bap.Std.Disasm_exp= ert.Basic.html > > > > > On Fri, Oct 23, 2015 at 1:05 PM, Shuai Wang > wrote: > >> Dear List, >> >> I=E2=80=99m glad to announce the first release of Uroboros: an infrastr= ucture >> for reassembleable disassembling and transformation. >> >> You can find the code here: https://github.com/s3team/uroboros >> You can find our research paper which describes the core technique >> implemented in Uroboros here: >> >> https://www.usenix.org/system/files/conference/usenixsecurity15/sec15-pa= per-wang-shuai.pdf >> >> We will provide a project home page, as well as more detailed documents >> in the near future. Issues and pull requests welcomed. >> >> Happy hacking! >> >> Sincerely, >> Shuai >> > > --94eb2c07ee985107fc0522c92d51 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
I agree. I immediately saw this and thought the same thing= s.

Rewriting binaries is going to be retarded hard. We s= hould rely on one another, and discussion will be critical when it comes to= addressing more formal aspects of it, like enforcement computability.=C2= =A0

On= Fri, Oct 23, 2015 at 1:30 PM, Ivan Gotovchits <ivg@ieee.org> wro= te:
Hi Shuai,

Nice work! But I'm curious, why didn't you use [bap][1] as= a disassembler?=C2=A0

Do you know, that we have a= low-level interface to disassembling, like [linear_sweep][2] or even
=
lower [Disasm_expert.Basic][3] interface, that can disassemble on inst= ruction level granularity.

It will be very interes= ting, if we can unite our efforts.


On Fri, Oct 23, 2015 at 1:05 PM, S= huai Wang <wangshuai901@gmail.com> wrote:
Dear List,

I=E2=80=99m glad to=C2= =A0announce=C2=A0the first release of Uroboros: =C2=A0an infrastructure for reassembleable disassembling and transformation.

You can find the code here:=C2=A0https://github.com/s3team/= uroboros=C2=A0
You can= find our research paper which describes the core technique implemented in = Uroboros here:=C2=A0

=
We will provide a project home = page, as well as more detailed documents in the near future. =C2=A0Issues and pull requests welcomed.

Happy hacking!

=
Sincerely,
Shuai


--94eb2c07ee985107fc0522c92d51--