| Re: [pok-devel] Propose verifying the POK |
[ Thread Index |
Date Index
| More lists.tuxfamily.org/pok-devel Archives
]
- To: pok-devel@xxxxxxxxxxxxxxxxxxx
- Subject: Re: [pok-devel] Propose verifying the POK
- From: Julien Delange <julien@xxxxxxxxx>
- Date: Wed, 6 Feb 2013 04:05:44 -0500
- Cc: Zhao.Yongwang@xxxxxxx
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:x-received:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type :content-transfer-encoding; bh=SWO2MTaEQJJ7vO2HFc1bk8y5wC+e2cUFWlzR36XiGaE=; b=QjDZleu/U5bmSCNSA49lx834OxDaR7N2Y+t2BVc+Uh0hd0Ho5N5cY3t7aNj2gsRCXD dMYokVkP0Vd3aZE0dWOH1cGETcoWWWc2n4TXJKA/xtjaoEim82DcfzPzwJ9uNnpuY4UY iGymN59Cr4GzbGU6m5oJRfwknUosaFd4nsRMMrqo7ATvAh9bLUNocI2tgJ8Kfe9zU0y9 YjcYgck52hfhOk2cgc1bhffNp5oP8kT9RCrHLd+9HiURbG9uWEpsNwJuH4HfnqCccuhL pCP90gmPff6WCt1BHYSeURe+22dmu2CYvDwVx9/bGiExkg3hBq9bIunJxNh/hPTe2YVU 6mJg==
On Wed, Feb 6, 2013 at 3:57 AM, Jérôme Hugues <Jerome.HUGUES@xxxxxxxx> wrote:
> I remember Julien Delange and Laurent Lec did a paper presenting the architecture.
> Also, PhD manuscript by Julien has some details, but it is written in French
That is correct, the paper can be found here :
http://julien.gunnm.org/data/publications/article-dl11-osadl11.pdf
Also, the documentation (and the doxygen files and diagrams) can be
useful in that context.
On the other hand, while making the implementation, we do not document
that much. If the verification efforts can bring more documentation
materials and add it to the main branch of sources, that would be
great.
Glad to see new potential work towards POK, hope you will like it !