Subscribe to our mailing list and get the latest CITRIS news, research updates and event announcements delivered straight to your inbox.

TRUST Security Seminar: Electronic Voting Security in India

India uses paperless electronic voting machines (EVMs) nationwide, and the Election Commission of India, the country’s highest election authority, has long maintained that the machines are “perfect,” “infallible,” and “fully tamper-proof.”

New Media RoundTable: Student Research Panel, Caitlin Marshall and William Brown III

Caitlin Marshall’s larger research focuses on voice prosthesis and synthesis, minority discourse, and the sound of civics. Each year in America ten to twelve thousand individuals undergo cancer treatment necessitating laryngectomy, the surgical removal of the larynx. With their sound sources removed, laryngectomees are rendered mute. To counter what many patients describe as the disability of silence, nearly all opt for prosthesis and speech therapy.

Research Exchange: Formal Methods for Dependable Computing: From Models, through Software, to Circuits

Computing has become ubiquitous and indispensable: it is embedded all around us, in cell phones, automobiles, medical devices, and much more. This ubiquity brings with it a growing challenge to ensure that our computing infrastructure is also dependable and secure. We need to develop and maintain complex software systems on top of increasingly unreliable computing substrates under stringent resource constraints such as energy usage.