Developers: Beware of Timing Side-Channels | IEEE Journals & Magazine | IEEE Xplore