Hideki Sakurada

• Formal to Practical Security