This paper presents common weaknesses of requirements documents from commercial software projects that frequently cause problems in practice. Many documents contain extensive, unstructured or even superfluous descriptions of details. At the same time, they lack a thorough description of the aim of the software system or one of its features. Such documents are difficult to read and to work with ...

Although much thought usually goes into the design of encryption algorithms and protocols, less consideration is often given to equally important issues such as the selection of cryptographically strong random numbers, so that an attacker may find it easier to break the random number generator than the security system it is used with. This paper provides a comprehensive guide to designing and i...

The complexity of a computational problem is traditionally quantified based on the hardness of its worst case. This approach has many advantages and has led to a deep and beautiful theory. However, from the practical perspective, this leaves much to be desired. In application areas, practically interesting instances very often occupy just a tiny part of an algorithm’s space of instances, and th...