270 search results - page 9 / 54 » Building Software Securely from the Ground Up |
IPPS
2009
IEEE
15 years 4 months ago
2009
IEEE
—High-end machines at modern HPC centers are constantly undergoing hardware and system software upgrades – necessitating frequent rebuilds of application codes. The number of p...
CHI
2008
ACM
15 years 10 months ago
2008
ACM
With the proliferation of computer security threats on the Internet, especially threats such as worms that automatically exploit software flaws, it is becoming more and more impor...
CSFW
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
100
click to vote
HICSS
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper, the authors propose and validate a methodology for the development of integrated Information Technology (IT) infrastructures. The motivation for putting forward a n...
77
Voted
SIGCSE
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we report on our experience in designing and delivering two new software design courses in the Informatics major at UC Irvine. When the major was created in 2004, i...