53 search results - page 1 / 11 » SPEE: A Secure Program Execution Environment tool using code... |
76
Voted
JHSN
2006
15 years 1 months ago
2006
113
Voted
SOSP
2007
ACM
15 years 10 months ago
2007
ACM
This paper describes an efficient and robust approach to provide a safe execution environment for an entire operating system, such as Linux, and all its applications. The approach...
126
Voted
EUROMICRO
2005
IEEE
15 years 6 months ago
2005
IEEE
Code revision of a leading telecom product was performed, combining manual audit and static analysis tools. On average, one exploitable vulnerability was found for every 4000 line...
136
Voted
AADEBUG
2005
Springer
15 years 6 months ago
2005
Springer
Debugging techniques have evolved over the years in response to changes in programming languages, implementation techniques, and user needs. A new type of implementation vehicle f...
101
Voted
ECOOP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Transactional memory (TM) has recently emerged as an effective tool for extracting fine-grain parallelism from declarative critical sections. In order to make STM systems...