Sciweavers

15421 search results - page 296 / 3085
» Dependability
Sort
View
RTSS
2002
IEEE
15 years 11 months ago
State-Dependent Deadline Scheduling
This paper presents a new workload model, called the state-dependent deadline model, for applications whose high-level timing requirements may change with time. The problem is how...
Chi-Sheng Shih, Jane W.-S. Liu
SCAM
2002
IEEE
15 years 11 months ago
VADA: A Transformation-Based System for Variable Dependence Analysis
Mark Harman, Chris Fox, Robert M. Hierons, Lin Hu,...
EDCC
2010
Springer
15 years 11 months ago
Comparing and Validating Measurements of Dependability Attributes
—This paper investigates sources of uncertainty in measurement results obtained using three different fault injection techniques. Two software-implemented and one test port-based...
Daniel Skarin, Raul Barbosa, Johan Karlsson
181
Voted
EUROCRYPT
2010
Springer
15 years 11 months ago
Plaintext-Dependent Decryption: A Formal Security Treatment of SSH-CTR
This paper presents a formal security analysis of SSH in counter mode in a security model that accurately captures the capabilities of real-world attackers, as well as security-rel...
Kenneth G. Paterson, Gaven J. Watson
EUROCRYPT
2010
Springer
15 years 11 months ago
Bounded Key-Dependent Message Security
We construct the first public-key encryption scheme that is proven secure (in the standard model, under standard assumptions) even when the attacker gets access to encryptions of ...
Boaz Barak, Iftach Haitner, Dennis Hofheinz, Yuval...