Mathias Payer (เกิดปี 1981) เป็นนักวิทยาศาสตร์คอมพิวเตอร์ ชาวลิกเตนสไต น์^{[ 1 ]}งานวิจัยของเขามุ่งเน้นไปที่ความปลอดภัยของซอฟต์แวร์และระบบ เขาเป็นรองศาสตราจารย์ที่École Polytechnique Fédérale de Lausanne (EPFL) และหัวหน้ากลุ่มวิจัย HexHive ^{[ 2 ]}

Mathias Payer ศึกษาวิทยาการคอมพิวเตอร์ที่ETH Zurichและได้รับปริญญาโทในปี 2549 จากนั้นเขาได้เข้าร่วมห้องปฏิบัติการเทคโนโลยีซอฟต์แวร์ของ Thomas R. Gross ที่ETH Zurichในฐานะนักศึกษาปริญญาเอก และสำเร็จการศึกษาด้วยวิทยานิพนธ์เกี่ยวกับการดำเนินการที่ปลอดภัยในปี 2555 โดยมุ่งเน้นที่เทคนิคในการลดการโจมตีการลักลอบควบคุมการไหลของโปรแกรม^{[ 3 ]}ในปี 2553 เขาทำงานที่Googleในตำแหน่งวิศวกรความปลอดภัยซอฟต์แวร์ในทีมต่อต้านมัลแวร์และต่อต้านฟิชชิ่ง ซึ่งเขาทุ่มเทให้กับการตรวจจับมัลแวร์ชนิดใหม่ ในปี 2555 เขาเข้าร่วมกลุ่ม BitBlaze ของ Dawn Song ที่ มหาวิทยาลัยแคลิฟอร์เนีย เบิร์กลีย์ในฐานะนักวิจัยหลังปริญญาเอกที่ทำงานเกี่ยวกับการวิเคราะห์และการจำแนกประเภทข้อผิดพลาดของหน่วยความจำ^{[ 4 ]}ในปี 2557 เขาได้รับการแต่งตั้งเป็นผู้ช่วยศาสตราจารย์จากมหาวิทยาลัย Purdueซึ่งเขาได้ก่อตั้งห้องปฏิบัติการวิจัยของเขาเอง คือกลุ่ม HexHive ^{[ 5 ]}ในปี 2018 เขาได้ย้ายไปEPFLในตำแหน่งผู้ช่วยศาสตราจารย์ด้านวิทยาการคอมพิวเตอร์^{[ 2 ] และ}ได้รับตำแหน่งประจำในปี 2021 ^{[ 6 ]}ปัจจุบันกลุ่ม HexHive ตั้งอยู่ที่ วิทยาเขต โลซานของEPFL [ ^{7 ]}

งานวิจัยของ Payer มุ่งเน้นไปที่ความปลอดภัยของซอฟต์แวร์และระบบ เขาพัฒนาและปรับปรุงเครื่องมือที่ช่วยให้นักพัฒนาซอฟต์แวร์สามารถค้นพบและแก้ไขข้อบกพร่องของซอฟต์แวร์ และทำให้โปรแกรมของพวกเขามีความยืดหยุ่นต่อการโจมตีซอฟต์แวร์ที่อาจเกิดขึ้นได้ เพื่อให้บรรลุเป้าหมายนี้ Payer ใช้กลยุทธ์สองอย่าง^{[ 7 ]}กลยุทธ์แรกคือเทคนิคการทำให้บริสุทธิ์ซึ่งชี้ให้เห็นถึงปัญหาด้านความปลอดภัยของปัจจัยต่างๆ เช่น หน่วยความจำ ความปลอดภัยของประเภท และความปลอดภัยของการไหลของ API และทำให้ผลิตภัณฑ์มีความโดดเด่นมากขึ้น^{[ 8 ] [ 9 ] [ 10 ]} กลยุทธ์ ที่สองคือเทคนิคการฟัซซิ่งซึ่งสร้างชุดข้อมูลอินพุตสำหรับโปรแกรมโดยการรวมการวิเคราะห์แบบคงที่และแบบไดนามิก ชุดข้อมูลอินพุตใหม่นี้ขยายและเสริมชุดเวกเตอร์ทดสอบที่มีอยู่ การใช้ข้อมูลอินพุตที่สร้างขึ้นใหม่นี้ช่วยในการเปิดเผยช่องโหว่ที่สามารถใช้ประโยชน์ได้ เช่น ความสมบูรณ์ของการควบคุมการไหลโดยใช้ความหมายของภาษาเฉพาะ การกำหนดความสมบูรณ์ของประเภท และการปกป้องข้อมูลที่เลือก^{[ 11 ] [ 12 ] [ 13 ] [ 14 ]}

การวิจัยของ Payer นำไปสู่การค้นพบช่องโหว่ของซอฟต์แวร์หลายประการ ในจำนวนนี้ได้แก่ บั๊ก Bluetooth BLURtooth ^{[ 15 ]}และ BLESA ^{[ 16 ]}และ USBFuzz ซึ่งเป็นช่องโหว่ที่ส่งผลต่อการใช้งาน การแยกวิเคราะห์โปรโตคอล USBในระบบปฏิบัติการหลัก^{[ 17 ] [ 18 ] [ 19 ]}

