2257 search results - page 165 / 452 » Secure program partitioning |
138
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
Programming languages are the primary mechanism by which software is created, yet most of us have access to only a few, fixed, programming languages. Any problem we wish to expre...
128
click to vote
RSP
2007
IEEE
15 years 11 months ago
2007
IEEE
Designing security softwares that evolve as quickly as threats is a truthful challenge. In addition, current software becomes increasingly more complex and difficult to handle ev...
150
Voted
CSFW
1997
IEEE
15 years 9 months ago
1997
IEEE
A type system is given that eliminates two kinds of covert flows in an imperative programming language. The first kind arises from nontermination and the other from partial oper...
143
click to vote
TCC
2010
Springer
16 years 2 days ago
2010
Springer
A number of works have investigated using tamper-proof hardware tokens as tools to achieve a variety of cryptographic tasks. In particular, Goldreich and Ostrovsky considered the ...
158
Voted
LICS
2003
IEEE
15 years 10 months ago
2003
IEEE
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and ...