Presented the paper Studying Users’ Willingness to Use a Formally Verified Password Manager in PhD-iFM’22