Payer ได้มีส่วนร่วมในการพัฒนา โปรโตคอล Decentralized Privacy-Preserving Proximity (DP-3T) ซึ่งเป็นโปรโตคอลที่ใช้สร้างแอปพลิเคชันมือถือSwissCovid แอปนี้ช่วยให้สามารถติดตามผู้สัมผัสแบบไม่ระบุตัวตนเพื่อบรรเทา การระบาดของ COVID-19ได้^{[ 20 ] [ 21 ] [ 22 ] [ 23 ] [ 24 ] [ 25 ]}

Payer ช่วยเหลือในการก่อตั้งบริษัทสตาร์ทอัพ xorlab ซึ่งอดีตนักศึกษาของเขา Antonio Barresi เป็นผู้ก่อตั้ง^{[ 26 ] [ 27 ]}

เขาได้รับการยอมรับนอกเหนือจากสาขาการวิจัยของเขาผ่านการบรรยายที่ CCC - Chaos Communication Congress ^{[ 28 ] [ 29 ] [ 30 ]} BHEU-Black Hat Europe ^{[ 31 ]}และอื่นๆ^{[ 32 ] [ 33 ]}

เขาได้รับ รางวัล SNSF Eccellenza Award ^{[ 34 ]}และได้รับ ทุน ERC Starting Grant ^{[ 35 ]}เขาเป็นสมาชิกดีเด่นของ ACM "สำหรับการมีส่วนร่วมในการปกป้องระบบในกรณีที่มีช่องโหว่" ^{[ 36 ]}

• Durumeric, Zakir; Payer, Mathias; Paxson, Vern; Kasten, James; Adrian, David; Halderman, J. Alex; Bailey, Michael; Li, Frank; Weaver, Nicolas; Amann, Johanna; Beekman, Jethro (2014). "The Matter of Heartbleed". Proceedings of the 2014 Conference on Internet Measurement Conference - IMC '14 . หน้า475–488 . doi : 10.1145/2663716.2663755 . ISBN  9781450332132S2CID 142767​​ 
• Szekeres, L.; Payer, M.; Tao Wei; Song, Dawn (2013). "SoK: สงครามนิรันดร์ในความทรงจำ". การประชุมวิชาการ IEEE ว่าด้วยความปลอดภัยและความเป็นส่วนตัว ปี 2013.หน้า48–62 . doi : 10.1109/SP.2013.13 . ISBN  978-0-7695-4977-4. S2CID 2937041 . 
• Burow, Nathan; Carr, Scott A.; Nash, Joseph; Larsen, Per; Franz, Michael; Brunthaler, Stefan; Payer, Mathias (2017). "ความสมบูรณ์ของการควบคุมการไหล" . ACM Computing Surveys . 50 : 1– 33. doi : 10.1145/3054924 . S2CID 1688011 . 
• Peng, Hui; Shoshitaishvili, Yan; Payer, Mathias (2018). "T-Fuzz: การทดสอบแบบฟัซซิ่งด้วยการแปลงโปรแกรม". การประชุมวิชาการ IEEE ด้านความปลอดภัยและความเป็นส่วนตัว (SP) ปี 2018หน้า697–710 . doi : 10.1109/SP.2018.00056 . ISBN  978-1-5386-4353-2S2CID 4662297​​ 
• Payer, Mathias; Barresi, Antonio; Gross, Thomas R. (2015). "ความสมบูรณ์ของการควบคุมการไหลของโปรแกรมอย่างละเอียดผ่านการเสริมความแข็งแกร่งของไบนารี" การตรวจจับการบุกรุกและมัลแวร์ และการประเมินช่องโหว่ Lecture Notes in Computer Science. Vol.  9148. pp. 144– 164. doi : 10.1007/978-3-319-20550-2_8 . ISBN  978-3-319-20549-6.
• Payer, Mathias (2016). "HexPADS: แพลตฟอร์มสำหรับตรวจจับการโจมตีแบบ 'ล่องหน'" วิศวกรรมซอฟต์แวร์และระบบที่ปลอดภัยบันทึกการบรรยายในวิทยาการคอมพิวเตอร์ เล่มที่9639  หน้า138–154 doi : 10.1007/978-3-319-30806-7_9 ISBN  978-3-319-30805-0.
• Ge, Xinyang; Talele, Nirupama; Payer, Mathias; Jaeger, Trent (2016). "ความสมบูรณ์ของการควบคุมการไหลของโปรแกรมระดับละเอียดสำหรับซอฟต์แวร์เคอร์เนล" การประชุมวิชาการด้านความปลอดภัยและความเป็นส่วนตัวแห่งยุโรปของ IEEE ปี 2016 (EuroS&P)หน้า179–194 . doi : 10.1109/EuroSP.2016.24 . ISBN  978-1-5090-1751-5. S2CID 1407691 . 

• ผลงานตีพิมพ์ของ Mathias Payer ที่ได้รับการจัดทำดัชนีโดยGoogle Scholar
• เว็บไซต์ของกลุ่ม HexHive