Lattice-based FHE as secure as PKE by Brakerski, Zvika, Vaikuntanathan, Vinod

“…Association for Computing Machinery…”
Get full text
Get full text

Reusable garbled circuits and succinct functional encryption by Goldwasser, Shafi, Kalai, Yael Tauman, Popa, Raluca Ada, Vaikuntanathan, Vinod, Zeldovich, Nickolai

“…Association for Computing Machinery…”
Get full text
Get full text
Get full text

Optimizing unit test execution in large software programs using dependency analysis by Kim, Taesoo, Chandra, Ramesh, Zeldovich, Nickolai

“…Association for Computing Machinery…”
Get full text
Get full text

Asynchronous intrusion recovery for interconnected web services by Chandra, Ramesh, Kim, Taesoo, Zeldovich, Nickolai

“…Association for Computing Machinery…”
Get full text
Get full text

From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification by Chlipala, Adam

“…Association for Computing Machinery…”
Get full text
Get full text

Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant by Delaware, Benjamin James, Pit-Claudel, Clement F., Gross, Jason S., Chlipala, Adam

“…Association for Computing Machinery…”
Get full text
Get full text
Get full text
Get full text

Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant by Delaware, Benjamin James, Pit-Claudel, Clément, Gross, Jason S., Chlipala, Adam

“…Association for Computing Machinery…”
Get full text
Get full text
Get full text
Get full text

Weight and volume changing device with liquid metal transfer by Niiyama, Ryuma, Yao, Lining, Ishii, Hiroshi

“…Association for Computing Machinery…”
Get full text
Get full text
Get full text

Second surface: multi-user spatial collaboration system based on augmented reality by Kasahara, Shunichi, Heun, Valentin Markus Josef, Lee, Austin S., Ishii, Hiroshi

“…Association for Computing Machinery…”
Get full text
Get full text
Get full text

Situation fencing: making geo-fencing personal and dynamic by Pongpaichet, Siripen, Singh, Vivek Kumar, Jain, Ramesh, Pentland, Alex Paul

“…Association for Computing Machinery…”
Get full text
Get full text

SpaceTop: integrating 2D and spatial 3D interactions in a see-through desktop environment by Lee, Jinha, Olwal, Alex, Ishii, Hiroshi, Boulanger, Cati

“…Association for Computing Machinery…”
Get full text
Get full text

TagMe: an easy-to-use toolkit for turning the personal environment into an extended communications interface by Benavides Palos, Xavier, Amores Fernandez, Judith, Maes, Patricia

“…Association for Computing Machinery…”
Get full text
Get full text
Get full text
Get full text

WaaZam!: supporting creative play at a distance in customized video environments by Hunter, Seth Edward, Maes, Patricia, Tang, Anthony, Inkpen, Kori M., Hessey, Susan M.

“…Association for Computing Machinery…”
Get full text
Get full text

AutoEmotive: bringing empathy to the driving experience to manage stress by Hernandez Rivera, Javier, McDuff, Daniel Jonathan, Benavides Palos, Xavier, Amores Fernandez, Judith, Maes, Patricia, Picard, Rosalind W.

“…Association for Computing Machinery…”
Get full text
Get full text
Get full text
Get full text
Get full text
Get full text

Mood meter: counting smiles in the wild by Hernandez Rivera, Javier, Hoque, Mohammed Ehasanul, Drevo, Will, Picard, Rosalind W.

“…Association for Computing Machinery…”
Get full text
Get full text
Get full text

Physical rendering with a digital airbrush by Shilkrot, Roy, Maes, Patricia, Zoran, Amit

“…Association for Computing Machinery…”
Get full text
Get full text
Get full text
Get full text

Friends don't lie: inferring personality traits from social network structure by Staiano, Jacopo, Pianesi, Fabio, Lepri, Bruno, Sebe, Nicu, Aharony, Nadav, Pentland, Alex Paul

“…Association for Computing Machinery…”
Get full text
Get full text

PrintSense: a versatile sensing technique to support multimodal flexible surface interaction by Gong, Nan-Wei, Steimle, Jürgen, Olberding, Simon, Hodges, Steve, Gillian, Nicholas Edward, Kawahara, Yoshihiro, Gong, Nan-wei, Paradiso, Joseph A

“…Association for Computing Machinery…”
Get full text
Get full text
Get full text

A cuttable multi-touch sensor by Olberding, Simon, Gong, Nan-Wei, Tiab, John, Steimle, Jürgen, Gong, Nan-wei, Paradiso, Joseph A

“…Association for Computing Machinery…”
Get full text
Get full text
Get full text

Tensor displays: compressive light field synthesis using multilayer displays with directional backlighting by Wetzstein, Gordon, Lanman, Douglas R., Hirsch, Matthew Waggener, Raskar, Ramesh

“…Association for Computing Machinery…”
Get full text
Get full text