Jun, 2018 - Mar, 2021
Program verification and program synthesis for side-channel attack resilience
Japan Society for the Promotion of Science Grants-in-Aid for Scientific Research Challenging Research (Exploratory) Challenging Research (Exploratory)
- Grant number
- 18K19787
- Grant amount
-
- (Total)
- 6,240,000 Japanese Yen
- (Direct funding)
- 4,800,000 Japanese Yen
- (Indirect funding)
- 1,440,000 Japanese Yen
- ID information
-
- Grant number : 18K19787