جست‌وجوی استاد و پژوهشگر

Clémentine Mauriceمشاهده پروفایل

پژوهشگر

• Computer Security
• Microarchitecture
• Side-Channel Attacks
• +۵ مورد دیگر

Clémentine Maurice is a full-time CNRS researcher at the University of Lille's CRIStAL laboratory, specializing in computer security with a focus on microarchitectural vulnerabilities. She leads the Spirals research group and previously worked at IRISA (Rennes) and Graz University of Technology. Her research spans side-channel attacks, fault injection, and hardware-software interactions. Education: PhD in Telecommunications from Telecom ParisTech (2015), postdoc at Technicolor and Eurecom. Academic background includes reverse-engineering CPU components and analyzing JavaScript timers in browsers. Research interests emphasize exploiting hardware vulnerabilities such as cache side-channels, port contention, and power-based fingerprinting. Notable contributions include PhaseSCA, BlueScream, and Rowhammer.js attacks, with awards including the 2023 DIMVA Best Paper and Mozilla Security Hall of Fame recognition. Grants: Leads the REV project under PEPR Cybersecurity, participates in ANR-funded projects like MIAOUS and ARCHI-SEC. Service roles include program committee positions at USENIX Security, EuroS&P, and DIMVA. Publications span 200+ works with a focus on practical attacks like Drammer (mobile rowhammer) and KASLR bypasses. Active in outreach through conferences, workshops, and mentoring PhD students via the Gilles Kahn award jury.

Marco Vassenaمشاهده پروفایل

پژوهشگر

• Information Flow Control
• Programming Languages
• Functional Programming
• +۳ مورد دیگر

Marco Vassena is a researcher affiliated with CISPA Helmholtz Center for Information Security and Utrecht University , focusing on Information Flow Control , Programming Languages , and Security . He contributes to secure compilation, memory safety, and cryptographic code analysis. His research explores compiler design , speculative execution mitigation , and Wasm security , often involving formal verification and runtime enforcement . Recent work includes eliminating speculative leaks and enforcing memory safety for WebAssembly. Marco has authored publications in conferences like POPL and PriSC , addressing cryptography , secure compilation , and parallel runtime systems . He actively participates in program committees and artifact evaluations.

Aina Linn Georgesمشاهده پروفایل

پژوهشگر

• Secure Compilation
• Formal Verification
• Programming Languages
• +۴ مورد دیگر

Aina Linn Georges is a researcher affiliated with the Max Planck Institute for Software Systems (MPI-SWS) , focusing on secure compilation, formal verification, and capability machines. Her work bridges theoretical and applied research in programming languages and systems security. Research Interests: Her contributions center on formal verification of security properties in low-level systems, including capability machine safety, WebAssembly security invariants, and non-frame-preserving updates in separation logic. These projects often involve mechanized proofs and compiler design. Publication Trends: Aina's research explores intersections of secure compilation , formal methods , and systems programming , with a focus on tools like Iris Framework and architectures such as CHERI and WebAssembly . Committee Involvement: She has served on track committees for major conferences including POPL , ICFP , and PriSC , contributing to artifact evaluation and program organization.

Xiaoning Duمشاهده پروفایل

مدرس ارشد

• Software Engineering
• Artificial Intelligence
• Cybersecurity
• +۷ مورد دیگر

