PPT-A shuffle argument secure in the generic model

Prastudy Fauzi Helger Lipmaa Michal Zajac University of Tartu Estonia EstonianLatvian Joint Theory Days 14102016 ASIACRYPT 2016 Our results A new efficient CRSbased NIZK shuffle argument. Stephanie Bayer. University College London. Jens Groth. University College London. Motivation . – e-voting. Voting: - Voter casts secret vote . - Authorities reveal votes in random permuted order . Hadoop. Different types of network interactions found in . Hadoop. . (source . Cloudera. ). 1. . Hadoop. RPC calls – These are performed by clients using the . Hadoop. API, by MapReduce jobs, and among . W. K. LB Stance & Fundamentals. Stance. - Build your stance like a . pyramid. Wide & Low at the base.. - Balls of your feet with slight . forward lean.. - Knees inside your ankles.. - Peck on quad with pads just over . Genericity. Generic classes. Generic procedures. Programming Languages 3 © 2012 David A Watt, University of Glasgow. Genericity. A program-unit is . generic. if it is parameterized with respect to a type on which it depends.. Antonio . Restivo. Università di Palermo. A . very. general . problem. :. Given. a . basis. . B. of . languages. , and a set . O. . of . operations. , . characterize. the family. . O(B. ). . Secure . Computation. Chongwon Cho. . (HRL Laboratories). Sanjam. . Garg. (IBM T.J. Watson). . Rafail. . Ostrovsky. (UCLA). 2. Secure . Computation [Yao, GMW]. Alice and Bob. Alice holds input . Form for Visual Argument. Element 1. Element 2. Element 3. Element 4. Cause of Action . Element . 1. Bullet Point 1. Bullet Point 2. Bullet Point 3. Cause of Action. Element 1. Element 2. Element 3. Perform with a partner. . . The running back will start with his shoulders square. He initiates the drill by turning his shoulders and jogging toward the cone in a straight line. He changes tempo by squaring up his shoulders to the linebacker and shuffling. He will repeat this pattern randomly until the linebacker has finished with an air tackle.. British Logician. Frustrated with the inability of formal logic to explain everyday arguments. Came up with a model for practical reasoning. Two triads – first triad. Claim. : the main point the arguer is trying to make-takes the form of a proposition. Boaz . Barak . Sanjam. . Garg. Yael . Tauman . Kalai . Omer Paneth . Amit . Sahai. Program Obfuscation . Public Key.  .  . Obfuscation.  .  .  . Virtual Black-Box (VBB). [. Barak-. Goldreich. -. Stephanie Bayer. University College London. Jens Groth. University College London. Motivation . – e-voting. Voting: - Voter casts secret vote . - Authorities reveal votes in random permuted order . . Stanford Cyber Initiative. January 2017. . Nicolas Bacca . @btchip. . about:speaker. Nicolas Bacca, Ledger CTO . . Ledger : Hardware Wallet manufacturer / Portable security solutions (Secure Elements, Enclaves, HSMs). Chongwon Cho. . (HRL Laboratories). Sanjam. . Garg. (IBM T.J. Watson). . Rafail. . Ostrovsky. (UCLA). 2. Secure . Computation [Yao, GMW]. Alice and Bob. Alice holds input . x. .. Bob holds input . In i. th. iteration, choose a random element from remainder of deck and put at index i.. choose random integer r between i and N-1. swap values in positions r and i. 4. . 5. . 6. . 7. 2.