730 search results - page 6 / 146 » Security-typed programming within dependently typed programm... |
POPL
1999
ACM
13 years 11 months ago
1999
ACM
Notions of program dependency arise in many settings: security, partial evaluation, program slicing, and call-tracking. We argue that there is a central notion of dependency commo...
PLDI
2009
ACM
14 years 1 months ago
2009
ACM
Program errors are a source of information leaks. Tracking these leaks is hard because error propagation breaks out of program structure. Programming languages often feature excep...
LISP
2002
13 years 6 months ago
2002
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
ER
2009
Springer
14 years 1 months ago
2009
Springer
CSFW
2012
IEEE
11 years 9 months ago
2012
IEEE
Abstract—This paper studies the foundations of informationflow security for interactive programs. Previous research assumes that the environment is total, that is, it must alway...