1001 search results - page 7 / 201 » Myths in Software Engineering: From the Other Side |
86
Voted
RE
2004
Springer
15 years 2 months ago
2004
Springer
Aspect-oriented programming (AOP) has been attracting much attention in the Software Engineering community by advocating that programs should be structured according to programmer...
ASM
2010
ASM
15 years 24 days ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
ACNS
2003
Springer
15 years 2 months ago
2003
Springer
1 We describe a side-channel attack on a substitution block, which is usually implemented as a table lookup operation. In particular, we have investigated smartcard implementations...
AFRICACRYPT
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. This article investigates the relevance of the theoretical framework on profiled side-channel attacks presented by F.-X. Standaert et al. at Eurocrypt 2009. The analyses ...
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
We propose a new language-independent, structural test adequacy criterion called state coverage. State coverage measures whether unit-level tests check the outputs and side effect...