Abstract:  With the ongoing, frequent disclosure of the existence and exploitation of security vulnerabilities, one might wonder: How can we can build software that is more secure? In an attempt to focus educational attention on this question, and gather empirical evidence at the same time, we developed the Build it, Break it, Fix it (BIBIFI) […]

Abstract:  At a time when computing is so much a part of all of our lives, has incredible job opportunities, and is so empowering, most students graduate high school without having had any introduction to computer science. A decade ago in the United States, the CSforALL movement was launched to broaden participation in computing to those traditionally underrepresented. This talk will […]

Abstract: Despite the provision of a $380M federal grant to enhance technology and improve security in the 2018 midterm elections, machine failures and computer malfunctions again plagued polling places (in GA, PA, NY, IN, TX, and MA), resulting in late openings, long lines, and turned-away voters. Poor ballot layouts resurfaced in Florida, resulting in nearly […]

Abstract: Quantum computing promises exponential speedups for an important class of problems. While quantum computers with few dozens of qubits have been demonstrated, these machines suffer from high rate of gate errors. Such machines are operated in the Noisy Intermediate Scale Quantum (NISQ) mode of computing where the output of the machine can be erroneous. […]

Abstract: Cryptocurrencies and blockchains are often heralded as the keys to a new era of financial transparency and fairness. Decentralized exchanges (DEXes), in particular, run directly on blockchains. They manage custody of traded assets, preventing theft by exchange operators, and provide a globally visible and accessible trading platform that seems egalitarian. Our research, though, has revealed that DEXes […]