16218 search results - page 151 / 3244 » Standards |
136
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper describes a novel design methodology to implement a secure DPA resistant crypto processor. The methodology is suitable for integration in a common automated standard ce...
133
click to vote
POPL
1995
ACM
15 years 8 months ago
1995
ACM
We present a variant of the Standard ML module system rameterized abstract types (i.e. functors returning generative types) map provably equal arguments to compattract types, inst...
148
click to vote
APLAS
2008
ACM
15 years 6 months ago
2008
ACM
We define a small-step operational semantics for the ECMAScript standard language corresponding to JavaScript, as a basis for analyzing security properties of web applications and ...
112
click to vote
DOCENG
2008
ACM
15 years 6 months ago
2008
ACM
In this paper, we propose an export architecture that provides a clear separation of multimedia authoring services from publication services. We illustrate this architecture with ...