I thought that this was known. My understanding is that Bitlocker is fairly secure as long as you never link your key to your account. I don’t think it has been independently reviewed, though, and of course I’ve heard of theoretical TPM attacks and attacks if the machine is on or recently powered off. Of course, the best course of action for a secure laptop is probably Linux + fully encrypted LUKS, yadda yadda.