The Complexity of Zero Knowledge Salil Vadhan∗ School of Engineering and Applied Sciences Harvard University Cambridge, MA 02138

Source URL: people.seas.harvard.edu

• Cryptography
• Computational complexity theory
• Complexity classes
• Interactive proof system
• Zero-knowledge proof
• NP
• Probabilistically checkable proof
• IP
• Soundness
• Commitment scheme
• NEXPTIME
• P versus NP problem

Learning Static Constraints for Domain Modeling from Training Plans Rabia Jilani School of Computing and Engineering University of Huddersfield United Kingdom

Source URL: icaps16.icaps-conference.org

• Computing
• Software engineering
• Notation
• Systems engineering
• Automated planning and scheduling
• Planning Domain Definition Language
• Conceptual model
• Object Process Methodology
• Prolog

Learning Linguistic Descriptors of User Roles in Online Communities Alex Wang1 , William L. Hamilton2 , Jure Leskovec2 1 School of Engineering and Applied Sciences, Harvard University, Cambridge MA, Computer Scie

Source URL: www.aclweb.org

• Statistical natural language processing
• World Wide Web
• Digital media
• Internet culture
• Subreddits
• Crowdsourcing
• Reddit
• Collaboration
• /r/IAmA
• Oriented FAST and rotated BRIEF
• Topic model
• Select

Poster: An Analysis of Targeted Password Guessing Using Neural Networks Huan Zhou, Qixu Liu, Fangjiao Zhang Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security, University of Chines

Source URL: www.ieee-security.org

• Cryptography
• Obfuscation
• Computer security
• Password
• Security
• Cyberwarfare
• Salt
• Identity management
• Password policy
• Password fatigue

Poster：A New Approach to Detecting Ransomware with Deception Yun Feng, Chaoge Liu, Baoxu Liu Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security, University of Chinese Academy of

Source URL: www.ieee-security.org

• Security
• Security breaches
• Prevention
• Ransomware
• Cybercrime
• Malware
• Locky
• Computer security

Research Centres & Supervisors School of Engineering

Source URL: www.ecu.edu.au

• Energy
• Universe
• Energy conversion
• Renewable energy technology
• Wireless networking
• Smart grid
• Energy development
• Ocean thermal energy conversion
• Desalination
• Energy technology
• Wireless sensor network
• Energy storage

Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries Shumo Chu, Brendan Murphy, Jared Roesch, Alvin Cheung, Dan Suciu Paul G. Allen School of Computer Science and Engineering University

Source URL: www.vldb.org

Georgios Fainekos School of Computing, Informatics and Decision Systems Engineering, Arizona State University. Office address: 660 W 6th St, STE, Tempe, AZweb: http://www.public.asu.edu/~gfaineko/, email: f

Source URL: www.public.asu.edu

Poster: Detecting Command and Control Servers of Botnet With Randomized Traffic Di Wu1,2, Binxing Fang3, Fangjiao Zhang1,2 1 (Institute of Information Engineering, Chinese Academy of Sciences) 2 (School of Cyber Security

Source URL: www.ieee-security.org

• Computer network security
• Computing
• Cyberwarfare
• Multi-agent systems
• Spamming
• Cybercrime
• Botnets
• Intrusion detection system
• Server
• Cluster analysis
• Internet bot
• Computer security

1 Securing Augmented Reality Output Kiron Lebeck, Kimberly Ruth, Tadayoshi Kohno, Franziska Roesner Paul G. Allen School of Computer Science & Engineering University of Washington

Source URL: www.ieee-security.org

• Humancomputer interaction
• Reality
• Computing
• User interface techniques
• Augmented reality
• Mixed reality
• Virtual reality
• Multimodal interaction
• Microsoft HoloLens
• Head-mounted display
• Internet privacy
• JavaScript