Measuring Decentralization of Chinese Keyword Censorship via Mobile Games Jeffrey Knockel1,2 , Lotus Ruan1 , and Masashi Crete-Nishihata1 1 Citizen Lab, Munk School of Global Affairs, University of Toronto

Source URL: www.usenix.org

• Computing
• Software
• Video game publishers
• Economy of China
• Entertainment Software Association
• Online marketplaces
• E-commerce
• ITunes
• App Store
• Google Play
• WeChat
• Nintendo

Real Behavior of Floating Point Numbers * Bruno Marre1 , Fran¸cois Bobot1 , and Zakaria Chihani1 CEA LIST, Software Security Lab, Gif-sur-Yvette, France

Source URL: smt-workshop.cs.uiowa.edu

• Mathematics
• Theoretical computer science
• Constraint programming
• Functions and mappings
• Electronic design automation
• Logic in computer science
• NP-complete problems
• Satisfiability modulo theories
• Rounding
• Limit of a function
• Function

Panel on Research Challenges for Agent Verification ==================================================== The first speaker was Dr. Kerstin Eder from the University of Bristol and Bristol Robotics Lab.  She began by high

Source URL: cgi.csc.liv.ac.uk

• Formal methods
• Logic in computer science
• Systems engineering
• Software engineering
• Electronic engineering
• Theoretical computer science
• Electrical engineering
• Electronic design
• Formal verification
• Runtime verification
• Verification
• Integrated circuit design

Using Alloy in a Language Lab Approach to Introductory Discrete Mathematics Charles Wallace Michigan Technological University In collaboration with Laura Brown, Adam Feltz

Source URL: alloytools.org

• Wombat
• Mongoose

Collaborative Curiosity: Demonstrating relationships between open education, networked learning and connected learning Laura Park Gogia, MD Academic Learning Transformation Lab, Virginia Commonwealth University

Source URL: networkedlearningconference.org.uk

• Education
• Learning
• Behavior modification
• Alternative education
• Educational psychology
• Educational technology
• Education theory
• Networked learning
• Learning space
• Connected learning
• Digital learning
• Learning environment

PIONEERS MICHAEL HÖLLERER GENERALBEVOLLMÄCHTIGTER RAIFFEISEN BANK INTERNATIONAL

Source URL: www.elevator-lab.com

NuCypher KMS: 탈중앙화 키 관리 시스템 Michael Egorov[1] and MacLane Wilkison[2] NuCypher David Nuñez‡ NICS Lab, Universidad de Málaga, Spain (Dated: December 21, 2017)

Source URL: www.nucypher.com

10 · Nr. 1/2 · Wiener Wirtschaft Aus der Wirtschaftskammer

Source URL: www.elevator-lab.com

2018 Spring Retreat 2018 Spring Retreat: Lab Overview and Update John Ousterhout Faculty Director

Source URL: platformlab.stanford.edu

• Concurrent computing
• Computing
• Distributed computing
• Cloud computing
• Cloud infrastructure
• Data center

Practical Template-Algebraic Side Channel Attacks with Extremely Low Data Complexity Yossef Oren, Ofir Weisse and Avishai Wool Cryptography and Network Security Lab School of Electrical Engineering Tel-Aviv University, R

Source URL: www.ofirweisse.com

• Statistical classification
• Coding theory
• Computer arithmetic
• Error detection and correction
• Machine learning
• Computing
• Naive Bayes classifier
• Learning
• Advanced Encryption Standard
• Block cipher
• Bit array
• Hamming