Circuits Resilient to Additive Attacks with Applications to Secure Computation Daniel Genkin Yuval Ishai

Source URL: web.eecs.umich.edu

• Circuit complexity
• Theoretical computer science
• Computational complexity theory
• Cryptographic protocols
• Electronic engineering
• Theory of computation
• Secure multi-party computation
• Logic families
• Digital circuits
• Transistortransistor logic
• NC
• Circuit

Meltdown Reading Kernel Memory from User Space Moritz Lipp1 , Michael Schwarz1 , Daniel Gruss1 , Thomas Prescher2 , Werner Haas2 , Anders Fogh3 , Jann Horn4 , Stefan Mangard1 , Paul Kocher5 , Daniel Genkin6 , Yuval Yarom

Source URL: mlq.me

• Computer security
• Computer hardware
• Side-channel attacks
• X86 architecture
• Computing
• Meltdown
• Computer engineering
• Pwnie Awards

Efficient Multi-Party Computation: from Passive to Active Security via Secure SIMD Circuits Daniel Genkin12 , Yuval Ishai1 , and Antigoni Polychroniadou3 1

Source URL: web.eecs.umich.edu

• Cryptographic protocols
• Mathematics
• Secure multi-party computation
• Linear algebra
• Valuation
• Linear combination
• Finite field

Meltdown: Reading Kernel Memory from User Space Moritz Lipp1 , Michael Schwarz1 , Daniel Gruss1 , Thomas Prescher2 , Werner Haas2 , Anders Fogh3 , Jann Horn4 , Stefan Mangard1 , Paul Kocher5 , Daniel Genkin6,9 , Yuval Ya

Source URL: mlq.me

• Computer architecture
• Computing
• Computer hardware
• Central processing unit
• X86 architecture
• Computer memory
• Side-channel attacks
• Virtual memory
• Translation lookaside buffer
• CPU cache
• Meltdown
• Spectre

MuJoCo: A physics engine for model-based control Emanuel Todorov, Tom Erez and Yuval Tassa University of Washington Abstract— We describe a new physics engine tailored to model-based control. Multi-joint dynamics are r

Source URL: homes.cs.washington.edu

• Mathematical optimization
• Mechanics
• Physics
• Dynamical systems
• Mechanical engineering
• Contact dynamics
• Linear complementarity problem
• Multibody system
• Trajectory optimization
• Constraint
• Degrees of freedom
• Inverse dynamics

Private Circuits II: Keeping Secrets in Tamperable Circuits Yuval Ishai? , Manoj Prabhakaran?? , Amit Sahai? ? ? , and David Wagner† Abstract. Motivated by the problem of protecting cryptographic hardware, we continue

Source URL: mmp.cs.illinois.edu

arXiv:1603.08575v3 [cs.CV] 12 AugAttend, Infer, Repeat: Fast Scene Understanding with Generative Models S. M. Ali Eslami, Nicolas Heess, Theophane Weber, Yuval Tassa,

Source URL: arkitus.com

The weighted complete intersection theorem Yuval Filmus∗ April 19, 2017 Abstract The seminal complete intersection theorem of Ahlswede and Khachatrian gives the maximum

Source URL: www.cs.toronto.edu

A Tight Lower Bound for the Capture Time of the Cops and Robbers Game Sebastian Brandt1 , Yuval Emek2 , Jara Uitto1, 3 , and Roger Wattenhofer1 1 2

Source URL: www.tik.ee.ethz.ch

• Graph theory
• Pursuit-evasion
• Cop number
• Tree
• Cop-win graph
• Tree-depth

Private Large-Scale Databases with Distributed Searchable Symmetric Encryption Yuval Ishai1? , Eyal Kushilevitz2? , Steve Lu3? , and Rafail Ostrovsky4? 1 3

Source URL: web.cs.ucla.edu