Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs

Barbara Gigerl, Vedad Hadzic, Robert Primas, Stefan Mangard, Roderick Bloem

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

5 Finished

5 results

Finished
FERMION - Formal Verification of Masked Hardware Implementations
Bloem, R.
2/01/19 → 1/01/22
Project: Research project
IoT4CPS - Trustworthy IoT for Cyber-Physical-Systems
Mangard, S. & Römer, K. U.
1/12/17 → 30/11/20
Project: Research project
Dessnet - Dependable, secure and time-aware sensor networks
Mangard, S., Glanzer, C., Görtschacher, L. J., Bösch, W., Grosinger, J., Fischbacher, R. B., Deutschmann, B. & Shetty, D.
1/06/17 → 31/07/21
Project: Research project
EU - SOPHIA - Securing Software against Physical Attacks
Mangard, S.
1/09/16 → 31/08/21
Project: Research project
Dependable Internet of Things
Boano, C. A., Kubin, G., Bloem, R., Horn, M., Pernkopf, F., Zakany, N., Mangard, S., Witrisal, K., Römer, K. U., Aichernig, B., Bösch, W., Baunach, M. C., Tappler, M., Malenko, M., Weiser, S., Eichlseder, M., Leitinger, E., Grosinger, J., Großwindhager, B., Ebrahimi, M., Alothman Alterkawi, A. B., Knoll, C., Teschl, R., Saukh, O., Rath, M., Steinberger, M., Steinbauer-Wagner, G. & Tranninger, M.
1/01/16 → 31/03/22
Project: Research project