187 search results - page 37 / 38 » Secure information flow and program logics |
EUROSYS
2009
ACM
14 years 2 months ago
2009
ACM
This paper evaluates pointer tainting, an incarnation of Dynamic Information Flow Tracking (DIFT), which has recently become an important technique in system security. Pointer tai...
PLDI
2003
ACM
13 years 11 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
OOPSLA
2007
Springer
13 years 11 months ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
DSN
2004
IEEE
13 years 9 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
DEBS
2010
ACM
13 years 8 months ago
2010
ACM
Operator-based programming languages provide an effective development model for large scale stream processing applications. A stream processing application consists of many runtim...