1183 search results - page 108 / 237 » On flow-sensitive security types |
117
click to vote
OOPSLA
2001
Springer
15 years 9 months ago
2001
Springer
Mixin modules are proposed as an extension of a class-based programming language. Mixin modules combine parallel extension of classes, including extension of the self types for th...
140
click to vote
AGENTS
1997
Springer
15 years 8 months ago
1997
Springer
Most sensors used for robot navigation fall into one of two broad categories: range sensors that give approximate distances to obstacles, and object-based sensors that detect and ...
146
click to vote
CSFW
1998
IEEE
15 years 8 months ago
1998
IEEE
In previous work [16], we give a type system that guarantees that well-typed multithreaded programs are possibilistically noninterfering. If thread scheduling is probabilistic, ho...
150
click to vote
AAECC
2006
Springer
15 years 4 months ago
2006
Springer
So-called nonadjacent representations are commonly used in elliptic curve cryptography to facilitate computing a scalar multiple of a point on an elliptic curve. A nonadjacent rep...
148
click to vote
MMS
2007
15 years 4 months ago
2007
In this work we propose a novel type of digital video encryption that has several advantages over other currently available digital video encryption schemes. We also present an ex...