Dr. Xiaoning Du is a Senior Lecturer (equivalent to Associate Professor) at the Department of Software Systems and Cybersecurity, Faculty of Information Technology, Monash University. She completed her PhD at Nanyang Technological University (2020) and bachelor’s at Fudan University (2014). Education: PhD, Nanyang Technological University (2020) Bachelor’s, Fudan University (2014) Her research bridges program analysis , formal methods , and AI-assisted software systems , focusing on security and quality assurance. Key contributions include tools like Devign , BigCodeBench , DeepStellar , and SimPy . Recent publications (2023-2025) span neural code generation evaluation , deep learning testing , and code dataset security , appearing in venues like ICLR, FSE, ISSTA, ICSE, and USENIX Security. Awards: 2024 Google Research Scholar 2023 FIT Dean’s Early Career Award ACM SIGSOFT Distinguished Paper (ISSTA'24) ICLR Oral Presentation (2025) Grants: 2021-2023 FIT ECR Seed Grants She actively serves on program committees including ICSE 2025 , ISSTA 2025 , and FSE 2026 , and mentors PhD students via full scholarships at Monash.

Ben Titzerمشاهده پروفایل

استاد پژوهشی

• Systems Programming Languages
• Compilers
• Virtual Machines
• +۵ مورد دیگر

Ben Titzer is a Research Professor at Carnegie Mellon University 's Software and Societal Systems Department since 2022. His work spans systems programming languages , compilers , and WebAssembly virtual machines. Co-founder of the WebAssembly project (2014) Developed the Wizard Engine for Wasm research Former Member of Technical Staff at Sun Microsystems (2007-2010) Google employee (2010-2019) leading V8's TurboFan compiler Teaching/Research Fellow at Australian National University (2020) Private consultancy in 2021 His research interests focus on WebAssembly evolution for academic and industrial applications, including: Edge computing integration Dynamic instrumentation via Whamm! and Wasm-R3 Garbage collection and memory optimization Fast interpreters and execution models Linux-kernel interfaces for Wasm Security against Spectre-class vulnerabilities Key trends in recent publications (2025-2021) include: Scaling Wasm beyond web environments Improving debugging and analysis tooling Compiler design for lightweight systems Memory safety in embedded contexts LLM security as a new research direction

Sukyoung Ryuمشاهده پروفایل

استاد

• Programming Languages
• Program Analysis
• Static Analysis
• +۵ مورد دیگر

Sukyoung Ryu is a Professor in the Department of Computer Science at KAIST's College of Computing, South Korea. Her research centers on programming languages and program analysis, with significant contributions to WebAssembly, JavaScript semantics, and language specification. She leads the Programming Languages Research Group (PLRG) at KAIST. Her research spans multiple critical areas including executable specification engineering, static analysis techniques, and language interoperability. Recent work focuses on WebAssembly conformance testing, C-to-Rust translation, and bridging real-world implementations with formal semantics. Her group develops practical tools like SpecTec for mechanized language specifications and JISET for JavaScript semantics extraction. Analysis of her 15 most recent publications reveals strong trends in executable specifications (7 papers), WebAssembly tooling (5 papers), and language translation (4 papers). Key methodological approaches include record-replay debugging, filtered-simulation for binary lifting, and algebraic data type transformations for memory safety. Ryu actively contributes to the programming languages community through leadership roles including Steering Committee Chair for APLAS, Program Co-Chair for SPLASH/OOPSLA, and committee positions at POPL, PLDI, and ICFP. She frequently organizes workshops on real-world language specification (RPLS) and presents keynotes on programming language research for social good. Her mentoring activities include co-chairing New Faculty Symposia and participating in RTFM panels on faculty mentoring. She advises students through KAIST's programs and supervises research in the PLRG lab, which focuses on building practical language tools with formal foundations. Current projects emphasize WebAssembly standardization, secure language interoperability, and specification-based testing frameworks.

Benoit Baudryمشاهده پروفایل

استاد

• Software testing
• Software diversity
• Randomization
• +۱ مورد دیگر

Benoit Baudry is a Professor in Software Technology at Université de Montréal, Canada, with previous affiliation at KTH Royal Institute of Technology in Sweden. His research focuses on automated software engineering with emphasis on practical execution-based approaches. Baudry's core research interests include: Software testing : Automated test generation, mocking, and improvement techniques Software diversity : Runtime protection through variant execution and WebAssembly transformations Randomization : Fuzzing and chaos engineering for robustness validation DevOps : Supply chain analysis and dependency management in Maven ecosystems Analysis of his 15 most recent publications (2022-2025) reveals strong emphasis on: Software supply chain security and dependency management (6 publications) Test automation and mock generation techniques (4 publications) WebAssembly compilation and security (3 publications) Software-art interdisciplinary research (2 publications) His work consistently combines empirical analysis with tool development across Java and WebAssembly ecosystems. Baudry actively contributes to the academic community through program committees (ASE, ESEC/FSE, ICSE, ICST) and keynote presentations. He leads research in software diversity through his Software Diversity Lab .

Michael Pradelمشاهده پروفایل

استاد

• Software Engineering
• Programming Languages
• Program Analysis
• +۶ مورد دیگر

Michael Pradel is a full professor at the University of Stuttgart and a faculty member at the CISPA Helmholtz Center for Information Security. He leads the Software Lab at the University of Stuttgart and holds additional affiliations with the International Max Planck Research School (IMPRS) for Intelligent Systems and the Stuttgart ELLIS Unit. Previously, he served as an assistant professor at TU Darmstadt, a postdoctoral researcher at UC Berkeley, and a lecturer and postdoctoral researcher at ETH Zurich, where he completed his PhD. His educational background includes computer science studies at TU Dresden and engineering studies at Ecole Centrale Paris, with a master's thesis conducted at EPFL. He has taken sabbaticals at Facebook, UC Berkeley, and UCLA. Pradel's research spans software engineering, programming languages, security, and machine learning, with a focus on tools and techniques for building reliable, efficient, and secure software. He is particularly interested in neural-symbolic software analysis, analyzing web applications, dynamic analysis, and test generation. His recent work increasingly incorporates large language models for software engineering tasks including bug detection, test generation, and program repair. His research group has produced significant work in WebAssembly analysis, Python dynamic analysis, quantum program analysis, and automated program repair, with notable tools including Wasm-R3, DynaPyt, LintQ, and RepairAgent. Ernst-Denert Software Engineering Award Emmy Noether grant by the German Research Foundation (DFG) (1.3 million Euro) ERC Starting Grant (1.5 million Euro) Best/Distinguished Paper Awards at FSE (3x), ISSTA, ASE, ASPLOS, and MSR ACM Distinguished Member Multiple ACM SIGSOFT Distinguished Paper and Artifact Awards Pradel has advised numerous PhD students including Matteo (thesis on "Testing and Analysis of Quantum Software"), Luca (thesis on "Supporting Software Evolution via Search and Prediction"), and Daniel (thesis on program analysis for WebAssembly). His research has been supported by significant grants including the Emmy Noether grant and ERC Starting Grant. He serves in leadership roles for major conferences including PC co-chair for FSE 2027 and area chair for ICSE 2026. Pradel leads the Software Lab at the University of Stuttgart, which includes visiting professors Cristian Cadar and Prem Devanbu (both supported by Humboldt Research Awards). The lab maintains active collaborations with institutions including CMU, Google, KAIST, and USI Lugano, and regularly contributes to major software engineering conferences.

Bryan Parnoمشاهده پروفایل

استاد

• Secure Systems
• Formal Verification
• Cryptography
• +۹ مورد دیگر

Bryan Parno is a Professor at Carnegie Mellon University, holding the Kavčić-Moura Chair in Electrical and Computer Engineering and Computer Science. His work bridges theoretical and practical aspects of secure systems verification, focusing on formal methods to ensure rigorous security guarantees. Research Areas: Secure systems, formal verification, cryptography, concurrency, distributed systems Key Contributions: Development of Verus, Leaf, IronFleet, and FastVer2 for verified secure systems Awards: Jay Lepreau Best Paper (OSDI 2025), IEEE Cybersecurity Award for Practice (2024), Distinguished Artifact Award (SOSP 2024) His recent publications demonstrate a focus on scalable formal verification across diverse domains, including Rust programming, WebAssembly sandboxing, and cryptographic protocols. Tools like Verus and OwlC enable provably correct implementations with performance optimizations. Scientific recognition includes: ACM Doctoral Dissertation Award (2011) IEEE Golden Core Recognition (2023) Forbes 30-Under-30 (2011) Sloan Research Fellowship (2018) Multiple best paper awards at USENIX Security, CAV, and IEEE S&P Parno advises PhD students in secure systems and contributes to critical infrastructure projects like Project Everest. His lab develops open-source tools for verified cryptography and systems programming.

• Program Verification
• Programming Language Design
• Logic
• +۶ مورد دیگر

Neelakantan R. Krishnaswami is a Professor of Computer Science at the University of Cambridge, affiliated with the Computer Laboratory and a Fellow of Trinity College . His research focuses on program verification, programming language design, and the intersection of logic, semantics, and type theory. PhD in Computer Science from Carnegie Mellon University (2011) His work addresses foundational challenges in programming languages, including refinement type systems with explicit proofs, deterministic parsing with fused lexing, and verification of systems code using separation logic. He has also contributed to bidirectional typechecking, higher-order reactive programming, and logical models for concurrency. Recent publications highlight trends in refinement types with explicit proof terms, parser combinator optimization, and formal verification of C and WebAssembly code. These works span type theory, denotational semantics, and practical compiler design. Distinguished Paper Award, POPL 2020 Distinguished Paper Award, PLDI 2019 He has collaborated extensively on projects involving functional reactive programming, logical relations, and substructural type systems. His contributions include the design of the flap parser library and the Datafun language, which extends Datalog with higher-order features.

Jay Bosamiyaمشاهده پروفایل

پژوهشگر

• Security
• Systems
• Programming Languages
• +۳ مورد دیگر

Jay Bosamiya is a Senior Researcher at Microsoft Research (mapped to Researcher academic rank) and a PhD graduate from Carnegie Mellon University (advised by Bryan Parno). His research explores the intersection of Security , Systems , and Programming Languages , focusing on provably-safe software sandboxing and memory-safe execution of unsafe code. Education : PhD in Computer Science (CMU), BTech in Computer Science and Engineering (IIT Roorkee) Key Contributions : Lucet (high-concurrency sandboxing runtime), MSWasm (memory safety enforcement), and WebAssembly security frameworks His recent publications (2020-2023) emphasize compiler design , formal verification , and secure execution environments . Notable awards include four consecutive DEFCON CTF championships (2022-2025) as a member of MushMush (MMM) and Plaid Parliament of Pwning (PPP). Beyond research, he actively participates in open-source development, CTF competitions, and occasionally shares insights on JavaScript quirks, game development, and formal methods via social media.

Jonathan Protzenkoمشاهده پروفایل

پژوهشگر

• Type Systems
• Programming Languages
• Software Verification
• +۱۰ مورد دیگر

Jonathan Protzenko is a Principal Researcher at Microsoft Azure Research , focusing on advancing the theory and practice of software verification through formal methods and type systems. His work bridges critical security gaps in modern programming languages, with verified code integrated into major software like BoringSSL, Linux kernel, Python, and Firefox. PhD in Computer Science from INRIA Paris (2014) Formerly at Microsoft Research (9 years) and INRIA's Gallium team (2010–2014) His research spans verified cryptography (EverCrypt, HACL*), Rust verification (Aeneas, Eurydice), and computational law (Catala). Recent projects include: Rust verification (2022–present): Aeneas and Eurydice toolchains for bidirectional Rust-C compilation Verified protocol stacks (2019–present): Noise*, MLS*, and Signal* implementations Formal computational law (2020–2022): Catala for formalizing legal texts Open-source impact (2009–present): Maintaining Thunderbird add-ons His 15 most recent publications (2025–2021) highlight trends in Rust verification , secure messaging protocols , and formal methods for legal frameworks . Scientific accolades include the Internet Defense Prize and SIGPLAN Research Highlight . Notable advisees include Théophile Wallez and Denis Merigoux , who won the Gilles Kahn PhD Award . His work involves collaborations with startups like Cryspen and formal verification toolchains like KreMLin .

Olivier LEVILLAINمشاهده پروفایل

مدرس

• Cybersecurity
• Network Security
• TLS Protocols
• +۵ مورد دیگر

Olivier LEVILLAIN is a Lecturer at Telecom SudParis, associated with the SAMOVAR laboratory. His research focuses on cybersecurity, network protocols, and cryptographic systems. He has contributed extensively to TLS protocol analysis, binary parser security, and encrypted communication mechanisms. Research interests include TLS ecosystem vulnerabilities, cloud-native security, stack protection in WebAssembly, state machine analysis for protocol validation, and privacy-preserving infrastructure for DNS monitoring. His work bridges theoretical analysis with practical tools like Parsifal for robust parser creation and Wombat for Bleichenbacher attack detection. Recent publications (2024-2025) address provenance tracking in cloud infrastructure, X-Ray-TLS memory decryption, and robust stack smashing protection. Earlier work (2015-2016) analyzed TLS record protocols, QUIC implementations, and SSL internet measurements. He led a 2016 thesis on the TLS ecosystem and co-authored tools like Caradoc for PDF analysis. Grants and collaborations include REWIRE cybersecurity skills initiatives. He actively participates in conferences like DSN, ARES, and SSTIC, contributing to both academic research and practical cybersecurity education frameworks. Labs/Teams: SAMOVAR laboratory at Telecom SudParis, collaborating with institutions like École Nationale Supérieure des Télécommunications (ENST). His work integrates formal verification methods with applied security engineering.

Ben L. Titzerمشاهده پروفایل

پژوهشگر

• Systems Programming
• Compilers
• Virtual Machines
• +۷ مورد دیگر

Ben L. Titzer is a Researcher at Carnegie Mellon University's Software and Societal Systems Department in the School of Computer Science. He joined CMU in 2022 after 15 years in industry, including pivotal roles at Google and Sun Microsystems Laboratories. Education: Ph.D. (2007), M.S. (2004) in Computer Science from UCLA; B.S. (2002) in Computer Science from Purdue University. His research spans systems programming languages , compilers , virtual machines , and WebAssembly , with a strong focus on software security and embedded systems . He co-founded the WebAssembly project in 2014 and developed the Wizard Engine , a research-focused WebAssembly engine emphasizing simplicity and flexibility for academic experimentation. Ben's publications highlight innovations in language design (e.g., Virgil), compiler architecture , and memory optimization for resource-constrained environments. His work at Google involved mitigating Spectre vulnerabilities in Chrome's V8 engine, and he taught undergraduate compilers at Australian National University in 2020. Ben maintains active involvement in the Virgil programming language and open-source community.

Rui Abreuمشاهده پروفایل

استاد

• Software Quality
• Software Testing
• Debugging
• +۵ مورد دیگر

Rui Abreu is a Full Professor at the Faculty of Engineering of the University of Porto, Portugal. His academic career spans multiple institutions including IST, ULisbon where he served as an Associate Professor, and the University of Porto where he previously held the position of Assistant Professor. He has also been a Visiting Researcher at Google NYC (2019-2020) and a member of the Model-Based Reasoning group at PARC's System and Sciences Laboratory. Dr. Abreu earned his Ph.D. in Computer Science - Software Engineering from the Delft University of Technology, The Netherlands, and his M.Sc. in Computer and Systems Engineering from the University of Minho, Portugal. His research revolves around software quality with emphasis on automating testing and debugging phases of the software development life-cycle as well as self-adaptation. With extensive expertise in both static and dynamic analysis algorithms, his work spans traditional software engineering, quantum software testing, and security-focused development practices. His recent publications demonstrate a strong focus on applying AI techniques to software engineering problems, quantum software testing, and security vulnerability detection. The trend shows increasing integration of large language models in debugging tools and expanding research into quantum software verification. Dr. Abreu has received significant recognition for his work, including 6 Best Paper Awards and a Distinguished Paper Award at ESEC/FSE 2019. His research has attracted considerable attention in the software engineering community. As an entrepreneur, he co-founded DashDash in January 2017, a platform that allows users to create web applications using only spreadsheet skills. The company secured $9M in Series A funding in May 2018. His industry experience complements his academic work, particularly in the areas of practical software tools and applications. Dr. Abreu has been actively involved in numerous conferences, serving as General Chair for ICST 2020, Program Committee member for multiple tracks across various conferences, and as Steering Committee member for ICST. His leadership in the software engineering community is evident through his extensive service and contributions to the field.