1186 search results - page 163 / 238 » A New Approach to Secure Logging |
98
Voted
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
As heterogeneous parallel systems become dominant, application developers are being forced to turn to an incompatible mix of low level programming models (e.g. OpenMP, MPI, CUDA, ...
114
click to vote
TSE
2010
14 years 7 months ago
2010
The increasing reliance put on networked computer systems demands higher levels of dependability. This is even more relevant as new threats and forms of attack are constantly being...
94
Voted
PLDI
2012
ACM
13 years 3 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
94
Voted
IUI
2010
ACM
15 years 7 months ago
2010
ACM
A typical knowledge worker is involved in multiple tasks and switches frequently between them every work day. These frequent switches become expensive because each task switch req...
93
Voted
HICSS
2009
IEEE
15 years 7 months ago
2009
IEEE
Many groups are interested in the insider threat problem, but the model generally used by all of these groups is implicitly binary—one is either within a perimeter or not. There...