1. Detecting Non-constant Time Code in Cryptography Libraries using a Static Information Flow Analysis Open Access Author: Mohammed, Adam Title: Detecting Non-constant Time Code in Cryptography Libraries using a Static Information Flow Analysis Graduate Program: Computer Science and Engineering Keywords: Information flowTiming ChannelPublic-key CryptographyStatic analysis File: Download mohammed_thesis.pdf Committee Members: Danfeng Zhang, Thesis Advisor/Co-Advisor