Computer architecture and design

Transaction security system extensions to the common cryptographic architecture

IBM Systems Journal - Special issue on cryptology

A Practical Methodology for the Formal Verification of RISC Processors

Formal Methods in System Design

Data management in networks: experimental evaluation of a provably good strategy

Proceedings of the eleventh annual ACM symposium on Parallel algorithms and architectures

The Undergraduate Curriculum in Computer Architecture

IEEE Micro

Arithmetic Design for Permutation Groups

CHES '99 Proceedings of the First International Workshop on Cryptographic Hardware and Embedded Systems

Network robustness and graph topology

ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26