After installing Bitdefender Total Security 2013, I'm getting repeated blue screens.
I did search the forums for a solution, but rather than resurrect an old thread, I decided to create a new one.
Also, it looks like the issue was NOT "fixed in Bitdefender 2013", as this thread suggests.
I am uploading the dumps and support bundle now, and will send a PM as soon as the upload is done.