Sciweavers

5843 search results - page 282 / 1169
» Software Security in Practice
Sort
View
CODES
2005
IEEE
15 years 11 months ago
High-level synthesis for large bit-width multipliers on FPGAs: a case study
In this paper, we present the analysis, design and implementation of an estimator to realize large bit width unsigned integer multiplier units. Larger multiplier units are require...
Gang Quan, James P. Davis, Siddhaveerasharan Devar...
OOPSLA
2005
Springer
15 years 11 months ago
Exploring the acceptability envelope
An acceptability envelope is a region of imperfect but acceptable software systems surrounding a given perfect system. Explicitly targeting the acceptability envelope during devel...
Martin C. Rinard, Cristian Cadar, Huu Hai Nguyen
CRYPTOLOGIA
2007
81views more  CRYPTOLOGIA 2007»
15 years 6 months ago
Sigaba: Cryptanalysis of the Full Keyspace
In this paper we consider an attack on the SIGABA cipher under the assumption that the largest practical keyspace is used. The attack highlights various strengths and weaknesses o...
Mark Stamp, Wing On Chan
HICSS
2009
IEEE
118views Biometrics» more  HICSS 2009»
16 years 24 days ago
FXplorer: Exploration of Computed Software Behavior - A New Approach to Understanding and Verification
The craft of software understanding and verification can benefit from technologies that enable evolution toward a true engineering discipline. In current practice, software develo...
Luanne Burns, Timothy Daly
SEAA
2008
IEEE
16 years 11 days ago
Towards Efficient Software Component Evaluation: An Examination of Component Selection and Certification
When software systems incorporate existing software components, there is a need to evaluate these components. Component evaluation is of two kinds according to literature: compone...
Rikard Land, Alexandre Alvaro, Ivica Crnkovic