Date: Tue, 21 Jun 2011 01:30:21 +0200 From: Mateusz Kocielski <m.kocielski@gmail.com> To: soc-status@freebsd.org Subject: Testing temporal properties with Temporally Enhanced Security Logic Assertions - week 4 Message-ID: <BANLkTinVVJpnGKV1AiNxc48tr=mvzeoQvQ@mail.gmail.com>
index | next in thread | raw e-mail
Hello, Last week my work was mostly focused (but not only) on bits outside the TESLA framework. My goal was to prepare background for testing: * designing fuzzers which will be used in the test phrases * writing skeleton of fuzzers * reading the MAC framework sources * writing more basic examples for userland (I'd like to use those examples in quick write-up on TESLA usage) * fixing general bugs Next week I planning to accomplish: * write quick write-up on basic usage of the TESLA (userland + examples) * testing MAC framework (kernel setup, tests, report, future directions) * extend fuzzing framework (consider integrating this work into stress2 suite) * setup capsicum environment and write schedule for testing it In case of any questions please catch me on IRC (I'm shm at freenode). Regards, Mateuszhome | help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?BANLkTinVVJpnGKV1AiNxc48tr=mvzeoQvQ>