Poster: A DDoS Peak Traffic Volume Prediction Method Based on Machine Learning Shuang Wei† , Yijing Ding† , Tongxin Li† , Shuaifu Dai‡ , Xinfeng Wu† and Xinhui Han†∗ † Peking University ‡ CNCERT/CC

Source URL: www.ieee-security.org

• Denial-of-service attacks
• Statistical inference
• Cyberwarfare
• Estimation theory
• Computing
• Denial-of-service attack
• Internet Relay Chat
• Domain name system
• Anycast
• Cross-validation
• Regression analysis
• Prediction

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

All the AES You Need on Cortex-M3 and M4 Peter Schwabe and Ko Stoffelen Radboud University, Digital Security Group, Nijmegen, The Netherlands ,

Source URL: ko.stoffelen.nl

• Cryptography
• Advanced Encryption Standard
• Data Encryption Standard
• AES implementations
• ARM architecture
• Block ciphers
• DEAL
• AES instruction set
• CRYPTON

Empirically Revisiting the Test Independence Assumption Sai Zhang, Darioush Jalali, Jochen Wuttke, Kıvanç Muşlu, Wing Lam, Michael D. Ernst, David Notkin University of Washington

Source URL: zhang-sai.github.io

• Design of experiments
• Psychometrics
• Statistical hypothesis testing
• Software testing
• Measurement

Full version of an extended abstract published in CBTContour: A Practical System for Binary Transparency Mustafa Al-Bassam University College London

Source URL: smeiklej.com

Generalized Wiener Indices of Zigzagging Pentachains Ivan Gutman Faculty of Science University of Kragujevac P. O. Box 60, 34000 Kragujevac Serbia and Montenegro

Source URL: precision.moscito.org

• Graph theory
• Mathematics
• Discrete mathematics
• Cheminformatics
• Mathematical chemistry
• Wiener index
• Ear decomposition
• Graph
• Degree
• Graph operations
• Wiener connector
• Line graph

Executable Counterexamples in Software Model Checking? Jeffrey Gennari1 , Arie Gurfinkel2 , Temesghen Kahsai3 , Jorge A. Navas4 , and Edward J. Schwartz1 Carnegie Mellon University1 , University of Waterloo2 , University

Source URL: seahorn.github.io

• Computing
• Software engineering
• Computer programming
• Methods of proof
• Logic in computer science
• Pointer
• Exec
• Counterexample
• Objective-C
• Model checking
• Abstract interpretation
• Operational semantics

Column Parity Mixers Ko Stoffelen1∗ and Joan Daemen1,2 1 Digital Security Group, Radboud University, Nijmegen, The Netherlands 2

Source URL: ko.stoffelen.nl

• Algebra
• Mathematics
• Linear algebra
• Matrices
• Matrix theory
• Abstract algebra
• Coding theory
• Trace
• Circulant matrix
• Square matrix
• Matrix
• Row and column spaces

Verifiable Elections That Scale for Free Melissa Chase (MSR Redmond) Markulf Kohlweiss (MSR Cambridge) Anna Lysyanskaya (Brown University) Sarah Meiklejohn (UC San Diego)

Source URL: smeiklej.com

Real-time Tweet Classification in Disaster Situation Fujio Toriumi Seigo Baba The University of Tokyo

Source URL: gdac.uqam.ca

• Digital media
• Software
• World Wide Web
• Social networking services
• Microblogging
• Real-time web
• Text messaging
• Twitter
• Social media
• Twitter usage