78 search results - page 1 / 16 » A Typed Assembly Language for Confidentiality |
ESOP
2006
Springer
13 years 8 months ago
2006
Springer
Language-based information-flow analysis is promising in protecting data confidentiality. Although much work has been carried out in this area, relatively little has been done for ...
APLAS
2007
ACM
13 years 8 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...
TIC
2000
Springer
13 years 7 months ago
2000
Springer
Abstract. There is a growing need to provide low-overhead softwarebased protection mechanisms to protect against malicious or untrusted code. Type-based approaches such as proof-ca...
CORR
2009
Springer
13 years 2 months ago
2009
Springer
ICTCS
2005
Springer
13 years 9 months ago
2005
Springer
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...