# Fingerprint Dive into the research topics where Shiu Kai Chin is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

- Sort by
- Weight
- Alphabetically

### Engineering & Materials Science

Formal methods

Access control

Specifications

Hardware

Formal logic

Network protocols

Computer aided design

Semantics

Electronic mail

Algebra

Interoperability

Authentication

Computer simulation languages

Binary decision diagrams

Adders

Firmware

Curricula

Finite automata

Intelligent systems

Reliability analysis

Temporal logic

Formal verification

Testing

Computer hardware

Engineers

Information systems

Servers

Systems analysis

Computer systems

Field programmable gate arrays (FPGA)

Pipelines

Chemical analysis

Electronic commerce

Engines

Networks (circuits)

Data storage equipment

SCADA systems

Accreditation

Logic programming

Security of data

Students

Internet

Formal specification

Computer science

Theorem proving

Mechanization

Simulators

Common object request broker architecture (CORBA)

### Mathematics

Higher-order Logic

Access Control

Logic

State Machine

Calculus

Reasoning

Modal Logic

Multiplier

Theorem

Process Calculi

Role-based Access Control

Formal Semantics

Secure Communication

Hardware

Formal Analysis

Delegation

Distributed Control

Formal Verification

Verify

Communication Channels

Electronic Mail

Intelligent Systems

Linking

Transactions

Key Management

Server

Design

Engineering

Cell

Control Policy

Integrity

Synthesis

Formal Languages

Correctness

Equivalence

Authorization

Temporal Logic

Operator

Output

Notation

Authentication

Public Key Infrastructure

Well-defined

Linear Time

Layout

Simulation

Supervisory Control

Interoperability

Compiler

Operational Semantics