illustration of intersecting lines with various shapes at the connecting points signifying algorithms on a green gradient background

Algorithms

Current selections

Sort by: Most recent

Clear selections

Publication

Iterative Cycle Detection via Delaying Explorers

Ankush Desai, Shaz Qadeer, Sriram Rajamani, Sanjit Seshia,

MSR-TR-2015-28 | March 2015

Publication

Functional Encryption for Randomized Functionalities

Vipul Goyal, Abhishek Jain, Venkata Koppula, Amit Sahai

12th Theory of Cryptography Conference | March 2015

Publication

Round-Efficient Concurrently Composable Secure Computation via a Robust Extraction Lemma

Vipul Goyal, Huijia Lin, Omkant Pandey, Rafael Pass, Amit Sahai

12th Theory of Cryptography Conference | March 2015

Publication

Greedy Algorithms Make Efficient Mechanisms

Brendan Lucier, Vasilis Syrgkanis

ACM Conference on Electronic Commerce 2015 | March 2015

Video

Long-Range Planning with Time-Inconsistency: A Class of Computational Problems in Behavioral Economics

March 17, 2015 | Jon Kleinberg

There are many settings where people set long-range goals and make plans to achieve them. Such long-range planning is becoming an integral of the experience in many on-line contexts, where for example people work toward…

Jon Kleinberg smiling for the camera

Project

Fennel

This is a project looking into design and evaluation of efficient and deployable algorithms for assignment of complex workloads to resources in modern cloud service platforms. Alumni Jennifer Iglesias (Carnegie Mellon University; summer internship 2014)…

Publication

Key Recovery for LWE in Polynomial Time

Kim Laine, Kristin Lauter

March 2015

Publication

Provably Weak Instances of Ring-LWE

YARA ELIAS, Kristin Lauter, EKIN OZMAN, AND KATHERINE E. STANGE

March 2015

Publication

Denominators of Igusa Class Polynomials

Kristin Lauter

Publications de Mathematiques de Besancon | March 2015

Publication

Symbolic Tree Automata

Margus Veanes, Nikolaj Bjørner

Information Processing Letters | March 2015, Vol 115(3): pp. 418-424

Your Privacy Choices