4731 search results - page 22 / 947 » Securing Interactive Programs |
PPDP
2005
Springer
15 years 5 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
OOPSLA
2009
Springer
15 years 6 months ago
2009
Springer
SP
2010
IEEE
15 years 3 months ago
2010
IEEE
CCS
2010
ACM
15 years 3 months ago
2010
ACM
CCS
2008
ACM
15 years 1 months ago
2008
ACM