Interactive Debugging for Extensible Languages in Multi-Stage Transformation Environments Domenik Pavletic Kim Haßlbauer

Source URL: mbeddr.com

• Debugging
• Computer programming
• Computing
• Software engineering
• Debugger
• Extensible programming
• Programming tool
• Breakpoint
• Program animation
• Compiler
• Embedded system
• Time travel debugging

TRecSo: Enhancing Top-k Recommendation With Social Information ∗ Chanyoung Park, Donghyun Kim, Jinoh Oh, Hwanjo Yu† Dept. of Computer Science and Engineering

Source URL: gdac.uqam.ca

• Information science
• Collective intelligence
• Recommender systems
• Information retrieval
• Collaboration
• Social information processing
• Information systems
• Collaborative filtering
• Matrix factorization
• Machine learning
• Personalization

Taming Undefined Behavior in LLVM Juneyoung Lee Yoonseung Kim Youngju Song Chung-Kil Hur Seoul National University, Korea

Source URL: www.cs.utah.edu

• Software engineering
• Computer programming
• Computing
• Compiler construction
• Programming language implementation
• Compiler optimizations
• Object-oriented programming languages
• C++
• Undefined behavior
• LLVM
• Optimizing compiler
• Static single assignment form

WorldECR The Kim-Trump Summit: a new era? 2 US announces ‘strictest BIS compliance

Source URL: www.mme.ch

• Economy
• International relations
• International sanctions
• Commercial policy
• IranUnited States relations
• Foreign relations of Iran
• Embargoes
• Basic Element
• Sanctions against Iran
• Economic sanctions
• International sanctions during the Ukrainian crisis
• United States embargoes

XXXX Authentication Challenges in a Global Environment Stephanos Matsumoto, Carnegie Mellon University/ETH Zurich Raphael M. Reischuk, ETH Zurich Pawel Szalachowski, ETH Zurich Tiffany Hyun-Jin Kim, HRL Laboratories

Source URL: www.netsec.ethz.ch

• Cryptography
• Public-key cryptography
• Key management
• Transport Layer Security
• Internet Standards
• Public key infrastructure
• Domain Name System Security Extensions
• Public key certificate
• Certificate authority
• X.509
• DNS root zone
• Man-in-the-middle attack

Poster: Flow Inspection Scheduling for Cyber Security on Software-Defined Networks Sunghwan Kim, Seunghyun Yoon, and Hyuk Lim School of Electrical Engineering and Computer Science Gwangju Institute of Science and Technol

Source URL: www.ieee-security.org

• System software
• Computing
• Utility software
• Computer network security
• Computer security
• Configuration management
• Network architecture
• Software-defined networking
• Intrusion detection system
• Snort
• OpenFlow
• Traffic flow

Poster: IoTcube: An Automated Analysis Platform for Finding Security Vulnerabilities Seulbae Kim, Seunghoon Woo, Heejo Lee, Hakjoo Oh Department of Computer Science and Engineering Korea University Seoul, Korea

Source URL: www.ieee-security.org

• Software testing
• Computer security
• Security engineering
• Cyberwarfare
• Cybercrime
• Computer network security
• Fuzzing
• Software bugs
• Application security
• Vulnerability
• Internet of things
• Heartbleed

Comparing the Usability of Cryptographic APIs Yasemin Acar, Michael Backes, Sascha Fahl, Simson Garfinkel∗ , Doowon Kim† , Michelle L. Mazurek† , and Christian Stransky CISPA, Saarland University; ∗ National Inst

Source URL: www.ieee-security.org

• Cryptography
• Cryptographic software
• Technical communication
• E-commerce
• Microsoft CryptoAPI
• Public-key cryptography
• Key
• Usability
• RSA
• Application programming interface
• Symmetric-key algorithm
• OpenSSL

PDF Document

Source URL: www.kim-lab.info

PDF Document

Source URL: www.kim.nrw.de