910 search results - page 146 / 182 » XACML Function Annotations |
101
click to vote
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
ISSTA
2006
ACM
15 years 4 months ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...
PLDI
2010
ACM
15 years 3 months ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...
117
click to vote
DATE
2009
IEEE
15 years 2 months ago
2009
IEEE
The inherent reconfigurability of SRAM-based FPGAs enables the use of configurations optimized for the problem at hand. Optimized configurations are smaller and faster than their g...
105
click to vote
APLAS
2010
ACM
14 years 11 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...