2137 search results - page 112 / 428 » Proving Abstract Non-interference |
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...
VTC
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— The tower-top deployment of base station electronics could prove of utility in future cellular communication applications. We present a scalable, non-radiative, automat...
113
click to vote
ACNS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Untraceability and unreuseability are essential security properties for electronic cash protocols. Many protocols have been proposed to meet these two properties. However...
BIRTHDAY
2007
Springer
15 years 9 months ago
2007
Springer
elle Gnaedig, H´el`ene Kirchner: Narrowing abstraction and constraints for proving properties of reduction relations 12:30- 14:00 Lunch break 14:00- 15: 50. Session 3 • Paul Bra...
103
click to vote
CLEAR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper presents the audio based tracking system designed at FBK-irst laboratories for the CLEAR 2007 evaluation campaign. The tracker relies on the Global Coherence F...