Sciweavers

1209 search results - page 163 / 242
» On the Resilience of Classes to Change
Sort
View
88
Voted
OOPSLA
2009
Springer
15 years 7 months ago
Typestate-oriented programming
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Z...
89
Voted
ACSAC
2008
IEEE
15 years 7 months ago
Soft-Timer Driven Transient Kernel Control Flow Attacks and Defense
A new class of stealthy kernel-level malware, called transient kernel control flow attacks, uses dynamic soft timers to achieve significant work while avoiding any persistent ch...
Jinpeng Wei, Bryan D. Payne, Jonathon Giffin, Calt...
89
Voted
ETFA
2008
IEEE
15 years 7 months ago
Segmentation of standard ethernet messages in the time-triggered ethernet
TT Ethernet is a communication architecture which allows the integration of the standard Ethernet traffic and real-time Ethernet traffic in the same network without invalidating...
Vaclav Mikolasek, Astrit Ademaj, Stanislav Racek
112
Voted
HOST
2008
IEEE
15 years 7 months ago
Detecting Malicious Inclusions in Secure Hardware: Challenges and Solutions
This paper addresses a new threat to the security of integrated circuits (ICs) used in safety critical, security and military systems. The migration of IC fabrication to low-cost ...
Xiaoxiao Wang, Mohammad Tehranipoor, Jim Plusquell...
114
Voted
IEEEPACT
2008
IEEE
15 years 7 months ago
Redundancy elimination revisited
This work proposes and evaluates improvements to previously known algorithms for redundancy elimination. Enhanced Scalar Replacement combines two classic techniques, scalar replac...
Keith D. Cooper, Jason Eckhardt, Ken Kennedy