There has to my knowledge never been real audits of voting procedures. THey are checking it out. PA fulton county did an assessment of the voting. Mastriano and kellyeard senate districts. here is the assessment.
https://drive.google.com/file/d/1VnJFxN3NdKQmcj2-8FDWMET8i__YlH7F/view?usp=sharing
8 Computer Operating System (OS)
The Dominion Election Management System application runs on the Microsoft Windows Operating System (OS). The Fulton County machines had version 10 of the operating system installed.
As a security best practice the OS should be reduced to remove extraneous applications that are not needed for the operation of the voting system. This includes applications like MS Office stubs / Get Office, Calendar, Mail, News, Microsoft Solitaire Collection, Games, Xbox, Store, 3D Builder, Alarms and Clock, Calculator, Camera, Contact Support, Cortana, Skype, Get Started, Groove Music, Maps, MS Edge, Money, Movies & TV, OneNote, Phone Companion, People, Photos, Sports, Voice Recorder, Weather and any extra OEM hardware applications.
The Fulton County systems did not have these applications removed. The Democracy Suite was “certified” by the State of Pennsylvania with these applications and as such had to be installed with these extraneous applications.
8.1 Other Required Microsoft and Third-Party Products
The certification report list fifty-two (52) Microsoft and other third-party products required to run the election management system. All of the listed products had been installed as of the date of our examination.
Since this was not a technology forensic examination of the system, we did not go into the details of whether they were changed since installation or whether they were the correct versions as listed in the certification report.
The one major area of concern with installed software is that Dominion has installed the Microsoft SQL Server Data Tools (SSDT) on the server. This software is not part of the EAC certified configuration and makes the system certification invalid.
There is no valid reason for Microsoft SQL Server Data Tools (SSDT) to be installed on the EMS. This software toolbox allows any user with access to change and manipulate the EMS databases without logging (recording) to the Database, EMS or OS logfiles. Dominion has installed this toolbox on all installations of their software that we have inspected.