4731 search results - page 17 / 947 » Securing Interactive Programs |
PLDI
2012
ACM
11 years 10 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
POPL
2001
ACM
14 years 7 months ago
2001
ACM
traction
ESOP
2003
Springer
14 years 21 days ago
2003
Springer
COMSWARE
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Wireless sensor networks consist of small, inexpensive devices which interact with the environment, communicate with each other, and perform distributed computations in...
ISI
2006
Springer
13 years 7 months ago
2006
Springer
