Sciweavers

3473 search results - page 266 / 695
» Aspect-Oriented Programming with C
Sort
View
OSDI
2006
ACM
16 years 6 months ago
Securing Software by Enforcing Data-flow Integrity
Software attacks often subvert the intended data-flow in a vulnerable program. For example, attackers exploit buffer overflows and format string vulnerabilities to write data to u...
Manuel Costa, Miguel Castro, Timothy L. Harris
DDECS
2008
IEEE
184views Hardware» more  DDECS 2008»
16 years 1 months ago
Software-Based Self-Test Strategy for Data Cache Memories Embedded in SoCs
— Testing SoC is a challenging task, especially when addressing complex and highfrequency devices. Among the different techniques that can be exploited, Software-Based Selft-Test...
Wilson J. Perez, Jaime Velasco-Medina, Danilo Ravo...
C5
2006
IEEE
16 years 19 days ago
Idioms for Composing Games with EToys
1 Creating one’s own games has been the main motivation for many people to learn programming. But the barrier to learn a general purpose programming language is very high, espec...
Markus Gälli, Oscar Nierstrasz, Serge Stinckw...
IWIA
2005
IEEE
16 years 4 days ago
A Methodology for Designing Countermeasures against Current and Future Code Injection Attacks
This paper proposes a methodology to develop countermeasures against code injection attacks, and validates the methodology by working out a specific countermeasure. This methodol...
Yves Younan, Wouter Joosen, Frank Piessens
IFL
1998
Springer
113views Formal Methods» more  IFL 1998»
15 years 10 months ago
Shared Memory Multiprocessor Support for SAC
Abstract. Sac (Single Assignment C) is a strict, purely functional programming language primarily designed with numerical applications in mind. Particular emphasis is on efficient ...
Clemens Grelck