Northwestern University

Parent Unit Name

Login

LIBRARIES | ARCH

Menu Search

Start Over

Filtering by: Keyword Formal Verfication Resource type Dissertation Subject Computer engineering Subject Computer science

1 entry found

List Gallery Masonry Slideshow

T148fh542?file=thumbnail

1. IMPROVING SECURITY AND ROBUSTNESS OF HARDWARE AND LEARNING SYSTEMS

Description:: Security and robustness are two critical problems in modern computing system. In this disserta- tion, we study these two problems in both hardware system and learning system.Firstly, we discuss the robustness problem in hardware system. Modern microprocessors suffer from significant on-chip variation at the advanced technology nodes. The development of...
Keyword:: Federated Learning, Robustness, Security, Noisy Traning, Circuit Sythesis, and Formal Verfication
Subject:: Computer engineering and Computer science
Creator:: Kong, Shuyu N/A
Owner:: Scholarly Digital Publishing
Language:: en
Date Uploaded:: 10/06/2021
Date Created:: 2021-01-01
Resource Type:: Dissertation
Alternate Identifier:: http://dissertations.umi.com/northwestern:15770 and etdadmin_upload_845378