malware – How to sanitize the Capitol after the physical breach?

On January, 6, 2021 we’ve seen a number of people storming the Capitol in Washington D.C.

As they were there inside for 1,5 hours with no supervision, and as there was no prior checking of who they are, it is possible that some of them could have come with an intention to organize an attack on the digital infrastructure of the building: planting mics, installing malware on the unlocked PCs (or even locked, as they were physically in their hands), and so on.

What is the right sequence of actions (especially given the potential state actor threat — this is not just a private house, this is the home of the U.S. Congress and government) to assure back the trust in the infrastructure of the Capitol?