Security Protocols and Threat Models: Security and Privacy Via the Applied π-Calculus
暫譯: 安全協議與威脅模型：透過應用π-演算實現安全與隱私

Reynaldo Gil-Pons is a research engineer at NearOne. He completed his PhD in 2024 at the University of Luxembourg, under the supervision of Sjouke Mauw and Rolando Trujillo Rasua, on the formal verification and development of secure memory erasure protocols. His current research is focused on the development and implementation of cryptographic applications, with a focus on multi-party computation protocols.

Ross Horne is a senior lecturer at University of Strathclyde, Glasgow, where he directs the Cyber Security MSc. Previously, he was a research scientist in cyber security labs at Nanyang Technological University, Singapore, and at University of Luxembourg. His work focusses on security and privacy of protocols such as ePassports, contactless payments, and multiparty authentication protocols. He designs logical systems inspired by problems in concurrency and security. He is prototyping protocols to demonstrate the practical feasibility of implementing protocols with stronger security and privacy guarantees.

Sjouke Mauw is professor in computer security at the University of Luxembourg. He holds a Master in Mathematics and a PhD in Computer Science from the University of Amsterdam. He is head of the SaToSS (Security and Trust of Software Systems) research group, which focuses on the application of formal methods to the design and analysis of secure systems. His research interests include security protocols, e-voting, security assessment, trust and risk management, privacy, and attack trees.

Felix Stutz is a postdoctoral researcher at the University of Luxembourg. He conducted his doctoral research at the Max Planck Institute for Software Systems and obtained his PhD from the University of Kaiserslautern-Landau. His research focuses on formal methods for security and software verification, with applications to security protocols and message-passing programs.

Semen Yurkov is a postdoctoral researcher at the University of Rovira i Virgili, Spain. He completed his PhD at the University of Luxembourg, where he worked with Sjouke Mauw and Ross Horne on verifying security and privacy of smartcard-based payment protocols. His current research focuses on the formal verification of systems that aim to provide provenance tracking and tamper detection for digital content.

Reynaldo Gil-Pons 是 NearOne 的研究工程師。他於 2024 年在盧森堡大學完成博士學位，指導教授為 Sjouke Mauw 和 Rolando Trujillo Rasua，研究主題為安全記憶體抹除協議的形式驗證與開發。他目前的研究專注於加密應用的開發與實作，特別是多方計算協議。

Ross Horne 是格拉斯哥斯特拉斯克萊德大學的高級講師，負責網路安全碩士學位課程。之前，他曾在新加坡南洋理工大學和盧森堡大學的網路安全實驗室擔任研究科學家。他的工作專注於 ePassport、非接觸式支付和多方身份驗證協議等協議的安全性和隱私。他設計的邏輯系統受到並行性和安全性問題的啟發，並正在原型設計協議，以展示實施具有更強安全性和隱私保證的協議的實際可行性。

Sjouke Mauw 是盧森堡大學的計算機安全教授。他擁有阿姆斯特丹大學的數學碩士學位和計算機科學博士學位。他是 SaToSS（軟體系統的安全性與信任）研究小組的負責人，該小組專注於將形式方法應用於安全系統的設計與分析。他的研究興趣包括安全協議、電子投票、安全評估、信任與風險管理、隱私以及攻擊樹。

Felix Stutz 是盧森堡大學的博士後研究員。他在馬克斯·普朗克軟體系統研究所進行博士研究，並獲得凱瑟斯勞滕-蘭道大學的博士學位。他的研究專注於安全性和軟體驗證的形式方法，並應用於安全協議和消息傳遞程序。

Semen Yurkov 是西班牙羅維拉 i Virgili 大學的博士後研究員。他在盧森堡大學完成博士學位，期間與 Sjouke Mauw 和 Ross Horne 合作，驗證基於智慧卡的支付協議的安全性和隱私。他目前的研究專注於旨在提供數位內容的來源追蹤和篡改檢測的系統的形式驗證。