Dark Reading is part of the Informa Tech Division of Informa PLC

This site is operated by a business or businesses owned by Informa PLC and all copyright resides with them.Informa PLC's registered office is 5 Howick Place, London SW1P 1WG. Registered in England and Wales. Number 8860726.

Risk

Finding Bugs and Counting Votes

Fortify Software offers states free copies of its source code analysis tool to check e-voting systems, but some bugs could still slip by

5:00 PM -- Fortify Software announced yesterday that it is offering its Fortify Static Code Analysis (SCA) tool for free to each state to check the security of its electronic voting systems.

"We’re donating our products to states so they can find places where their machines’ software is vulnerable to attack,” said John M. Jack, Fortify’s CEO. "These coding mistakes open the door for a malicious voter or polling location volunteer to change your vote or even cast multiple votes; corrupting an election could be as easy as inserting a carefully programmed cartridge or a bogus ballot into the machine."

While the threats against e-voting machines are very real, they aren’t the only threats that can cause problems in an election. Simple programming errors that cause miscounts are of a concern, too, and I know of a first-hand account of such a problem: While voting here in Florida this week, one of my co-workers noticed that the counter on the e-voting machine didn't increase after he inserted his ballot. When he complained, the local supervisor said they’d investigate, so he waited to see what had happened. The local support staff opened the machine, counted the ballots, and found that the counts didn't match up. He was told to come back at 7:30 p.m. to request that the ballots be manually counted.

So what happens in other locations where voters may not have been so observant?

I sincerely hope that states will take Fortify up on its offer. It will be interesting to see which states decide not to. Based on how emotional voters can be (at least the ones I know), it would be in the state’s best interest to sign up, whether they use the software or not.

It is worth noting, though, that source code analysis products like Fortify’s SCA may work really well and find numerous vulnerabilities, but they are not foolproof. Why bring that up? Well, I live and work in a state that already had its machines audited by SCA (according to the press release), yet my co-worker still noticed the ballot-count problem.

– John H. Sawyer is a security geek on the IT Security Team at the University of Florida. He enjoys taking long war walks on the beach and riding pwnies. When he's not fighting flaming, malware-infested machines or performing autopsies on blitzed boxes, he can usually be found hanging with his family, bouncing a baby on one knee and balancing a laptop on the other. Special to Dark Reading

  • Fortify Software Inc.

    Comment  | 
    Print  | 
    More Insights
  • Comments
    Newest First  |  Oldest First  |  Threaded View
    News
    Inside the Ransomware Campaigns Targeting Exchange Servers
    Kelly Sheridan, Staff Editor, Dark Reading,  4/2/2021
    Commentary
    Beyond MITRE ATT&CK: The Case for a New Cyber Kill Chain
    Rik Turner, Principal Analyst, Infrastructure Solutions, Omdia,  3/30/2021
    Register for Dark Reading Newsletters
    White Papers
    Video
    Cartoon
    Current Issue
    2021 Top Enterprise IT Trends
    We've identified the key trends that are poised to impact the IT landscape in 2021. Find out why they're important and how they will affect you today!
    Flash Poll
    How Enterprises are Developing Secure Applications
    How Enterprises are Developing Secure Applications
    Recent breaches of third-party apps are driving many organizations to think harder about the security of their off-the-shelf software as they continue to move left in secure software development practices.
    Twitter Feed
    Dark Reading - Bug Report
    Bug Report
    Enterprise Vulnerabilities
    From DHS/US-CERT's National Vulnerability Database
    CVE-2021-3493
    PUBLISHED: 2021-04-17
    The overlayfs implementation in the linux kernel did not properly validate with respect to user namespaces the setting of file capabilities on files in an underlying file system. Due to the combination of unprivileged user namespaces along with a patch carried in the Ubuntu kernel to allow unprivile...
    CVE-2021-3492
    PUBLISHED: 2021-04-17
    Shiftfs, an out-of-tree stacking file system included in Ubuntu Linux kernels, did not properly handle faults occurring during copy_from_user() correctly. These could lead to either a double-free situation or memory not being freed at all. An attacker could use this to cause a denial of service (ker...
    CVE-2020-2509
    PUBLISHED: 2021-04-17
    A command injection vulnerability has been reported to affect QTS and QuTS hero. If exploited, this vulnerability allows attackers to execute arbitrary commands in a compromised application. We have already fixed this vulnerability in the following versions: QTS 4.5.2.1566 Build 20210202 and later Q...
    CVE-2020-36195
    PUBLISHED: 2021-04-17
    An SQL injection vulnerability has been reported to affect QNAP NAS running Multimedia Console or the Media Streaming add-on. If exploited, the vulnerability allows remote attackers to obtain application information. QNAP has already fixed this vulnerability in the following versions of Multimedia C...
    CVE-2021-29445
    PUBLISHED: 2021-04-16
    jose-node-esm-runtime is an npm package which provides a number of cryptographic functions. In versions prior to 3.11.4 the AES_CBC_HMAC_SHA2 Algorithm (A128CBC-HS256, A192CBC-HS384, A256CBC-HS512) decryption would always execute both HMAC tag verification and CBC decryption, if either failed `JWEDe...