Hi Brian,
FYI: The OCaml and Haskell folks are working on a proposal that might be of
interest to the Portage team.
Thanks,
Vlad
P.S. Robin and I exchanged a few emails, but there doesn't seem to be much
interest from his side.
--
vladimir.v.d...@gmail.com
PGP fingerprint = ACCF 9DCA 73B9 862F
On Sun, 15 Mar 2015 18:27:06 -0400
Vladimir Diaz wrote:
> On Sat, Mar 14, 2015 at 7:18 PM, Alec Warner
> wrote:
>
> > On Tue, Mar 10, 2015 at 2:15 PM, Vladimir Diaz
> > wrote:
> >
> >> Hi,
> >>
> >> I am a developer in the Secure Systems Lab at NYU. Our lab has
> >> collaborated with popular
On Sat, Mar 14, 2015 at 7:18 PM, Alec Warner wrote:
> On Tue, Mar 10, 2015 at 2:15 PM, Vladimir Diaz
> wrote:
>
>> Hi,
>>
>> I am a developer in the Secure Systems Lab at NYU. Our lab has
>> collaborated with popular software update systems in the open-source
>> community, including APT, yum, a
On Tue, Mar 10, 2015 at 2:15 PM, Vladimir Diaz
wrote:
> Hi,
>
> I am a developer in the Secure Systems Lab at NYU. Our lab has
> collaborated with popular software update systems in the open-source
> community, including APT, yum, and YaST, to address security problems.
> More recently, we have
On 03/10/2015 02:15 PM, Vladimir Diaz wrote:
> Would a pull request be of interest? Is there anything you'd like us to
> say more about?
Maybe so, but I need to familiarize myself more with your framework.
Thanks for bringing it to our attention!
--
Thanks,
Zac
On 03/10/15 17:15, Vladimir Diaz wrote:
> Hi,
>
> I am a developer in the Secure Systems Lab at NYU. Our lab has
> collaborated with popular software update systems in the open-source
> community, including APT, yum, and YaST, to address security problems.
> More recently, we have been working on
Hi,
I am a developer in the Secure Systems Lab at NYU. Our lab has
collaborated with popular software update systems in the open-source
community, including APT, yum, and YaST, to address security problems.
More recently, we have been working on a flexible security framework
co-developed with the