SoK: Cryptographically Protected Database Search Benjamin Fuller∗ , Mayank Varia† , Arkady Yerukhimovich‡ , Emily Shen‡ , Ariel Hamlin‡ , Vijay Gadepally‡ , Richard Shay‡ , John Darby Mitchell‡ , and Robe

Source URL: www.ieee-security.org

• Data management
• Computing
• Data
• Relational database management systems
• Database theory
• NoSQL
• Structured storage
• Database
• NewSQL
• Relational database
• ODB
• Conjunctive query

SMT-Style Program Analysis SMT-Style Program Analysis with Value-based Refinements Vijay D’Silva

Source URL: www.lix.polytechnique.fr

• Formal methods
• Algebraic structures
• Abstract interpretation
• Refinement
• Lattice
• Universal quantification
• Mathematics
• Computing
• Theoretical computer science

Senior Ripple Veteran Vijay Chetty Joins SharesPost Digital Assets Group Chetty to lead business development for the security token ATS San Francisco, CA — June 8, 2018 — SharesPost, a leading provider of late-stage

Source URL: d2wbqcispjulqi.cloudfront.net

• Economy
• Finance
• Money
• Cryptocurrencies
• Financial markets
• Foreign exchange companies
• Foreign exchange market
• Micropayment
• Ripple
• BlackRock
• Security
• Algorithmic trading

Long-Range Operational Hurricane Modeling Plans at EMC Vijay Tallapragada Chief, Global Climate and Weather Modeling Branch Environmental Modeling Center NOAA / NWS / NCEP

Source URL: www.hfip.org

In-situ Gallium-doping for forming p+ Germanium-Tin and application in Germanium-Tin PIN photodetector Wei Wang,1 Saumitra Vajandar,2 Sin Leng Lim,2 Yuan Dong,1 Vijay Richard D’Costa,1 Thomas Osipowicz,2 Eng Soon Tok,2

Source URL: www.ciba.nus.edu.sg

Determinate Imperative Programming Determinate Imperative Programming A clocked interpretation of imperative syntax (Extended Abstract) Vijay Saraswat

Source URL: www.saraswat.org

Decentralized Controllers for Shape Generation with Robotic Swarms M. Ani Hsieh and Vijay Kumar GRASP Laboratory University of Pennsylvania Luiz Chaimowicz

Source URL: robotics.mem.drexel.edu

Triangular Networks for Resilient Formations David Salda˜na, Amanda Prorok, Mario F. M. Campos, Vijay Kumar Abstract Consensus algorithms allow multiple robots to achieve agreement on estimates of variables in a distrib

Source URL: prorok.me

Vijay Saraswat TJ Watson Research Center Yorktown Heights, NYU.S.A. Phone: Email: url: http://www.saraswat.org

Source URL: www.saraswat.org

Finding Stable Matchings that are Robust to Errors in the Input∗ arXiv:1804.00553v3 [cs.DS] 25 JunTung Mai1 and Vijay V. Vazirani2

Source URL: arxiv.org