18 search results - page 2 / 4 » Type inference and informative error reporting for secure in... |
252
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...
168
Voted
PLDI
2009
ACM
16 years 4 days 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...
124
click to vote
SIGSOFT
2008
ACM
16 years 6 months ago
2008
ACM
Programs trusted with secure information should not release that information in ways contrary to system policy. However, when a program contains an illegal flow of information, cu...
145
Voted
SAS
2004
Springer
15 years 10 months ago
2004
Springer
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....
197
click to vote
BMCBI
2011
15 years 11 days ago
2011
Background: The Cell Ontology (CL) is an ontology for the representation of in vivo cell types. As biological ontologies such as the CL grow in complexity, they become increasingl...