840 search results - page 12 / 168 » Open multi-methods for c |
DIMVA
2006
14 years 11 months ago
2006
Incomplete or improper input validation is one of the major sources of security bugs in programs. While traditional approaches often focus on detecting string related buffer overfl...
CSFW
2000
IEEE
15 years 1 months ago
2000
IEEE
In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are...
DATE
2004
IEEE
15 years 1 months ago
2004
IEEE
This work focuses on communication architecture analysis for multi-processor Systems-on-Chips (MPSoCs), and it leverages a SystemC-based platform to simulate a complete multi-proc...
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
ICSE
1997
IEEE-ACM
15 years 1 months ago
1997
IEEE-ACM
