Lamport Clocks and Certificate Pinning

If you are not familiar with Lamport Clocks you can read Wikipedia and GitHub - alexyer/lamport_clock: Lamport Clock C++ implementation using atomic operations

  1. I’ve been using Lamport Clocks for a while but I was wondering if they could be added to Qubes.
  2. I would like Certificate Pinning for the individual VMs firewalls as a Qubes option.

Maybe everybody is safe here but I get creamed on the first update sometime by a remote install tool. Yes I have 100% HCL, I also changed the password of the IME, disabled HypeThread, Update the BIOS. It is not the end of the world because I have other ways to fight back but it is very annoying.