ADAEUROPE
1997
Springer
14 years 4 days ago
1997
Springer
ADAEUROPE
1997
Springer
14 years 4 days ago
1997
Springer
This paper introduces the current developments of the SPIF (Syst`eme de Prototypage `a Implantation rapide et Faible coˆut) project. The goal of SPIF is to provide a low cost envi...
AC
1997
Springer
14 years 4 days ago
1997
Springer
AC
1997
Springer
14 years 4 days ago
1997
Springer
Abstract. This paper examines proposals for three cryptographic primitives: block ciphers, stream ciphers, and hash functions. It provides an overview of the design principles of a...
AC
1997
Springer
14 years 4 days ago
1997
Springer
This paper describes the state of the art for cryptographic primitives that are used for protecting the authenticity of information: cryptographic hash functions and digital signat...
AC
1997
Springer
14 years 4 days ago
1997
Springer
AC
1997
Springer
14 years 4 days ago
1997
Springer
AADEBUG
1997
Springer
14 years 4 days ago
1997
Springer
A dynamic program slice is an executable part of a program whose behavior is identical, for the same program input, to that of the original program with respect to a variable(s) o...
AADEBUG
1997
Springer
14 years 4 days ago
1997
Springer
This paper presents a new approach to enforcing array bounds and pointer checking in the C language. Checking is rigorous in the sense that the result of pointer arithmetic must r...
AADEBUG
1997
Springer
14 years 4 days ago
1997
Springer
Currently, few tools are available for assisting developers with debugging intelligent systems. Because these systems rely heavily on context dependent knowledge and sometimes sto...