Computer Architecture

Baer,

doi:10.1109/mc.1984.1658960

Cited by 15 publications

(10 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this paper, we do not provide a complete overview of all hardware which may allow write access to kernel code, but do note that technologies such as direct memory access (or bus mastering) [10,33], FireWire [28], and ACPI [32] may provide mechanisms for updating physical memory. Because the kernel mediates access to the underlying hardware, applications wishing to make use of hardware in modifying the kernel must request such access through the kernel.…”

Section: Hardware Interfaces To Kernel Memorymentioning

confidence: 99%

Countering unauthorized code execution on commodity kernels: A survey of common interfaces allowing kernel code modification

Jaeger

Oorschot²,

Wurster³

2011

Computers & Security

View full text Add to dashboard Cite

Motivated by the goal of hardening operating system kernels against rootkits and related malware, we survey the common interfaces and methods which can be used to modify (either legitimately or maliciously) the kernel which is run on a commodity desktop computer. We also survey how these interfaces can be restricted or disabled. While we concentrate mainly on Linux, many of the methods for modifying kernel code also exist on other operating systems, some of which are discussed.

show abstract

Section: Hardware Interfaces To Kernel Memorymentioning

confidence: 99%

Countering unauthorized code execution on commodity kernels: A survey of common interfaces allowing kernel code modification

Jaeger

Oorschot²,

Wurster³

2011

Computers & Security

View full text Add to dashboard Cite

show abstract

“…Only 5000 additions or subtractions were performed per second (Baer, 1980). Inherited from previous electromechanical devices, this primitive hardware determined that there was no corresponding programming in the sense we give today.…”

Section: Relationship Between Software and Hardwarementioning

confidence: 99%

“…With the developments in batch processing, high level programming and independent transaction, the user was isolated from the machine. Debugging was off-line (Baer, 1980). The first generation marked the beginning of the comprehensive system which was due to the rise of a number of contradictions between software and hardware.…”

Section: The Genetic Changes Of Hardware and Softwarementioning

confidence: 99%

The AI elephant

Feng¹

1989

AI & Soc

View full text Add to dashboard Cite

Abstract. The paper presents a Chinese philosophical point of view of AI, and presents a novel system of the AI machine. There are two basic relations or contradictions which drive computer developments forward. One is between software and hardware and the other is between data structure and system organization. It is suggested that a description of a future AI system should primarily start from these contradictions.

show abstract

“…Various prescriptions have been made as to what this term means or should mean [2,12,17]. The following characterization offers no startling new insight on this matter; we merely attempt to unify these different definitions in the context of the social practice of architectural design and research.…”

Section: 'Definin 9' Computer Architecturementioning

confidence: 99%

On the verification of computer architectures using an architecture description language

Dasgupta¹

1983

Proceedings of the 10th Annual International Symposium on Computer Architecture - ISCA '83

View full text Add to dashboard Cite

In a previous paper [8], we had presented the notion of a family of languages for the multilevel design and description of computer architectures. Details of a particular language family, currently under development, was also described. One of the constituent members of this family is S~, intended for the specifications of the outer (or exo-) and inner (or endo-) architectures of general purpose von Neumann style computers. In this paper ~e describe the formalization and application of SA to the formal proofs 9J_correctness of architecture designs.

show abstract

Computer Architecture

Cited by 15 publications

References 23 publications

Countering unauthorized code execution on commodity kernels: A survey of common interfaces allowing kernel code modification

Countering unauthorized code execution on commodity kernels: A survey of common interfaces allowing kernel code modification

The AI elephant

On the verification of computer architectures using an architecture description language

Contact Info

Product

Resources

About