Skip to main navigation
Skip to search
Skip to main content
Graz University of Technology Home
English
Deutsch
Home
Persons
Publications
Organisations
Projects
Activities
Prizes
Press/Media
Search by expertise, name or affiliation
FERMION - Formal Verification of Masked Hardware Implementations
Bloem, Roderick
(Co-Investigator (CoI))
Institute of Applied Information Processing and Communications (7050)
Project
:
Research project
Overview
Fingerprint
Publications
(6)
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Attack
100%
Protection
83%
Pipelined Processor
66%
Superscalar
66%
Attack Model
66%
Software
63%
Computation
60%
Countermeasures
43%
Instruction Sequence
33%
Software Implementation
33%
Hardware
30%
Attack Resistance
26%
Running Program
22%
Workflow
16%
runtime verification
16%
secret sharing scheme
16%
Embedded Systems
16%
Software Verification
16%
Evaluation Board
16%
User Experience
16%
Power Analysis
16%
Booleans
13%
side-channel
13%
Detection Mechanism
13%
Cryptographic Device
13%
Information Leak
13%
Smart Card
13%
Threat
13%
Attackers
13%
Factorization
13%