How Trail of Bits helps verify the integrity of your Signal chats

What happened
Signal recently launched Automatic Key Verification, a feature that helps validate that your chats are secure without requiring direct safety number comparison. Trail of Bits built and operates one of the three auditors that make this system trustworthy.
Summary assembled by rule from the sources below