Home People Researcher Engineers Cezar Andrici Cezar Andrici PhD Student Formally Verified Security cezar.andrici@...