BOXES: Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University January 28, 2011

Source URL: arieg.bitbucket.io

• Systems science
• Carnegie Mellon University
• Systems engineering
• Systems theory
• Cyberwarfare
• Software Engineering Institute
• System of systems
• Carnegie Mellon Silicon Valley
• Software engineering
• Pittsburgh
• Science and technology in the United States

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

A Relational Encoding for a Clash-Free Subset of ASMs Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {schellhorn,ernst,

Source URL: www.isse.uni-augsburg.de

• Functional predicate
• Model theory
• Symbol
• Limit of a function
• Universal quantification
• Mathematical logic
• Mathematics
• Logic

1 Postquantum SSL/TLS for embedded systems Yun-An Chang† , Ming-Shing Chen†‡ , Jong-shian Wu† , Bo-Yin Yang‡ , of Electrical Engineering, National Taiwan University, Taiwan ‡ Institute of Information Science

Source URL: precision.moscito.org

• Cryptography
• Public-key cryptography
• Transport Layer Security
• Cryptographic software
• Secure communication
• Cryptographic protocols
• Mbed TLS
• Cipher suite
• OpenSSL
• Forward secrecy
• Post-quantum cryptography
• HTTPS

BOXES: A Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Functions and mappings
• Function
• Graph of a function
• Abstraction
• Structure

Bin He, Professor and Head Department of Biomedical Engineering, Carnegie Mellon University Ph.D., 1988, Tokyo Institute of Technology; Postdoc, Harvard University - M.I.T. Professor Bin He’s research is centered aroun

Source URL: www.bme.cmu.edu

Challenges and Solutions for Automated Repair of C Code Will Klieber Software Engineering Institute Carnegie Mellon University

Source URL: s3.amazonaws.com

UNESCO-JASTIP Joint Symposium on Intra-Regional Water Security and Disaster Management Marjorie C. Turiano, Eric C. Cruz Institute of Civil Engineering University of the Philippines Diliman

Source URL: jastip.org

Bounds on List Decoding of Rank Metric Codes Antonia Wachter-Zeh Institute of Communications Engineering, Ulm University, Ulm, Germany and Institut de Recherche Math´ ematique de Rennes (IRMAR), Universit´

Source URL: webmath.univ-rennes1.fr