program obfuscation is an important software protection technique that prevents attackers from revealing the programming logic and design of the software. We introduce translingual obfuscation, a new software obfuscat...
详细信息
ISBN:
(纸本)9781509017539
program obfuscation is an important software protection technique that prevents attackers from revealing the programming logic and design of the software. We introduce translingual obfuscation, a new software obfuscation scheme which makes programs obscure by "misusing" the unique features of certain programming languages. Translingual obfuscation translates part of a program from its original language to another language which has a different programming paradigm and execution model, thus increasing program complexity and impeding reverse engineering. In this paper, we investigate the feasibility and effectiveness of translingual obfuscation with Prolog, a logic programming language. We implement translingual obfuscation in a tool called BABEL, which can selectively translate C functions into Prolog predicates. By leveraging two important features of the Prolog language, i.e., unification and backtracking, BABEL obfuscates both the data layout and control flow of C programs, making them much more difficult to reverse engineer. Our experiments show that BABEL provides effective and stealthy software obfuscation, while the cost is only modest compared to one of the most popular commercial obfuscators on the market. With BABEL, we verified the feasibility of translingual obfuscation, which we consider to be a promising new direction for software obfuscation.
Microgrids are a key Smart Grid technology that can be leveraged for improved energy security, efficiency, and reliability. However, their design is not straightforward, particularly in the case of military applicatio...
详细信息
ISBN:
(纸本)9781467327275
Microgrids are a key Smart Grid technology that can be leveraged for improved energy security, efficiency, and reliability. However, their design is not straightforward, particularly in the case of military applications. The US Departments of Defense and Energy are working together to develop a design process for Energy Surety Microgrids (ESM) that will provide a transformative capability for military installations converting to microgrids for backup power and site energy management. The new project, called the Smart Power Infrastructure Demonstration for Energy Reliability and Security (SPIDERS), will field ESMs at three bases. Each site will show an increasing level of application complexity, with design decisions supported by modeling and simulation. The ESM design methodology incorporates output from four models: the Consequence model, Performance/Reliability model, load flow, and dynamic grid model. With respect to energy asset portfolios, the output from the Consequence model is used to move the design toward perceived effective solutions, while the Performance/Reliability model quantifies the expected microgrid improvements and optimizes performance. The load flow model tracks voltage and line flows for acceptable ranges, and the grid dynamic model analyzes start-up and operating transients for voltage and frequency performance. Combined, these models support an integrated and effective design process.
Future multiscale and multiphysics models must use the power of high performance computing (HPC) systems to enable research into human disease, translational medical science, and treatment. Previously we showed that c...
详细信息
ISBN:
(纸本)9781424441211
Future multiscale and multiphysics models must use the power of high performance computing (HPC) systems to enable research into human disease, translational medical science, and treatment. Previously we showed that computationally efficient multiscale models will require the use of sophisticated hybrid programming models, mixing distributed message passing processes (e.g. the message passing interface (MPI)) with multithreading (e.g. OpenMP, POSIX pthreads). The objective of this work is to compare the performance of such hybrid programming models when applied to the simulation of a lightweight multiscale cardiac model. Our results show that the hybrid models do not perform favourably when compared to an implementation using only MPI which is in contrast to our results using complex physiological models. Thus, with regards to lightweight multiscale cardiac models, the user may not need to increase programming complexity by using a hybrid programming approach. However, considering that model complexity will increase as well as the HPC system size in both node count and number of cores per node, it is still foreseeable that we will achieve faster than real time multiscale cardiac simulations on these systems using hybrid programming models.
暂无评论