Work

SMT-Based Verification of Software Countermeasures against Side-Channel Attacks

Year: 2014

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-54862-8_5

Authors: Hassan Eldib, Chao Wang, Patrick Schaumont

Institution: Virginia Tech

Language: English

Topic: Cryptographic Implementations and Security

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funders: National Science Foundation, Office of Naval Research

Awards: G2867274973, G8876996369

OpenAlex ID: W72918221

FWCI: 3.68

Cites: 28

Cited by: 40

Related to: 10