Nirvan Tyagi
YOU?
Author Swipe
View article: From Inquisitorial to Adversarial: Using Legal Theory to Redesign Online Reporting Systems
From Inquisitorial to Adversarial: Using Legal Theory to Redesign Online Reporting Systems Open
User reporting systems are central to addressing interpersonal conflicts and protecting users from harm in online spaces, particularly those with heightened privacy expectations. However, users often express frustration at their lack of in…
View article: Private Hierarchical Governance for Encrypted Messaging
Private Hierarchical Governance for Encrypted Messaging Open
The increasing harms caused by hate, harassment, and other forms of abuse\nonline have motivated major platforms to explore hierarchical governance. The\nidea is to allow communities to have designated members take on moderation and\nleade…
View article: Traceback for End-to-End Encrypted Messaging
Traceback for End-to-End Encrypted Messaging Open
Messaging systems are used to spread misinformation and other malicious content, often with dire consequences. End-to-end encryption improves privacy but hinders content-based moderation and, in particular, obfuscates the original source o…
View article: Stadium
Stadium Open
Private communication over the Internet remains a challenging problem. Even if messages are encrypted, it is hard to deliver them without revealing metadata about which pairs of users are communicating. Scalable anonymity systems, such as …
View article: Energy-Efficient Algorithms
Energy-Efficient Algorithms Open
We initiate the systematic study of the energy complexity of algorithms (in addition to time and space complexity) based on Landauer's Principle in physics, which gives a lower bound on the amount of energy a system must dissipate if it de…
View article: Toward an Energy Efficient Language and Compiler for (Partially)\n Reversible Algorithms
Toward an Energy Efficient Language and Compiler for (Partially)\n Reversible Algorithms Open
We introduce a new programming language for expressing reversibility,\nEnergy-Efficient Language (Eel), geared toward algorithm design and\nimplementation. Eel is the first language to take advantage of a partially\nreversible computation …
View article: Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms
Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms Open
We introduce a new programming language for expressing reversibility, Energy-Efficient Language (Eel), geared toward algorithm design and implementation. Eel is the first language to take advantage of a partially reversible computation mod…
View article: A distributed metadata-private messaging system
A distributed metadata-private messaging system Open
Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2016.