Cryptographic Function Detection in Obfuscated Binaries via Bit-precise Symbolic Loop Mapping Dongpeng Xu The Pennsylvania State University University Park, USA Email:

Source URL: www.ieee-security.org

• Computer programming
• Computing
• Mathematics
• Theoretical computer science
• Boolean algebra
• Error detection and correction
• Compiler construction
• Hash function
• Avalanche effect
• Optimizing compiler
• Recursion
• MD5

Obstacles to the Adoption of Secure Communication Tools Ruba Abu-Salma M. Angela Sasse

Source URL: www.ieee-security.org

• Software
• Computing
• System software
• Instant messaging clients
• Internet privacy
• Cross-platform software
• Cryptographic software
• Public key infrastructure
• Email encryption
• IMessage
• Secure communication
• Threema

Implementing and Proving the TLS 1.3 Record Layer Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin Microsoft Research {antdl,fournet

Source URL: www.ieee-security.org

• Cryptography
• Secure communication
• Message authentication codes
• Transport Layer Security
• Cryptographic protocols
• Internet Standards
• Cipher suite
• Authenticated encryption
• Poly1305
• Galois/Counter Mode
• OpenSSL
• Key generation

This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. IEEE/ACM TRANSACTIONS ON NETWORKING 1 Milking the Cache Cow With Fairness

Source URL: www.eecs.qmul.ac.uk

A Lustrum of Malware Network Communication: Evolution and Insights Chaz Lever† , Platon Kotzias∗ , Davide Balzarotti∓ , Juan Caballero∗ , Manos Antonakakis‡ {chazlever,manos}@gatech.edu, davide.balzarotti@eurec

Source URL: www.ieee-security.org

• Cybercrime
• Computer network security
• Cyberwarfare
• Computing
• Spamming
• Malware
• Domain generation algorithm
• Botnet
• Web threat
• Blacklist

Poster: Phishing on Facebook Sovantharith Seng Mahdi Nasrullah Al-Ameen Matthew Wright

Source URL: www.ieee-security.org

• Cybercrime
• Computing
• Human behavior
• Cyberspace
• Social engineering
• Cyberwarfare
• Phishing
• Spamming
• Social networking service
• Facebook
• Computer security
• Transaction authentication number

Poster: Dynamic Taint Analysis of Concurrent Program Based on Symbolic Execution Yu Hao∗ , Xiaodong Zhang∗ , Zijiang Yang† and Ting Liu∗ ,IEEEauthorrefmark2 ∗ Ministry of Education Key Lab for Intelligent Netw

Source URL: www.ieee-security.org

• Software engineering
• Computer programming
• Computing
• Object-oriented programming languages
• KeY
• Symbolic execution
• Thread
• LLVM
• Parallel computing
• D
• Concolic testing

The Password Reset MitM Attack Nethanel Gelernter Senia Kalma, Bar Magnezi, Hen Porcilan Cyberpion, Israel

Source URL: www.ieee-security.org

Poster: Detecting WebInjects through Live Memory Inspection Nicola Mariani∗ , Andrea Continella∗ , Marcello Pogliani∗ , Michele Carminati∗ , Federico Maggi∗† , and Stefano Zanero∗ ∗ Dipartimento

Source URL: www.ieee-security.org

• Software
• Computing
• Antivirus software
• Security breaches
• Proprietary software
• Malware
• Kaspersky Lab
• Google Chrome
• Internet Explorer

Poster: Design of Backdoor on Android Devices Junsung Cho, Geumhwan Cho, Sangwon Hyun and Hyoungshick Kim Department of Computer Science and Engineering, Sungkyunkwan University, Republic of Korea Email: {js.cho, geumhwa

Source URL: www.ieee-security.org

• Computing
• Cyberwarfare
• Computer security
• Cryptography
• Cybercrime
• Computer network security
• Backdoor
• Rootkits
• Google Play
• Android
• Firebase
• Password