BSF

group_project

Visible to the public NSF-BSF: SaTC: CORE: Small: Blockchain Fairness

Blockchains provide compelling security properties that enable powerful systems to be constructed without reliance on trusted third parties. Their rise has created successful, multi-billion dollar systems and has had a transformative impact on venture funding and the financial industry. Blockchains as currently designed, though, fail to enforce fairness for their users, meaning equal opportunities for fast transaction processing. The project investigators will seek to address the pervasive fairness deficiencies in blockchain systems.

group_project

Visible to the public SaTC-BSF: CORE: Small: Collaborative: Making Blockchains Scale Privately and Reliably

This research explores ways to simultaneously improve both the scalability and privacy of blockchain technologies. A blockchain is a massively distributed, append-only log of transactions that is cryptographically protected from tampering. Thanks to their capacity towards facilitating fast and inexpensive transactions across the globe and their powerful scripting-language support for complex financial instruments, blockchains have already proven to be a highly disruptive force in the finance and e-commerce sectors.

group_project

Visible to the public NSFSaTC-BSF: TWC: Small: Enabling Secure and Private Cloud Computing using Coresets

By collecting sensor data from individuals in a user community, e.g., using their smartphones, it is possible to learn the behavior of communities, for example locations, activities, and events. Similarly, using data from personal health monitoring sensors, it is possible to learn about the health risks and responses to treatments for population groups. But is it possible to use the valuable information for the greater good without disclosing information about the individuals contributing the data? What about protecting this information from improper access?

group_project

Visible to the public SaTC-BSF: CORE: Small: Collaborative: Making Blockchains Scale Privately and Reliably

This research explores ways to simultaneously improve both the scalability and privacy of blockchain technologies. A blockchain is a massively distributed, append-only log of transactions that is cryptographically protected from tampering. Thanks to their capacity towards facilitating fast and inexpensive transactions across the globe and their powerful scripting-language support for complex financial instruments, blockchains have already proven to be a highly disruptive force in the finance and e-commerce sectors.

group_project

Visible to the public NSFSaTC-BSF: TWC: Small: Horizons of Symmetric-Key Cryptography

Symmetric-key primitives are the lifeblood of practical cryptography, and are critical components of nearly any computer security system. The cryptographic community has developed a rich body of work on theoretically sound symmetric objects, but they are many orders of magnitude too slow for realistic usage. Thus, practitioners use fast primitives that have been designed to withstand known attacks, but which lack rigorous security guarantees based on natural mathematical problems.

group_project

Visible to the public NSF SaTC-BSF: CORE: Small: The Utilitarian Implications of Privacy Protections

In recent years the extent of online tracking has come to light, leading to calls for stronger privacy-protecting regulation and technologies. Privacy advocates argue that the lack of privacy is harmful at individual and societal levels; others argue that privacy protections bring about less information sharing, which leads to a decrease in overall welfare (e.g., a decrease in the efficiency of markets).

group_project

Visible to the public SaTC-BSF: TWC: Small: Using Individual Differences to Personalize Security Mitigations

Over the past decade, people have realized that failure to account for human factors has resulted in many software security problems. Yet, when software does feature user-centric design, it takes into account average user behavior rather than catering to the individual. Thus, systems designers have gone from designing for security experts to now appealing to the least common denominator.

group_project

Visible to the public SaTC-BSF: CORE: Small: Foundations of Lattice-based Cryptography

Over the last two decades, lattices have emerged as a powerful mathematical basis for cryptography. For one, Lattice-based Cryptography has resisted quantum attacks while conventional crypto systems succumbed to it in the mid-90s. Secondly, Lattice-based Cryptography has been instrumental in realizing new and exciting functionality which is beyond the reach of conventional cryptography.