The article considers relevance of using the formalism algorithmic networks in terms object-oriented programming and development basic ideology to solve problems framework systems is considered. A solution proposed create a network connected objects certain structure with its completeness. choice platform for implementation required task on software part was made, providing full support paradig...

When developing exploits for modern x86 64-bit systems, attackers must handcraft exploits for each binary. This involves finding a vulnerability (such as a stack-based buffer overflow) and diverting control flow (overwrite return address). Modern exploits employ Return-Oriented Programming (ROP) to bypass widely deployed defenses such as WˆX. Building a ROP chain requires manual effort to find ...

Address space randomization is believed to be a strong defense against memory error exploits. Many code and data objects in a potentially vulnerable program and the system could be randomized, including those on the stack and heap, base address of code, order of functions, PLT, GOT, etc. Randomizing these code and data objects is believed to be effective in obfuscating the addresses in memory t...

A secure voting machine design must withstand new attacks devised throughout its multi-decade service lifetime. In this paper, we give a case study of the longterm security of a voting machine, the Sequoia AVC Advantage, whose design dates back to the early 80s. The AVC Advantage was designed with promising security features: its software is stored entirely in read-only memory and the hardware ...

Whereas object-orientation is established as a major paradigm for software development, testing methods specifically targeted towards object-oriented, classbased languages are less common. We propose a formal testing framework for object-oriented programs, based on the observable trace semantics of class components, i.e., for black-box testing. In particular, we propose a test specification lan...