In recent years there has been an increasing trend toward the incorpor ation of computers into a variety devices where amount memory available is limited. This makes it desirable to try reduce size applications possible. article explores use compiler techniques accomplish code compaction yield smaller executables. The main contribution this show that careful, aggressive, interprocedural optimization, together with procedural abstraction repeated fragments, can significantly better reductions...

This paper studies and evaluates the extent to which automated compiler techniques can defend against timing-based side-channel attacks on modern x86 processors. We study how processors leak timing information through side-channels that relate control flow data flow. To eliminate key-dependent behavior related flow, we propose use of if-conversion in a backend, evaluate proof-of-concept prototype implementation. Furthermore, demonstrate two ways programs lack cache still implementations such...

Code-reuse attacks continue to evolve and remain a severe threat modern software. Recent research has proposed variety of defenses with differing security, efficiency, practicality characteristics. Whereas the majority these solutions focus on specific code-reuse attack variants such as return-oriented programming (ROP), other that reuse whole functions, classic return-into-libc, have received much less attention. Mitigating function-level code is highly challenging because one needs...

GPUs and other accelerators are popular devices for accelerating compute-intensive, parallelizable applications. However, programming these is a difficult task. Writing efficient device code challenging, typically done in low-level language. High-level languages rarely supported, or do not integrate with the rest of high-level language ecosystem. To overcome this, we propose compiler infrastructure to efficiently add support new hardware environments an existing We evaluate our approach by...

Modern software engineering techniques introduce an overhead to programs in terms of performance and code size. A traditional development environment, where only the compiler optimizes code, cannot completely eliminate this overhead. To effectively remove overhead, tools are needed that have a whole-program overview. Link-time binary rewriting is effective technique for optimization instrumentation. In paper, we describe novel framework reliably perform link-time program transformations....

Despite the recent advances in theory underlying obfuscation, there still is a need to evaluate quality of practical obfuscating transformations more quickly and easily. This paper presents first steps toward comprehensive evaluation suite consisting number deobfuscating complexity metrics that can be readily applied on existing future domain binary obfuscation. In particular, framework based software measuring four program properties: code, control flow, data flow suggested. A well-known...

Type constraints express subtype relationships between the types of program expressions, for example, those that are required type correctness. were originally proposed as a convenient framework solving checking and inference problems. This paper shows how can be used basis practical refactoring tools. In our approach, set is derived from type-correct P . The main insight behind work fact constitutes just one solution to this constraint system, alternative solutions may exist correspond...

This paper studies and evaluates the extent to which automated compiler techniques can defend against timing-based side channel attacks on modern x86 processors. We study how processors leak timing information through channels that relate data flow. efficiency, effectiveness, portability, predictability sensitivity of several mitigating code transformations eliminate or minimize key-dependent execution time variations. Furthermore, we discuss backends are a suitable tool provide support for...

We have designed and implemented ARMor, a system that uses software fault isolation (SFI) to sandbox application code running on small embedded processors. Sandboxing can be used protect components such as the RTOS critical control loops from other, less-trusted components. ARMor guarantees memory safety flow integrity; it works by rewriting binary put check in front of every potentially dangerous operation. formally automatically verify an ARMored respects SFI properties using HOL theorem...

Microprocessors used in safety-critical systems are extremely sensitive to software vulnerabilities, as their failure can lead injury, damage equipment, or environmental catastrophe. This paper proposes a hardware-based security architecture for microprocessors systems. The proposed provides protection against code injection and reuse attacks. It has mechanisms protect integrity, perform control flow prevent execution of tampered code, enforce copyright protection. We the first propose...

Advances in reverse engineering and program analyses have made software extremely vulnerable to malicious host attacks. These attacks typically take the form of intellectual property violations, against which needs be protected. The that protected can on different forms. might, e.g., consist itself proprietary algorithms datastructures or it could provide controlled access copyrighted material. Therefore, recent years, a number techniques been explored protect software. Many these reasonable...

Small program size is an important requirement for embedded systems with limited amounts of memory. We describe how link-time compaction through binary rewriting can achieve code reductions up to 62% statically bound languages such as C, C++, and Fortran, without compromising on performance. demonstrate the amount information about a at link time be exploited overcome overhead resulting from separate compilation. This done scalable, cost-effective, whole-program analyses, optimizations,...

A shrinking energy budget for mobile devices and increasingly complex communication standards make architecture development software-defined radio very challenging. Coarse-grained array accelerators are strong candidates achieving both high performance low power. The C-programmable hybrid CGA-SIMD accelerator presented here targets emerging broadband cellular wireless LAN standards, up to 100-Mbps throughput with an average power consumption of 220 mW.

The overhead in terms of code size, power consumption and execution time caused by the use precompiled libraries separate compilation is often unacceptable embedded world, where real-time constraints, battery life-time production costs are critical importance. In this paper we present our link-time optimizer for ARM architecture. We discuss how can deal with peculiarities architecture related to its visible program counter introduced be eliminated a large extent. Our evaluated two tool...

Code protections aim at blocking (or least delaying) reverse engineering and tampering attacks to critical assets within programs. Knowing the way hackers understand protected code perform is important achieve a stronger protection of software assets, based on realistic assumptions about hackers' behaviour. However, building such knowledge difficult because can hardly be involved in controlled experiments empirical studies. The FP7 European project Aspire has given authors this paper unique...

In the domain of practical software protection against man-at-the-end attacks such as reverse engineering and tampering, much scientific literature is plagued by use subpar methods to evaluate protections' strength even absence evaluations. Several criteria have been proposed in past assess protections, potency, resilience, stealth, cost. We analyze their evolving definitions uses. formulate a number critiques, from which we conclude that existing are unsatisfactory need be revised. present...