7924 search results - page 1273 / 1585 » Non-Malleable Functions and Their Applications |
182
click to vote
ISCC
2003
IEEE
16 years 6 hour ago
2003
IEEE
Sensor networks have recently gained popularity for a wide spectrum of applications. When performing monitoring tasks in hostile environments, security requirements become critical...
184
click to vote
LICS
2003
IEEE
16 years 3 hour ago
2003
IEEE
We present a constructive procedure for extracting polynomial-time realizers from ineffective proofs of Π0 2theorems in feasible analysis. By ineffective proof we mean a proof wh...
196
click to vote
MEMOCODE
2003
IEEE
16 years 3 hour ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
216
click to vote
NDSS
2003
IEEE
16 years 2 hour ago
2003
IEEE
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...
177
click to vote
RSP
2003
IEEE
16 years 1 hour ago
2003
IEEE
The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specificati...