Re: [Qemu-devel] QEMU testing methodology & results

2011-04-27 Thread Roberto Paleari
Hi Stefan, Not yet. I have not received any reply besides Blue Swirl's message.. Roberto On Wed, Apr 27, 2011 at 4:46 PM, Stefan Hajnoczi wrote: > Hi Roberto, > Any update?  Did a qemu.git committer contact you in order to handle > the issues you found?

Re: [Qemu-devel] QEMU testing methodology & results

2011-04-10 Thread Roberto Paleari
papers already disclose some details that could allow "black hats" to re-implement the same approaches and eventualy find emulation defects. However, we prefered to contact QEMU developers before disclosing the details of the defects we found. Thank you! Roberto -- Roberto Paleari http

[Qemu-devel] QEMU testing methodology & results

2011-04-08 Thread Roberto Paleari
) [2] Testing system virtual machines (http://roberto.greyhats.it/pubs/issta10-kemufuzzer.pdf) [3] A fistful of red-pills: How to automatically generate procedures to detect CPU emulators (http://roberto.greyhats.it/pubs/woot09.pdf) -- Roberto Paleari http://roberto.greyhats.it/ PGP Key