https://optimist-ose.org/assets/js/32c19d15.3606d626.js

1"use strict";(self.webpackChunkwebsite=self.webpackChunkwebsite||[]).push([[7713],{4593:(e,n,i)=>{i.d(n,{A:()=>r});const r=i.p+"assets/files/floor_plan_optimist_2025-0b3b6e053628f5f9cd82570c17790de5.pdf"},5731:(e,n,i)=>{i.d(n,{A:()=>t});var r=i(6540),s=i(4848);function t({imageUrl:e,alt:n,caption:i,maxWidth:t=400}){const[a,o]=(0,r.useState)(!1);return(0,s.jsxs)("div",{style:{position:"relative",marginLeft:"20px",maxWidth:`${t}px`},onMouseEnter:()=>o(!0),onMouseLeave:()=>o(!1),children:[(0,s.jsx)("img",{src:e,alt:n,style:{width:"100%",height:"auto",display:"block",borderRadius:"8px"}}),(0,s.jsx)("div",{style:{position:"absolute",bottom:0,left:0,width:"100%",backgroundColor:"rgba(0, 0, 0, 0.8)",color:"white",fontSize:"12px",padding:"6px",textAlign:"center",borderBottomLeftRadius:"8px",borderBottomRightRadius:"8px",opacity:a?1:0,transition:"opacity 0.3s ease",zIndex:2,pointerEvents:a?"auto":"none"},children:i})]})}},7368:(e,n,i)=>{i.r(n),i.d(n,{assets:()=>c,contentTitle:()=>l,default:()=>p,frontMatter:()=>o,metadata:()=>r,toc:()=>d});const r=JSON.parse('{"type":"mdx","permalink":"/ches25","source":"@site/src/pages/ches25.mdx","title":"OPTIMIST Workshop 2025","description":"September 14, 2025 Kuala Lumpur, Malaysia","frontMatter":{"title":"OPTIMIST Workshop 2025","toc_max_heading_level":2},"unlisted":false}');var s=i(4848),t=i(8453),a=i(5731);const o={title:"OPTIMIST Workshop 2025",toc_max_heading_level:2},l="OPTIMIST Workshop '25",c={},d=[{value:"September 14, 2025 Kuala Lumpur, Malaysia",id:"september-14-2025-kuala-lumpur-malaysia",level:2},{value:"\ud83d\uddd3\ufe0f Tentative Program",id:"\ufe0f-tentative-program",level:2},{value:"\ud83c\udf99\ufe0f Invited Talks",id:"\ufe0f-invited-talks",level:2},{value:"The ORSHIN Project: <u>O</u>pen-source <u>R</u>e<u>S</u>ilient <u>H</u>ardware and Software for <u>I</u>nternet of Thi<u>N</u>gs",id:"the-orshin-project-open-source-resilient-hardware-and-software-for-internet-of-things",level:3},{value:"mlkem-native &amp; mldsa-native: Open-source High-Speed High-Assurance PQC",id:"mlkem-native--mldsa-native-open-source-high-speed-high-assurance-pqc",level:3},{value:"\ud83d\udde3\ufe0f Panelists",id:"\ufe0f-panelists",level:2},{value:"Registration",id:"registration",level:2},{value:"Travel &amp; Venue Information",id:"travel--venue-information",level:2},{value:"Organizers",id:"organizers",level:2},{value:"Technical Program Committee",id:"technical-program-committee",level:2},{value:"Timeline",id:"timeline",level:2},{value:"\ud83d\udce2 Call for Contributions",id:"-call-for-contributions",level:2}];function h(e){const n={a:"a",br:"br",del:"del",em:"em",h1:"h1",h2:"h2",h3:"h3",header:"header",hr:"hr",li:"li",p:"p",strong:"strong",ul:"ul",...(0,t.R)(),...e.components};return(0,s.jsxs)(s.Fragment,{children:[(0,s.jsx)(n.header,{children:(0,s.jsx)(n.h1,{id:"optimist-workshop-25",children:"OPTIMIST Workshop '25"})}),"\n",(0,s.jsx)(n.h2,{id:"september-14-2025-kuala-lumpur-malaysia",children:"September 14, 2025 Kuala Lumpur, Malaysia"}),"\n",(0,s.jsx)(n.p,{children:"The second OPTIMIST workshop is a forum to present and discuss new efforts that enable open and  reproducible research in implementation security. The OPTIMIST emphasis is not on the artifacts  themselves, but on the interfaces, components, libraries, hardware, and software tools that enable  reproducibility and quality in implementation security testing."}),"\n",(0,s.jsx)(n.h2,{id:"\ufe0f-tentative-program",children:"\ud83d\uddd3\ufe0f Tentative Program"}),"\n",(0,s.jsxs)("table",{children:[(0,s.jsx)("thead",{children:(0,s.jsxs)("tr",{children:[(0,s.jsx)("th",{style:{width:"15%"},children:"Time"}),(0,s.jsx)("th",{children:"Event"})]})}),(0,s.jsxs)("tbody",{children:[(0,s.jsx)("tr",{style:{backgroundColor:"#eaf0f6"},children:(0,s.jsx)("td",{colSpan:"2",style:{textAlign:"center"},children:(0,s.jsx)("strong",{children:"Session 1:  Opening and Side-Channel Analysis (9:00 - 10:30)"})})}),(0,s.jsxs)("tr",{children:[(0,s.jsx)("td",{children:"9:00"}),(0,s.jsxs)("td",{children:[(0,s.jsx)("strong",{children:"Welcome Remarks"})," ",(0,s.jsx)("a",{href:"/pdf/ches25/opening.pdf",children:"[Slides]"})," ",(0,s.jsx)("br",{})," ",(0,s.jsxs)("span",{style:{color:"#092470"},children:[(0,s.jsx)("strong",{children:"Aydin Aysu"})," (NCSU), ",(0,s.jsx)("strong",{children:"Fatemeh Ganji"}

1)," (WPI), ",(0,s.jsx)("strong",{children:"Patrick Schaumont"})," (WPI) and ",(0,s.jsx)("strong",{children:"Caner Tol"})," (WPI)"]})]})]}),(0,s.jsxs)("tr",{children:[(0,s.jsx)("td",{children:"9:15"}),(0,s.jsxs)("td",{children:[(0,s.jsx)("u",{children:(0,s.jsx)("strong",{children:"Debdeep Mukhopadhyay"})})," (Indian Institute of Technology Kharagpur) ",(0,s.jsx)("br",{})," ",(0,s.jsxs)("span",{style:{color:"#092470"},children:[(0,s.jsx)(n.em,{children:(0,s.jsx)(n.strong,{children:"Side-Channel and Fault Attack Testing in the Age of AI"})})," ",(0,s.jsx)("a",{href:"/pdf/ches25/Debdeep-Mukhopadhyay.pdf",children:"[Slides]"})]})]})]}),(0,s.jsxs)("tr",{children:[(0,s.jsx)("td",{children:"9:30"}),(0,s.jsxs)("td",{children:[(0,s.jsx)("strong",{children:"George Crane"})," (University of New Hampshire) and ",(0,s.jsx)("u",{children:(0,s.jsx)("strong",{children:"Dean Sullivan"})})," (University of New Hampshire) ",(0,s.jsx)("br",{})," ",(0,s.jsxs)("span",{style:{color:"#092470"},children:[(0,s.jsx)(n.em,{children:(0,s.jsx)(n.strong,{children:"On the Suitability of SCARR for Cross-Device Leakage Analysis"})})," ",(0,s.jsx)("a",{href:"/pdf/ches25/Dean-Sullivan.pdf",children:"[Slides]"})]})]})]}),(0,s.jsxs)("tr",{style:{backgroundColor:"#fff9e6"},children:[(0,s.jsx)("td",{children:"9:45"}),(0,s.jsxs)("td",{children:[(0,s.jsx)("strong",{children:"Invited Talk:"})," ",(0,s.jsx)("br",{}),(0,s.jsx)("u",{children:(0,s.jsx)("strong",{children:"Benedikt Gierlichs"})}),", KU Leuven, Belgium",(0,s.jsx)("br",{})," ",(0,s.jsx)("span",{style:{color:"#092470"},children:(0,s.jsx)(n.em,{children:(0,s.jsxs)(n.strong,{children:["The ORSHIN Project: ",(0,s.jsx)("u",{children:"O"}),"pen-source ",(0,s.jsx)("u",{children:"R"}),"e",(0,s.jsx)("u",{children:"S"}),"ilient ",(0,s.jsx)("u",{children:"H"}),"ardware and Software for ",(0,s.jsx)("u",{children:"I"}),"nternet of Thi",(0,s.jsx)("u",{children:"N"}),"gs"]})})})]})]}),(0,s.jsxs)("tr",{children:[(0,s.jsx)("td",{children:"10:30"}),(0,s.jsx)("td",{children:(0,s.jsx)("strong",{children:"Coffee Break"})})]}),(0,s.jsx)("tr",{style:{backgroundColor:"#eaf0f6"},children:(0,s.jsx)("td",{colSpan:"2",style:{textAlign:"center"},children:(0,s.jsx)("strong",{children:"Session 2: Open Source, Standards and Reproducibility  (11:00 - 12:30)"})})}),(0,s.jsxs)("tr",{children:[(0,s.jsx)("td",{children:"11:00"}),(0,s.jsxs)("td",{children:[(0,s.jsx)("strong",{children:"Spotlight on Artifacts  - Round 1"})," ",(0,s.jsx)("br",{})," ",(0,s.jsxs)("span",{style:{color:"#092470"},children:[" ",(0,s.jsxs)("ul",{children:[(0,s.jsxs)("li",{children:[(0,s.jsx)("strong",{children:"Vincent Hwang"})," (Max Planck Institute for Security and Privacy) \u2013 ",(0,s.jsx)(n.em,{children:(0,s.jsx)(n.strong,{children:"Artifact Packaging with the Absence of the Target Hardware in Mind"})})," ",(0,s.jsx)("a",{href:"/pdf/ches25/Vincent-Hwang.pdf",children:"[Slides]"})]}),(0,s.jsxs)("li",{children:[(0,s.jsx)("strong",{children:"Nathan Rousselot"})," (Thales, France) \u2013 ",(0,s.jsx)(n.em,{children:(0,s.jsx)(n.strong,{children:"Reproducibility in Deep-Learning based SCA"})})]}),(0,s.jsxs)("li",{children:[(0,s.jsx)("strong",{children:"Aikata Aikata"})," (Graz University of Technology) and ",(0,s.jsx)("strong",{children:"Anup Kumar Kundu"})," (Indian Statistical Institute) \u2013 ",(0,s.jsx)(n.em,{children:(0,s.jsx)(n.strong,{children:"D\xe9j\xe0 Vu in\xa0Reproducibility of Differential Fault Attacks"})})," ",(0,s.jsx)("a",{href:"/pdf/ches25/Aikata-Sachan.pdf",children:"[Slides]"})]}),(0,s.jsxs)("li",{children:[(0,s.jsx)("strong",{children:"Damien Marion"})," (University of Rennes) and ",(0,s.jsx)("strong",{children:"Alexandre Wallet"})," (PQ Shield Ltd.) \u2013 ",(0,s.jsx)(n.em,{children:(0,s.jsx)(n.strong,{children:"Feedback on Building Reproducible Artifacts for End-to-end Side Channel Attack"})})," ",(0,s.jsx)("a",{href:"/pdf/ches25/Alexandre-Wallet.pdf",children:"[Slides]"})]})]})]})]})]}),(0,s.jsxs)("tr",{children:[(0,s.jsx)("td",{children:"11:30"}),(0,s.jsxs)("td",{children:[(0,s.jsx)("u",{children:(0,s.jsx)("strong",{children:"Florian Krieger"})})," (Graz University of Technology), ",(0,s.jsx)("strong",{children:"Florian Hirner"})," (Graz University of Technology), ",(0,s.jsx)("strong",{children:"Ahmet Can Mert"})," (Graz University of Technology) and ",(0,s.jsx)("strong",{children:"Sujoy Sinha Roy"})," (Graz University of Technology) ",(0,s.jsx)("br",{})," ",(0,s.jsxs)("span",{style:{color:"#092470"},children:[(0,s.jsx)(n.em,{children:(0,s.jsx)(n.strong,{children:"OpenNTT: An Open-Source Tool for Generating NTT Hardware Accelerators"})})," ",(0,s.jsx)("a",{href:"/pdf/ches25/Florian-Krieger.pdf",children:"[Slides]"})]})]})]}),(0,s.jsxs)("tr",{children:[(0,s.jsx)("td",{children:"11:45"}),(0,s.jsxs)("td",{children:[(0,s.jsx)("strong",{children:"Jan Wichelmann"})," (University of Luebeck) and ",(0,s.jsx)("u",{children:(0,s.jsx)("strong",{children:"Thomas Eisenbarth"})})," (University of Luebeck) ",(0,s.jsx)("br",{})," ",(0,s.jsxs)("span",{style:{color:"#092470"},children:[(0,s.jsx)(n.em,{children:(0,s.jsx)(n.strong,{children:"Practical Side-Channel Leakage Analysis with Microwalk"})})," ",(0,s.jsx)("a",{href:"/pdf/ches25/Thomas-Eisenbarth.pdf",children:"[Slides]"})]})]})]}),(0,s.jsxs)("tr",{children:[(0,s.jsx)("td",{children:"12:00"}),(0,s.jsxs)("td",{children:[(0,s.jsx)("u",{children:(0,s.jsx)("strong",{children:"Feng Zhou"})})," (University of Chinese Academy of Sciences), ",(0,s.jsx)("strong",{children:"Hua Chen"}

1)," (Institute of Software, Chinese Academy of Sciences), ",(0,s.jsx)("strong",{children:"Limin Fan"})," (Institute of Software, Chinese Academy of Sciences), ",(0,s.jsx)("strong",{children:"Yiming Yang"})," (Beijing Institute of Technology) and ",(0,s.jsx)("strong",{children:"An Wang"})," (Beijing Institute of Technology) ",(0,s.jsx)("br",{})," ",(0,s.jsxs)("span",{style:{color:"#092470"},children:[(0,s.jsx)(n.em,{children:(0,s.jsx)(n.strong,{children:"Efficient and Complete Security Verification in Probing Model"})})," ",(0,s.jsx)("a",{href:"/pdf/ches25/feng-zhou.pdf",children:"[Slides]"})]})]})]}),(0,s.jsxs)("tr",{children:[(0,s.jsx)("td",{children:"12:15"}),(0,s.jsxs)("td",{children:[(0,s.jsx)("u",{children:(0,s.jsx)("strong",{children:"Renita J"})})," (Society for Electronic Transactions and Security, India) and ",(0,s.jsx)("strong",{children:"Suganya Annadurai"})," (Society for Electronic Transactions and Security, India) ",(0,s.jsx)("br",{})," ",(0,s.jsxs)("span",{style:{color:"#092470"},children:[(0,s.jsx)(n.em,{children:(0,s.jsx)(n.strong,{children:"Reflections on ISO/IEC 17825: Gaps in Commercial Frameworks and the Need for Standard APIs"})})," ",(0,s.jsx)("a",{href:"/pdf/ches25/renitaj.pdf",children:"[Slides]"})]})]})]}),(0,s.jsxs)("tr",{children:[(0,s.jsx)("td",{children:"12:30"}),(0,s.jsx)("td",{children:(0,s.jsx)("strong",{children:"Lunch Break"})})]}),(0,s.jsx)("tr",{style:{backgroundColor:"#eaf0f6"},children:(0,s.jsx)("td",{colSpan:"2",style:{textAlign:"center"},children:(0,s.jsx)("strong",{children:"Session 3: Libraries and Frameworks (14:00 - 15:30)"})})}),(0,s.jsxs)("tr",{style:{backgroundColor:"#fff9e6"},children:[(0,s.jsx)("td",{children:"14:00"}),(0,s.jsxs)("td",{children:[(0,s.jsx)("strong",{children:"Invited Talk:"})," ",(0,s.jsx)("br",{}),(0,s.jsx)("u",{children:(0,s.jsx)("strong",{children:"Matthias Kannwischer"})}),", Chelpis Quantum Corp., Taiwan ",(0,s.jsx)("br",{})," ",(0,s.jsx)("span",{style:{color:"#092470"},children:(0,s.jsx)(n.em,{children:(0,s.jsx)(n.strong,{children:"mlkem-native & mldsa-native: Open-source High-Speed High-Assurance PQC"})})})]})]}),(0,s.jsxs)("tr",{children:[(0,s.jsx)("td",{children:"14:45"}),(0,s.jsxs)("td",{children:[(0,s.jsx)("strong",{children:"Dev Mehta"})," (WPI), ",(0,s.jsx)("strong",{children:"Trey Marcantino"})," (WPI), ",(0,s.jsx)("strong",{children:"Mohammad Hashemi"})," (WPI), ",(0,s.jsx)("strong",{children:"Sam Karkache"})," (WPI), ",(0,s.jsx)("strong",{children:"Dillibabu Shanmugam"})," (WPI), ",(0,s.jsx)("strong",{children:"Patrick Schaumont"})," (WPI) and ",(0,s.jsx)("u",{children:(0,s.jsx)("strong",{children:"Fatemeh Ganji"})})," (WPI) ",(0,s.jsx)("br",{})," ",(0,s.jsxs)("span",{style:{color:"#092470"},children:[(0,s.jsx)(n.em,{children:(0,s.jsx)(n.strong,{children:"SCAPEgoat: Side-channel Analysis Library"})})," ",(0,s.jsx)("a",{href:"/pdf/ches25/Fatemeh-Ganji.pdf",children:"[Slides]"})]})]})]}),(0,s.jsxs)("tr",{children:[(0,s.jsx)("td",{children:"15:00"}),(0,s.jsxs)("td",{children:[(0,s.jsx)("strong",{children:"Spotlight on Artifacts  - Round 2"})," ",(0,s.jsx)("br",{})," ",(0,s.jsxs)("span",{style:{color:"#092470"},children:[" ",(0,s.jsxs)("ul",{children:[(0,s.jsxs)("li",{children:[(0,s.jsx)(n.strong,{children:"Johann Knechtel"})," (New York University Abu Dhabi) - ",(0,s.jsx)(n.em,{children:(0,s.jsx)(n.strong,{children:"Community-Driven Benchmarking for Trojan Insertion versus Layout Defenses in Modern ICs"})})]}),(0,s.jsxs)("li",{children:[(0,s.jsx)(n.strong,{children:"Aric Fowler"})," (University of Texas at Dallas) - ",(0,s.jsx)(n.em,{children:(0,s.jsx)(n.strong,{children:"A Convenient Framework for Building Command Line Interfaces, Installables, and Documentation for Python3 Tools"})})," ",(0,s.jsx)("a",{href:"/pdf/ches25/Aric-Fowler.pdf",children:"[Slides]"})]}),(0,s.jsxs)("li",{children:[(0,s.jsx)(n.strong,{children:"Eric Peng"})," (University of Cambridge) - ",(0,s.jsx)(n.em,{children:(0,s.jsx)(n.strong,{children:"The Kyber Binomial Sampler Dataset"})})," ",(0,s.jsx)("a",{href:"/pdf/ches25/Eric-Peng.pdf",children:"[Slides]"})]}),(0,s.jsxs)("li",{children:[(0,s.jsx)(n.strong,{children:"Eduardo Ochoa-Jimenez"})," (Technology Innovation Institute) - ",(0,s.jsx)(n.em,{children:(0,s.jsx)(n.strong,{children:"Continuous Integration Meets Cryptographic Artifacts: Building Reliable and Reproducible Research"})})," ",(0,s.jsx)("a",{href:"/pdf/ches25/Eduardo-Ochoa.pdf",children:"[Slides]"})]}),(0,s.jsxs)("li",{children:[(0,s.jsx)(n.strong,{children:"Aritra Dasgupta"})," (University of Florida) - ",(0,s.jsx)(n.em,{children:(0,s.jsx)(n.strong,{children:"Developing Open-Source Artifacts and EDA Toolchain for HIPR: Hardware IP Redaction"})})]})]})]})]})]}),(0,s.jsxs)("tr",{children:[(0,s.jsx)("td",{children:"15:30"}),(0,s.jsx)("td",{children:(0,s.jsx)("strong",{children:"Coffee Break"})})]}),(0,s.jsx)("tr",{style:{backgroundColor:"#eaf0f6"},children:(0,s.jsx)("td",{colSpan:"2",style:{textAlign:"center"},children:(0,s.jsx)("strong",{children:"Session 4: Panel and Closing (16:00 - 17:30)"})})}),(0,s.jsxs)("tr",{style:{backgroundColor:"#fff9e6"},children:[(0,s.jsx)("td",{children:"16:00"}),(0,s.jsxs)("td",{children:[(0,s.jsxs)(n.p,{children:[(0,s.jsx)("strong",{children:"Panel on "})," ",(0,s.jsx)("span",{style:{color:"#092470"},children:(0,s.jsx)(n.em,{children:(0,s.jsx)(n.strong,{children:"Successful Governance for Open-Source Ecosystems"})})})," ",(0,s.jsx)("a",{href:"/pdf/ches25/OPTIMIST_Panel.pdf",children:"[Slides]"})," with"]}),(0,s.jsx)("div",{style:{paddingLeft:"20px"},children:(0,s.jsxs)(n.p,{children:[(0,s.jsx)("strong",{children:"Michael Hutter"})," (University of the Bundeswehr Munich),",(0,s.jsx)("br",{}),"\n",(0,s.jsx)("strong",{children:"Lionel Rivi\xe8re"})," (eShard),",(0,s.jsx)("br",{}),"\n",(0,s.jsx)("strong",{children:"Peter Schwabe"})," (Max Planck Institute for Security and Privacy),",(0,s.jsx)("br",{}),"\n",(0,s.jsx)("strong",{children:"Marc Witteman"})," (Keysight) ",(0,s.jsx)("a",{href:"/pdf/ches25/marc-witteman.pdf",children:"[Slides]"})]})}),(0,s.jsxs)(n.p,{children:["moderated by ",(0,s.jsx)("strong",{children:"Aydin Aysu"})," (North Carolina State University) ",(0,s.jsx)("br",{})]})]})]}),(0,s.jsxs)("tr",{children:[(0,s.jsx)("td",{children:"17:30"}),(0,s.jsx)("td",{children:(0,s.jsx)("strong",{children:"Closing"})})]})]})]}),"\n",(0,s.jsx)(n.hr,{}),"\n",(0,s.jsx)(n.h2,{id:"\ufe0f-invited-talks",children:"\ud83c\udf99\ufe0f Invited Talks"}),"\n",(0,s.jsx)(n.hr,{}),"\n",(0,s.jsxs)(n.h3,{id:"the-orshin-project-open-source-resilient-hardware-and-software-for-internet-of-things",children:["The ORSHIN Project: ",(0,s.jsx)("u",{children:"O"}),"pen-source ",(0,s.jsx)("u",{children:"R"}),"e",(0,s.jsx)("u",{children:"S"}),"ilient ",(0,s.jsx)("u",{children:"H"}),"ardware and Software for ",(0,s.jsx)("u",{children:"I"}),"nternet of Thi",(0,s.jsx)("u",{children:"N"}),"gs"]}),"\n",(0,s.jsxs)(n.p,{children:["The research project ORSHIN is all about pushing secure and open-source hardware, from device life-cycle management to silicon level security. In this talk I will introduce the ORSHIN project and outline some of its key achievements. More: ",(0,s.jsx)(n.a,{href:"https://horizon-orshin.eu/",children:"https://horizon-orshin.eu/"})]}),"\n",(0,s.jsxs)("div",{children:[(0,s.jsx)("img",{src:"/img/people/Benedikt-Gierlichs.png",alt:"Benedikt Gierlichs",style:{width:"160px",borderRadius:"12px",float:"left",marginRight:"24px",marginBottom:"8px"}}),(0,s.jsx)("p",{style:{marginTop:0},children:(0,s.jsxs)(n.p,{children:[(0,s.jsx)("a",{href:"https://www.esat.kuleuven.be/cosic/people/person/?u=u0052300",style:{color:"#092470",fontWeight:"bold",fontSize:"1.2em",textDecoration:"none"},children:" Benedikt Gierlichs "})," is a research expert in the COSIC (Computer Security and Industrial Cryptography) research group at KU Leuven in Belgium. He works with the embedded security group and leads the attacks and evaluations team. His research focuses on the (physical) security of embedded devices. He has co-authored more than 60 scie

1ntific publications in peer-reviewed, international conferences and journals. He has served on many program committees of international conferences and has co-chaired 4 of them. He is a member of the IACR, a Belgian delegate to the ISO/IEC SC27 standardization group and chairman of the CHES steering committee. Dr. Gierlichs manages part of COSIC\u2019s collaboration with industry."]})})]}),"\n",(0,s.jsx)(n.hr,{}),"\n",(0,s.jsx)(n.h3,{id:"mlkem-native--mldsa-native-open-source-high-speed-high-assurance-pqc",children:"mlkem-native & mldsa-native: Open-source High-Speed High-Assurance PQC"}),"\n",(0,s.jsx)(n.p,{children:"In this talk, I will describe mlkem-native and mldsa-native, C/Assembly implementations of the ML-KEM and ML-DSA post-quantum cryptography standards. Both implementations are developed in collaboration with Amazon Web Services and belong to the Post-Quantum Code Package - a sub-project of the Post-Quantum Cryptography Alliance. mlkem-native and mldsa-native prioritize both performance and trustworthiness. For performance, we employ (super-)optimized assembly in performance-critical components - mlkem-native achieves state-of-the-art performance on Arm64 and x86_64 platforms, while mldsa-native is under active development. For trustworthiness, we apply formal verification: All C code is proved memory-safe and type-safe using CBMC, and AArch64 assembly in mlkem-native is proved functionally correct using HOL-Light. Additionally, we ensure protection against timing side-channels through extensive constant-time testing using Valgrind (including a patch allowing detection of secret-dependent divisions\xa0from the KyberSlash paper), fully integrated into our CI pipeline. Through formal verification and rigorous testing, these implementations enable the confident adoption of highly complex code that would otherwise be difficult to gain trust in."}),"\n",(0,s.jsxs)("div",{children:[(0,s.jsx)("img",{src:"/img/people/matthias-kannwischer.jpg",alt:"Matthias Kannwischer",style:{width:"160px",borderRadius:"12px",float:"left",marginRight:"24px",marginBottom:"8px"}}),(0,s.jsx)("p",{style:{marginTop:0},children:(0,s.jsxs)(n.p,{children:[(0,s.jsx)("a",{href:"https://kannwischer.eu/",style:{color:"#092470",fontWeight:"bold",fontSize:"1.2em",textDecoration:"none"},children:" Matthias Kannwischer "})," is the research director at the Taipei-based quantum-safe cryptography startup Chelpis Quantum Corp. His group works on high-speed & high-assurance implementations of cryptography with a focus on quantum-safe constructions. Matthias has authored over 20 publications on quantum-safe cryptography implementations. In 2022, he obtained a PhD in post-quantum cryptography implementations from Radboud University, The Netherlands where he was supervised by Peter Schwabe. Prior to joining Chelpis, Matthias was a postdoctoral researcher at Academia Sinica, Taiwan, and a researcher at the Max Planck Institute for Security and Privacy, Germany. Matthias contributes to open-source cryptographic software and is currently a maintainer of mlkem-native, mldsa-native, PQClean, and pqm4. He is also part of the design teams of the two promising quantum-safe signature schemes UOV and MAYO that have been shortlisted by NIST as promising round-2 candidates."]})})]}),"\n",(0,s.jsx)(n.hr,{}),"\n",(0,s.jsx)(n.h2,{id:"\ufe0f-panelists",children:"\ud83d\udde3\ufe0f Panelists"}),"\n",(0,s.jsx)(n.hr,{}),"\n",(0,s.jsxs)("div",{children:[(0,s.jsx)("img",{src:"/img/people/michael-hutter.jpg",alt:"Michael Hutter",style:{width:"160px",borderRadius:"12px",float:"left",marginRight:"24px",marginBottom:"8px"}}),(0,s.jsx)("p",{style:{marginTop:0},children:(0,s.jsxs)(n.p,{children:[(0,s.jsx)("a",{href:"https://www.linkedin.com/in/michaelhutter",style:{color:"#092470",fontWeight:"bold",fontSize:"1.2em",textDecoration:"none"},children:" Michael Hutter"})," is a professor for Embedded Systems Security at the Research Institute CODE, University of the Bundeswehr Munich, Germany. He has over 20 years of experience in secure hardware design and held several positions in industry at Rambus Cryptography Research Division/CRI (California, USA) and PQShield (Oxford, UK). He received a Venia Docendi (Habilitation) in 2016 and a PhD in Hardware Security in 2014 from Graz University of Technology, Austria. His research interests include secure and efficie

1nt cryptographic implementations, with an emphasis on embedded hardware security."]})})]}),"\n",(0,s.jsx)("div",{children:(0,s.jsx)("p",{style:{marginTop:0},children:(0,s.jsx)("a",{href:"https://www.linkedin.com/in/lionel-riviere-4753262b/",style:{color:"#092470",fontWeight:"bold",fontSize:"1.2em",textDecoration:"none"},children:" Lionel Rivi\xe8re"})})}),"\n",(0,s.jsxs)("div",{children:[(0,s.jsx)("img",{src:"/img/people/peter-schwabe.jpg",alt:"Peter Schwabe",style:{width:"160px",borderRadius:"12px",float:"left",marginRight:"24px",marginBottom:"8px"}}),(0,s.jsx)("p",{style:{marginTop:0},children:(0,s.jsxs)(n.p,{children:[(0,s.jsx)("a",{href:"https://cryptojedi.org/peter/index.shtml",style:{color:"#092470",fontWeight:"bold",fontSize:"1.2em",textDecoration:"none"},children:"  Peter Schwabe"}),' is scientific director at MPI-SP and professor at Radboud University. He graduated from RWTH Aachen University in computer science in 2006 and received a Ph.D. from the Faculty of Mathematics and Computer Science of Eindhoven University of Technology in 2011. He then worked as a postdoctoral researcher at the Institute for Information Science and the Research Center for Information Technology Innovation of Academia Sinica, Taiwan and at National Taiwan University. His research area is cryptographic engineering; in particular the security and performance of cryptographic software. He published more than 80 articles in journals and at international conferences presenting, for example, fast software for a variety of cryptographic primitives including AES, hash functions, elliptic-curve cryptography, and cryptographic pairings. He has also published articles on fast cryptanalysis, in particular attacks on the discrete-logarithm problem. In recent years he has focused in particular on post-quantum cryptography. He co-authored the "NewHope" and "NTRU-HRSS" lattice-based key-encapsulation schemes which were used in post-quantum TLS experiments by Google and he is co-submitter of seven proposals to the NIST post-quantum crypto project, all of which made it to the second round, five of which made it to the third round, and 3 of which were selected after round 3 for standardization. In 2021, he co-founded the Formosa-Crypto project, an effort by multiple research groups to build (post-quantum) cryptographic software with formal proofs of functional correctness and security.']})})]}),"\n",(0,s.jsxs)("div",{children:[(0,s.jsx)("img",{src:"/img/people/marc-witteman.png",alt:"Marc Witteman",style:{width:"160px",borderRadius:"12px",float:"left",marginRight:"24px",marginBottom:"8px"}}),(0,s.jsx)("p",{style:{marginTop:0},children:(0,s.jsxs)(n.p,{children:[(0,s.jsx)("a",{href:"https://www.linkedin.com/in/marc-witteman-26128827/?originalSubdomain=nl",style:{color:"#092470",fontWeight:"bold",fontSize:"1.2em",textDecoration:"none"},children:" Marc Witteman"})," leads the Device Security team at Keysight. He has three decades of experience in device security on both hardware and software topics. While originally focusing on secure chips for banking cards, his interest over time shifted to all edge devices that need to be secure. These include cell phones, smart TVs, and cars.\nHe was one of the first to research side channel problems and developed the leading tools in the market for testing side channel leakage and fault robustness."]})})]}),"\n",(0,s.jsx)("div",{style:{clear:"both"}}),"\n",(0,s.jsx)(n.hr,{}),"\n",(0,s.jsx)(n.h2,{id:"registration",children:"Registration"}),"\n",(0,s.jsx)(n.p,{children:"OPTIMIST 2025 is organized in affiliation with CHES 2025. Participants may register online through the CHES 2025 Registration Page.\nRegistration is open now."}),"\n",(0,s.jsx)("div",{children:(0,s.jsx)("a",{href:"https://ches.iacr.org/2025/registration.php",className:"button button--primary",style:{display:"inline-flex",alignItems:"center",justifyContent:"center",paddingTop:"13px",paddingBottom:"0px"},children:(0,s.jsx)(n.p,{children:"Register"})})}),"\n",(0,s.jsx)(n.hr,{}),"\n",(0,s.jsx)(n.h2,{id:"travel--venue-information",children:"Travel & Venue Information"}),"\n",(0,s.jsxs)("div",{style:{display:"flex",flexWrap:"wrap",alignItems:"flex-start"},children:[(0,s.jsxs)("div",{style:{flex:1,minWidth:"250px"},children:[(0,s.jsxs)(n.p,{children:["OPTIMIST Workshop will be co-located with ",(0,s.jsx)("a",{href:"https://ches.iacr.org/2025",target:"_blank",rel:"noopener noreferrer",children:"CHES 2025"})," which will be held at the Kuala Lumpur (KL) Convention Centre ",(0,s.jsx)(n.strong,{children:"Meeting Room 306 on Level 3"}),"."]}),(0,s.jsx)(n.p,{children:(0,s.jsx)(n.strong,{children:"Address:"})}),(0,s.jsxs)(n.p,{children:["Kuala Lumpur Convention Centre,",(0,s.jsx)(n.br,{}),"\n","50088 Kuala Lumpur,",(0,s.jsx)(n.br,{}),"\n","Wilayah Persekutuan Kuala Lumpur."]}),(0,s.jsx)(n.hr,{}),(0,s.jsx)(n.p,{children:"More detailed information:"}),(0,s.jsxs)(n.p,{children:[(0,s.jsx)(n.a,{target:"_blank","data-noBrokenLinkCheck":!0,href:i(4593).A+"",children:"Floor plan"})," \u2014\n",(0,s.jsx)(n.a,{href:"https://ches.iacr.org/2025/travel.php#venue",children:"Venue"})," \u2014\n",(0,s.jsx)(n.a,{href:"https://ches.iacr.org/2025/travel.php#getting_there",children:"Getting There"})]})]}),(0,s.jsx)(a.A,{imageUrl:"https://ches.iacr.org/2025/images/KLCC.jpg",alt:"KLCC",caption:(0,s.jsxs)(s.Fragment,{children:["Photo courtesy of ",(0,s.jsx)(n.a,{href:"https://commons.wikimedia.org/wiki/File:Kuala_Lumpur_Convention_Centre_(street_entrance),_Kuala_Lumpur.jpg",target:"_blank",rel:"noopener noreferrer",style:{color:"#90cfff",textDecoration:"underline"},children:"Two hundred percent/Wikimedia Commons"})," under ",(0,s.jsx)(n.a,{href:"https://creativecommons.org/licenses/by-sa/3.0/",target:"_blank",rel:"noopener noreferrer",style:{color:"#90cfff",textDecoration:"underline"},children:"CC BY-SA 3.0"}),"."]})})]}),"\n",(0,s.jsx)(n.hr,{}),"\n",(0,s.jsx)(n.h2,{id:"organizers",children:"Organizers"}),"\n",(0,s.jsxs)(n.ul,{children:["\n",(0,s.jsx)(n.li,{children:"Aydin Aysu (North Carolina State University)"}),"\n",(0,s.jsx)(n.li,{children:"Fatemeh Ganji (Worcester Polytechnic Institute)"}

1),"\n",(0,s.jsx)(n.li,{children:"Patrick Schaumont (Worcester Polytechnic Institute)"}),"\n",(0,s.jsx)(n.li,{children:"Caner Tol (Worcester Polytechnic Institute)"}),"\n"]}),"\n","\n","\n",(0,s.jsx)("div",{style:{display:"flex",gap:"10px",marginTop:"20px",alignItems:"center"},children:(0,s.jsx)("a",{href:"/contact",className:"button button--secondary",style:{display:"inline-flex",alignItems:"center",justifyContent:"center",paddingTop:"13px",paddingBottom:"0px"},children:(0,s.jsx)(n.p,{children:"Contact Organizers"})})}),"\n",(0,s.jsx)(n.hr,{}),"\n",(0,s.jsx)(n.h2,{id:"technical-program-committee",children:"Technical Program Committee"}),"\n",(0,s.jsxs)(n.ul,{children:["\n",(0,s.jsx)(n.li,{children:"Lejla Batina (Radboud University)"}),"\n",(0,s.jsx)(n.li,{children:"Ga\xebtan Cassiers (UCLouvain)"}),"\n",(0,s.jsx)(n.li,{children:"Daniel Dinu (Intel)"}),"\n",(0,s.jsx)(n.li,{children:"Kris Gaj (George Mason University)"}),"\n",(0,s.jsx)(n.li,{children:"Daniel Page (University of Bristol)"}),"\n",(0,s.jsx)(n.li,{children:"Markku-Juhani O. Saarinen (Tampere University)"}),"\n",(0,s.jsx)(n.li,{children:"Mirjana Stojilovic (EPFL)"}),"\n",(0,s.jsx)(n.li,{children:"Marc Witteman (Keysight Technologies)"}),"\n"]}),"\n",(0,s.jsx)(n.hr,{}),"\n",(0,s.jsx)(n.h2,{id:"timeline",children:"Timeline"}),"\n",(0,s.jsxs)(n.ul,{children:["\n",(0,s.jsxs)(n.li,{children:[(0,s.jsx)(n.del,{children:"June 30, 2025"})," July 14, 2025 \u2014 Submission deadline"]}),"\n",(0,s.jsxs)(n.li,{children:[(0,s.jsx)(n.del,{children:"July 31, 2025"})," August 8, 2025 \u2014 Acceptance Notifications"]}),"\n",(0,s.jsx)(n.li,{children:"August 15, 2025 \u2014 Program Announcement"}),"\n"]}),"\n",(0,s.jsx)(n.hr,{}),"\n",(0,s.jsx)(n.h2,{id:"-call-for-contributions",children:"\ud83d\udce2 Call for Contributions"}),"\n",(0,s.jsx)("p",{children:"As the OPTIMIST workshop is a forum to present and discuss new efforts that enable open and reproducible research in implementation security, the organizers and program committee invite submissions of proposals for talks. "}),"\n",(0,s.jsx)(n.p,{children:"Topics of interest for OPTIMIST include:"}),"\n",(0,s.jsxs)("ul",{children:[(0,s.jsx)("li",{children:"Datasets pertaining to Side-channel Analysis and Fault Analysis"}),(0,s.jsx)("li",{children:"Standard Libraries for Metrics in Implementation Security"}),(0,s.jsx)("li",{children:"Standard Application Programming Interfaces for Security Measurement Instrumentation"}),(0,s.jsx)("li",{children:"Standard Hardware Interfaces for Security Measurement Instrumentation"}),(0,s.jsx)("li",{children:"Standard Firmware Libraries and Hardware Targets for Security Evaluation"})]}),"\n",(0,s.jsx)("p",{children:"Talks are 15 min in length, and are presented from the podium with slides, followed by a brief Q&A. The program committee will select among proposed talks based on fit for OPTIMIST and whether it will stimulate discussion and interest among the audience of hardware security practitioners, academics, and students. OPTIMIST welcomes talks based on both archival and non-archival work."}),"\n",(0,s.jsx)("p",{children:"Each submission should be nonanonymous. A talk abstract must be at most 1 page, including a title, name of contributors and presenter(s), and a work description that can include figures and references. The authors are encouraged to refer to their paper published elsewhere before (if any), serving as the basis for the talk."}),"\n",(0,s.jsxs)("div",{style:{display:"flex",gap:"10px",marginTop:"20px",alignItems:"center"},children:[(0,s.jsx)("a",{href:"/pdf/ches25-cfp.pdf",className:"button button--secondary",style:{display:"inline-flex",alignItems:"center",justifyContent:"center",paddingTop:"13px",paddingBottom:"0px"},children:(0,s.jsx)(n.p,{children:"Download the CFP"})}),(0,s.jsx)("a",{href:"https://easychair.org/conferences/?conf=optimist2025",className:"button button--primary",style:{display:"inline-flex",alignItems:"center",justifyContent:"center",paddingTop:"13px",paddingBottom:"0px"},children:(0,s.jsx)(n.p,{children:"Submit a Proposal"})})]})]})}function p(e={}){const{wrapper:n}={...(0,t.R)(),...e.components};return n?(0,s.jsx)(n,{...e,children:(0,s.jsx)(h,{...e})}):h(e)}},8453:(e,n,i)=>{i.d(n,{R:()=>a,x:()=>o});var r=i(6540);const s={},t=r.createContext(s);function a(e){const n=r.useContext(t);return r.useMemo((function(){return"function"==typeof e?e(n):{...n,...e}}),[n,e])}function o(e){let n;return n=e.disableParentContext?"function"==typeof e.components?e.components(s):e.components||s:a(e.components),r.createElement(t.Provider,{value:n},e.children)}}}]);