2593 search results - page 211 / 519 » constraints 2007 |
153
click to vote
ARC
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Encryption of volatile FPGA bitstreams provides confidentiality to the design but does not ensure its authenticity. This paper motivates the need for adding authenticati...
150
Voted
BIRTHDAY
2007
Springer
16 years 23 days 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...
152
click to vote
FSEN
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
138
click to vote
GI
2007
Springer
16 years 23 days ago
2007
Springer
: Ground target surveillance is getting a more and more important task, for civil as for military applications. Ground targets may be bound to infrastructural constraints, like veh...
156
click to vote
ICSE
2007
IEEE-ACM
16 years 22 days ago
2007
IEEE-ACM
This paper outlines our experiences with making architectural tradeoffs between performance, availability, security, and usability, in light of stringent cost and time-to-market c...