2236 search results - page 69 / 448 » Secure Software Design in Practice |
132
click to vote
VTC
2010
IEEE
15 years 27 days ago
2010
IEEE
—In this paper, we propose a mutual authentication and key agreement scheme for V2I communications. Our scheme improves security and privacy protection compared with the existing...
94
Voted
CCS
2007
ACM
15 years 8 months ago
2007
ACM
Various system architectures have been proposed for high assurance enforcement of multilevel security. This paper provides an analysis of the relative merits of three architectura...
170
Voted
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
127
click to vote
DAC
2007
ACM
15 years 6 months ago
2007
ACM
While cryptographic algorithms are usually strong against mathematical attacks, their practical implementation, both in software and in hardware, opens the door to side-channel at...
110
click to vote
EUROSYS
2009
ACM
15 years 11 months ago
2009
ACM
This paper evaluates pointer tainting, an incarnation of Dynamic Information Flow Tracking (DIFT), which has recently become an important technique in system security. Pointer tai...