Sciweavers

5843 search results - page 141 / 1169
» Software Security in Practice
Sort
View
QSIC
2008
IEEE
15 years 10 months ago
Targeting Security Vulnerabilities: From Specification to Detection (Short Paper)
Aiman Hanna, Hai Zhou Ling, Jason Furlong, Zhenron...
ADAEUROPE
2006
Springer
15 years 10 months ago
Secure Execution of Computations in Untrusted Hosts
Sri Hari Krishna Narayanan, Mahmut T. Kandemir, Ri...
ICFEM
2009
Springer
15 years 2 months ago
Improving Automatic Verification of Security Protocols with XOR
Abstract. K
Xihui Chen, Ton van Deursen, Jun Pang
SIGSOFT
2003
ACM
16 years 5 months ago
Tracking pointers with path and context sensitivity for bug detection in C programs
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
V. Benjamin Livshits, Monica S. Lam
OOPSLA
2009
Springer
15 years 11 months ago
Enhancing source-level programming tools with an awareness of transparent program transformations
Programs written in managed languages are compiled to a platform-independent intermediate representation, such as Java bytecode. The relative high level of Java bytecode has engen...
Myoungkyu Song, Eli Tilevich