2、密码学研究中的协作与创新：Cathy Meadows的影响及协议分析

密码学研究中的协作与创新：Cathy Meadows的影响及协议分析

1. 与Cathy Meadows的合作回忆

1.1 工作初期的相遇

1989年，我来到美国海军研究实验室（NRL）的形式方法部门工作，当时我尚未完成博士论文，本打算完成后去大学任职。然而，三十年后我仍留在NRL，这很大程度上归功于Cathy Meadows。尽管她事务繁忙，但总是愿意花时间为我提供关于研究问题、想法以及合作、资金、官僚障碍等方面的有益反馈。很多次我带着自认为成熟的想法找她，结果都被她彻底修改甚至颠覆，但最终总是变得更好。

1.2 办公室的有趣回忆

早期，除了部门主管John McLean，我和Cathy以及其他同事都在16号楼的一个房间里。我们用临时隔板隔出各自的办公空间。走廊的铁丝笼里有一台我们猜测是托马斯·爱迪生为NRL设计的第一台自动电梯的电机。有人按电梯按钮时，我们在办公室都能听到继电器的声音，在走廊还能闻到臭氧味。Cathy成为部门主管一年左右后，她得到了一间以前放复印机的办公室，从那里能看到污水处理厂的“沉砂池”建筑。

1.3 工作中的趣事与Cathy的能力

我们部门有一些有趣的内部笑话，Cathy也积极参与其中。例如，有一次有人对多态类型发表了错误评论，之后几年里，每当有人犯错，我们都会说“谢天谢地Luca Cardelli不在这儿”。九十年代，我和Cathy去加州参加会议，租车时被升级为一辆金属水蓝色野马，她立刻给它取名为“攻击潜艇”。

Cathy主持过大量的会议、研讨会和工作坊，多次担任程序委员会成员和期刊审稿人。作为管理者，她处理了近三十年的官僚事务，同事称她是“理想中的老板”。而且