977 search results - page 190 / 196 » Soft Constraints for Security |
182
click to vote
ESOP
2009
Springer
16 years 23 days ago
2009
Springer
Hofmann and Jost have presented a heap space analysis [1] that finds linear space bounds for many functional programs. It uses an amortised analysis: assigning hypothetical amount...
190
click to vote
CRYPTO
2009
Springer
16 years 16 days ago
2009
Springer
We study the design of cryptographic primitives resilient to key-leakage attacks, where an attacker can repeatedly and adaptively learn information about the secret key, subject o...
137
click to vote
MHCI
2009
Springer
16 years 15 days ago
2009
Springer
We report a series of user studies that evaluate the feasibility and usability of light-weight user authentication with a single tri-axis accelerometer. We base our investigation ...
150
click to vote
SIGCOMM
2009
ACM
16 years 14 days ago
2009
ACM
New protocols for the data link and network layer are being proposed to address limitations of current protocols in terms of scalability, security, and manageability. High-speed r...
182
click to vote
RTAS
2008
IEEE
16 years 10 days ago
2008
IEEE
The notion of resource reservation for obtaining real-time scheduling guarantees and enforcement of resource usage has gained strong support in recent years. However, much work on...