6527 search results - page 1076 / 1306 » On Typing Information Flow |
235
click to vote
PKC
2010
Springer
15 years 11 months ago
2010
Springer
In many practical settings, participants are willing to deviate from the protocol only if they remain undetected. Aumann and Lindell introduced a concept of covert adversaries to f...
180
click to vote
CAV
2010
Springer
15 years 11 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
226
click to vote
ESCIENCE
2007
IEEE
15 years 11 months ago
2007
IEEE
Provenance management has become increasingly important to support scientific discovery reproducibility, result interpretation, and problem diagnosis in scientific workflow enviro...
192
click to vote
PETRA
2010
ACM
15 years 11 months ago
2010
ACM
Monitoring human motion has recently received great attention and can be used in many applications, such as human motion prediction. We present the collected data set from a body ...
173
click to vote
RTA
2010
Springer
15 years 11 months ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for defining the semantics of programming languages. While most work in this area has focused on de...