Digital Systems with Algorithm Implementation

Algorithmic State Machine Design and Automatic Theorem Proving: Two Dual Approaches to the Same Activity

IEEE Transactions on Computers

A General Model for Memory-Based Finite-State Machines

IEEE Transactions on Computers

A functional language for description and design of digital systems: sequential constructs

DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference

Embryonics: a new methodology for designing field-programmable gate arrays with self-repair and self-replicating properties

Readings in hardware/software co-design

Design with race-free hardware semantics

Proceedings of the conference on Design, automation and test in Europe: Proceedings

A Matrix Formalism for Asynchronous Implementation of Algorithms

IEEE Transactions on Computers

Synthesis and Asynchronous Implementation of Algorithms Using a Generalized P-Function Concept

IEEE Transactions on Computers

Input Variable Assignment and Output Phase Optimization of PLA's

IEEE Transactions on Computers

An information-theoretic model for adaptive side-channel attacks

Proceedings of the 14th ACM conference on Computer and communications security

Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks

ESORICS '08 Proceedings of the 13th European Symposium on Research in Computer Security: Computer Security

A Parallel Branching Program Machine for Emulation of Sequential Circuits

ARC '09 Proceedings of the 5th International Workshop on Reconfigurable Computing: Architectures, Tools and Applications

Automatically deriving information-theoretic bounds for adaptive side-channel attacks

Journal of Computer Security

Embryonics: a new methodology for designing field-programmable gate arrays with self-repair and self-replicating properties

IEEE Transactions on Very Large Scale Integration (VLSI) Systems

Timing-sensitive information flow analysis for synchronous systems

ESORICS'06 Proceedings of the 11th European conference on Research in Computer Security