Achieving Obfuscation Through Self-Modifying Code: A Theoretical Model

With the extreme amount of data and software available on networks, the protection of online information is one of the most important tasks of this technological age. There is no such thing as safe computing, and it is inevitable that security breaches will occur. Thus, security professionals and practices focus on two areas: security, preventing a breach from occurring, and resiliency, minimizing the damages once a breach has occurred. One of the most important practices for adding resiliency to source code is through obfuscation, a method of re-writing the code to a form that is virtually unreadable. This makes the code incredibly hard to decipher by attackers, protecting intellectual property and reducing the amount of information gained by the malicious actor. Achieving obfuscation through the use of self-modifying code, code that mutates during runtime, is a complicated but impressive undertaking that creates an incredibly robust obfuscating system. While there is a great amount of research that is still ongoing, the preliminary results of this subject suggest that the application of self-modifying code to obfuscation may yield self-maintaining software capable of healing itself following an attack

Selling Australia as 'Clean and Green'

'Green and clean' has been used as a key marketing tool to promote Australian products overseas. The rationale is that consumers are generally concerned about personal health and the environment and will choose, and pay price premiums, for products that are, or perceived to be, clean (good for them) and green (good for the environment) over alternative products. But is Australia seen as clean and green? Is it really why people buy Australian products? And how effective is it as a marketing tool? This paper attempts to answer some of these questions. The study found that Australia may have a clean green image at present in some of her overseas markets, but to maintain such an image over time, concrete proof of environmental and quality credentials need to be provided to satisfy increasingly more educated and better-informed consumers. Wide adoption of integrated EMS and QA systems by Australian producers and food companies appears to be a means to establish such credentials and substantiate any 'clean and green' claim. Therefore, government policies should focus more on developing a range of tools to encourage good environmental and quality management practices, rather than on promoting the 'clean and green' image. Such campaigns may be counter-productive in the long run as it leads to complacency, rather than raising environmental and quality awareness.export marketing, clean and green, EMS, QA, Environmental Economics and Policy, International Relations/Trade,

On Using Blockchains for Safety-Critical Systems

Innovation in the world of today is mainly driven by software. Companies need to continuously rejuvenate their product portfolios with new features to stay ahead of their competitors. For example, recent trends explore the application of blockchains to domains other than finance. This paper analyzes the state-of-the-art for safety-critical systems as found in modern vehicles like self-driving cars, smart energy systems, and home automation focusing on specific challenges where key ideas behind blockchains might be applicable. Next, potential benefits unlocked by applying such ideas are presented and discussed for the respective usage scenario. Finally, a research agenda is outlined to summarize remaining challenges for successfully applying blockchains to safety-critical cyber-physical systems

From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes

Reconstructing the meaning of a program from its binary executable is known as reverse engineering; it has a wide range of applications in software security, exposing piracy, legacy systems, etc. Since reversing is ultimately a search for meaning, there is much interest in inferring a type (a meaning) for the elements of a binary in a consistent way. Unfortunately existing approaches do not guarantee any semantic relevance for their reconstructed types. This paper presents a new and semantically-founded approach that provides strong guarantees for the reconstructed types. Key to our approach is the derivation of a witness program in a high-level language alongside the reconstructed types. This witness has the same semantics as the binary, is type correct by construction, and it induces a (justifiable) type assignment on the binary. Moreover, the approach effectively yields a type-directed decompiler. We formalise and implement the approach for reversing Minx, an abstraction of x86, to MinC, a type-safe dialect of C with recursive datatypes. Our evaluation compiles a range of textbook C algorithms to MinX and then recovers the original structures

Certified Universal Gathering in R2R^2 for Oblivious Mobile Robots

We present a unified formal framework for expressing mobile robots models, protocols, and proofs, and devise a protocol design/proof methodology dedicated to mobile robots that takes advantage of this formal framework. As a case study, we present the first formally certified protocol for oblivious mobile robots evolving in a two-dimensional Euclidean space. In more details, we provide a new algorithm for the problem of universal gathering mobile oblivious robots (that is, starting from any initial configuration that is not bivalent, using any number of robots, the robots reach in a finite number of steps the same position, not known beforehand) without relying on a common orientation nor chirality. We give very strong guaranties on the correctness of our algorithm by proving formally that it is correct, using the COQ proof assistant. This result demonstrates both the effectiveness of the approach to obtain new algorithms that use as few assumptions as necessary, and its manageability since the amount of developed code remains human readable.Comment: arXiv admin note: substantial text overlap with arXiv:1506.0160

Selling Australia as "clean and green"

"Green and clean" has been used as a key marketing tool to promote Australian products overseas. The rationale is that consumers are generally concerned about personal health and the environment and will choose, and pay price premiums, for products that are perceived to be clean (good for them) and green (good for the environment) over alternative products. But is Australia seen as clean and green? Is it really why people buy Australian? This paper attempts to investigate such questionsexport marketing, clean green image, Marketing,

Comparison Tables of State Nutrient Trading Programs in the Chesapeake Bay Watershed

Examines opportunities for wastewater treatment plants to trade credits or offsets with other plants or farms releasing lower volumes of nutrients across states. Compares design elements of programs in Maryland, Pennsylvania, Virginia, and West Virginia

How Special Education Teachers of High School-Aged Students Address Sex Education

In this qualitative pilot study, five special education teachers of high-school-age students responded to seven research questions regarding how they address sex education, a part of family living from the Health Framework for California Public Schools. The participating special education teachers taught either in special education programs for the emotionally-disturbed(ED) or severely handicapped (SH). An overall identified theme for both groups of teachers was family participation. Other themes were teachers needing to be expert at understanding students learning styles and the need to be an expert at modifying goals for students learning. School nurses can help support and provide accurate information for teachers teaching family living content, as well as be a resource for discussing topics such as helping patients with mv infection or accessing current information regarding sexually-transmitted diseases, and facilitating making the information more real and understandable for special education students. School nurses can also support teachers teaching severely handicapped students by being a resource for information about their student population, in finding visual aids and program development and implementation