Sciweavers

5843 search results - page 29 / 1169
» Software Security in Practice
Sort
View
ACSAC
1998
IEEE
15 years 8 months ago
A Practical Approach to Measuring Assurance
1 Assurance has been defined as "the degree of confidence that security needs are satisfied"[2]. The problem with this definition is that, unless one has a way to specify...
G. F. Jelen, J. R. Williams
117
Voted
IEEEARES
2008
IEEE
15 years 10 months ago
A Lightweight Security Analyzer inside GCC
This paper describes the design and implementation of a lightweight static security analyzer that exploits the compilation process of the gcc compiler. The tool is aimed at giving...
Davide Pozza, Riccardo Sisto
111
Voted
STORAGESS
2005
ACM
15 years 9 months ago
Security of erasable memories against adaptive adversaries
We study cryptographic modeling and encryption-based design techniques for guaranteeing privacy of data that is first stored in some type of computer memory and then deleted. We ...
Giovanni Di Crescenzo
187
Voted
SOFTWARE
2002
15 years 3 months ago
Correctness by Construction: Developing a Commercial Secure System
Anthony Hall, Roderick Chapman