Michael Reiter Contact: reiter@cs.unc.edu Projects A Science of Timing Channels in Modern Cloud Environments Redundancy for Network Intrusion Prevention Systems (NIPS)