PhD candidate of Formal Methods and Information Security @tugraz. Formal verification of side-channel resistance in hardware. Proud alumni of @LosFuzzys.

ID: 2478781513

calendar_today05-05-2014 19:38:26