577 search results - page 51 / 116 » Engineering Sufficiently Secure Computing |
143
Voted
HYBRID
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we study the identifiability of linear switched systems (LSSs ) in discrete-time. The question of identifiability is central to system identification, as it sets the...
126
Voted
AUSFORENSICS
2004
15 years 4 months ago
2004
In cases involving computer related crime, event oriented evidence such as computer event logs, and telephone call records are coming under increased scrutiny. The amount of techn...
117
Voted
CCS
2009
ACM
15 years 9 months ago
2009
ACM
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...
106
Voted
TRUST
2010
Springer
15 years 7 months ago
2010
Springer
All practical software hardening schemes, as well as practical encryption schemes, e.g., AES, were not proven to be secure. One technique to enhance security is robust combiners. A...
125
Voted
SP
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—Modern automobiles are no longer mere mechanical devices; they are pervasively monitored and controlled by dozens of digital computers coordinated via internal vehicular...