BreakApp: Automated, Flexible Application Compartmentalization Nikos Vasilakis, Ben Karel, Nick Roessler, Nathan Dautenhahn, Andr´e DeHon, Jonathan M. Smith University of Pennsylvania {nvas, karel, nroess, ndd, andre, j

Source URL: nikos.vasilak.is

• Software engineering
• Computing
• Computer programming
• Cross-platform software
• High-level programming languages
• Scripting languages
• Functional languages
• Programming languages
• Loadable kernel module
• Coupling
• Modular programming
• Kernel

Indian Journal of Radio & Space Physics Vol. 37, February 2008, ppPressure and density of air in mines A Tan & T X Zhang Department of Physics, Alabama A & M University, Normal, Alabama 35762, USA

Source URL: nopr.niscair.res.in

• Physics
• Atmospheric thermodynamics
• Nature
• Fluid dynamics
• Continuum mechanics
• Pressure
• Physical quantities
• Fluid mechanics
• Density
• Hydrostatics
• Atmospheric models
• Scale height

A fundamental evaluation of 80 bit keys employed by hardware oriented stream ciphers Iain Devlin1 and Alan Purvis1 Centre for Electronic Systems, Durham University, Durham, DH1 3LH, UK {iain.devlin, alan.purvis}@durham.a

Source URL: www.hyperelliptic.org

• Cryptography
• Stream ciphers
• VEST
• Grain
• Field-programmable gate array
• Altera
• Xilinx
• Brute-force attack
• Stratix
• Block cipher
• Py
• Data Encryption Standard

TITLE 85 BOARD OF UNIVERSITY AND SCHOOL LANDS03

Source URL: land.nd.gov

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

Privacy-Enhancing Overlays in Bitcoin Sarah Meiklejohn (University College London) Claudio Orlandi (Aarhus University) 1

Source URL: smeiklej.com

Static Detection of Loop-Invariant Data Structures Guoqing Xu1 , Dacong Yan2 , and Atanas Rountev2 1 2 University of California, Irvine, CA, USA

Source URL: dacongy.github.io

• Software engineering
• Computer programming
• Programming language theory
• Compiler optimizations
• Control flow
• Loop optimization
• Heap
• Optimizing compiler
• Foreach loop

Pushing to the Top with K-induction Arie Gurfinkel Electrical and Computer Engineering University of Waterloo joint work with Alexander Ivrii (IBM)

Source URL: arieg.bitbucket.io

Maximizing the Spread of Positive Influence by Deadline Hemank Lamba, Jürgen Pfeffer Carnegie Mellon University {hlamba,jpfeffer}@cs.cmu.edu

Source URL: gdac.uqam.ca

• Mathematics
• Combinatorics
• Discrete mathematics
• Network theory
• Networks
• Memetics
• Neologisms
• Viral marketing
• Greedy algorithm
• Heuristic
• Centrality
• Flow network

Isolating and Tolerating SDN Application Failures with LegoSDN Balakrishnan Chandrasekaran Duke University Brendan Tschaen

Source URL: legosdn.cs.duke.edu

• Computing
• Information and communications technology
• Computer networking
• Emerging technologies
• Network architecture
• Configuration management
• Software-defined networking
• OpenFlow
• Nox
• ONOS
• OpenDaylight Project