Ligero: Lightweight Sublinear Arguments Without a Trusted Setup

Source URL: acmccs.github.io

Session A1: Multi-Party Computation 1 CCS’17, October 30-November 3, 2017, Dallas, TX, USA Global-Scale Secure Multiparty Computation Xiao Wang

Source URL: acmccs.github.io

Curriculum Vitae — Computer Science Ian Glen Neal (+ Education

Source URL: about.iangneal.io

• Computing
• Free software
• Data management
• Embedded databases
• OpenLDAP
• File system
• Operating system
• Verilog
• SQLite
• Systems engineering
• Processor design

Pixie Shopping Street (PixieCoin) White Paper Version: V.0.9 PixieCoin Team

Source URL: www.pixiecoin.io

• Game design
• Software
• Computing
• Massively multiplayer online games
• Windows games
• PXC
• Pixie
• Virtual world
• Club Penguin
• The Kore Gang
• Online shopping
• Second Life

EOS D R A F T . TRIBE C O N S T I T U T I O N

Source URL: eostribe.io

• Blockchains
• Cryptocurrencies
• EOS.IO
• Eos
• Greek mythology

Static Window Transition Graphs for Android Shengqian Yang∗ , Hailong Zhang∗ , Haowei Wu∗ , Yan Wang∗ , Dacong Yan† , and Atanas Rountev∗ ∗ Ohio State University, Columbus, OH, USA Email: {yangs,zhanhail,wu

Source URL: dacongy.github.io

Subsumer-First: Steering Symbolic Reachability Analysis Andrey Rybalchenko1 and Rishabh Singh2 1 Max Planck Institute for Software Systems (MPI-SWS)

Source URL: rishabhmit.bitbucket.io

• Metaphysics
• Data types
• Search algorithms
• Mathematics
• Model checking
• Tree
• Information science
• Abstraction
• B-tree
• Breadth-first search
• Reachability
• FO

Automatic Verification of RMA Programs via Abstraction Extrapolation Cedric Baumann1 , Andrei Marian Dan1 , Yuri Meshman2 , Torsten Hoefler1 , and Martin Vechev1 1

Source URL: practicalsynthesis.github.io

• Mathematical logic
• Logic
• Mathematics
• Predicate logic
• Formal methods
• Quantification
• Predicate
• Propositional calculus
• Quantifier
• FO
• Satisfiability modulo theories
• Predicate transformer semantics

Synthesizing Data-structure Manipulations from Storyboards Rishabh Singh Armando Solar-Lezama

Source URL: rishabhmit.bitbucket.io

• Computer programming
• Software engineering
• Computing
• Recursion
• Binary trees
• Data types
• Category theory
• Theoretical computer science
• Tree
• Linked list
• Predicate
• Anamorphism

PDF Document

Source URL: bytom.io