Northwestern University

Parent Unit Name

Login

LIBRARIES | ARCH

Menu Search

Start Over

Filtering by: Keyword Formal Verfication Subject Computer engineering

1 entry found

List Gallery Masonry Slideshow

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