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

Viet-Hoang Tranمشاهده پروفایل

پژوهشگر

• Network Protocols
• Transport Layer Security
• Multipath Communication
• +۴ مورد دیگر

Dr. Viet-Hoang Tran is a former member of the Cloud and Large Scale Computing group at UCLouvain, where he conducted research on network protocols and transport layer technologies. His work focuses on improving the extensibility and performance of transport protocols like TCP and QUIC, with applications in multipath communication, TLS integration, and network asymmetry handling. He holds a PhD from UCLouvain (2019), titled 'Measuring and extending Multipath TCP.' Key Research Contributions: Developed TCPLS protocol combining TCP and TLS for modern transport services Advanced Multipath QUIC implementations for asymmetric networks Extended Linux TCP stack using eBPF for enhanced flexibility Published extensively on MPTCP measurement and protocol optimization Recent Work: Contributions include Multipath Extension for QUIC, SRv6-FEC integration, and Plugin Distribution Systems. His research emphasizes practical implementations resistant to network intermediaries while maintaining performance. Collaborations: Worked closely with researchers like Olivier Bonaventure, Quentin De Coninck, and Maxime Piraux on transport layer innovations. Active contributor to IETF-related projects.

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

استاد

• Cybersecurity
• Privacy
• Distributed Systems Security
• +۳ مورد دیگر

Michael Waidner is Professor of Computer Science at Technische Universität Darmstadt and Director of the Fraunhofer Institute for Secure Information Technology (SIT). He founded and directs the National Research Center for Applied Cybersecurity ATHENE. His research focuses on practical cybersecurity challenges including internet infrastructure security, cloud vulnerabilities, and cryptographic protocols. Research highlights: Internet infrastructure security (RPKI, DNSSEC) Cloud platform vulnerabilities Cryptographic protocol analysis Network attack mitigation Industrial control system security Recent work addresses vulnerabilities in resource public key infrastructure (RPKI), cloud resource management, and cross-layer network attacks. His publications demonstrate a strong focus on identifying and mitigating practical security weaknesses in critical internet infrastructure and emerging technologies.

Miguel L. Pardalمشاهده پروفایل

استادیار

• Distributed Systems
• Cybersecurity
• Internet of Things
• +۲ مورد دیگر

Miguel L. Pardal is an Assistant Professor at Instituto Superior Técnico, Universidade de Lisboa, and a researcher at INESC-ID's Distributed Systems Group (GSD). His work focuses on Cybersecurity, Distributed Systems, Internet of Things (IoT), and Cloud Computing. He has led projects like the EU-funded Safe Cloud initiative and contributed to intrusion recovery systems (e.g., MIRES, μVerum) and blockchain-based solutions (e.g., ChainGuard, EvoChain). His research addresses challenges in secure communication, resilient distributed architectures, and location-based systems. Since 2002, he has taught courses on Network Security, Distributed Systems, and Operating Systems. His projects often intersect academia and industry, emphasizing practical applications in critical infrastructure and smart technologies. Collaborations include developing systems for vehicle-pedestrian safety (SafeWalk) and decentralized identity management. He has authored over 30 publications, with recent work covering blockchain resilience, intrusion detection in industrial processes (IM-DISCO), and generative AI for distributed algorithms. His contributions span academic conferences (DSN, EuroSys) and journals (IEEE Transactions).

• Cybersecurity
• Wireless Network Security
• Cryptographic Protocol Analysis
• +۳ مورد دیگر

Mathy Vanhoef is an Assistant Professor at the Faculty of Engineering Science of KU Leuven , affiliated with the Distributed and Secure Software (DistriNet) group and involved in multiple cybersecurity councils. His research focuses on wireless protocol vulnerabilities, particularly Wi-Fi security flaws in modern standards like WPA2 and WPA3. He has led significant projects on network protocol analysis and security mitigation strategies. Research Interests: Exploiting design flaws in wireless protocols Side-channel attack mechanisms Network stack security analysis Cryptographic protocol weaknesses Man-in-the-middle attack prevention Scientific Contributions: Discovered fundamental Wi-Fi vulnerabilities (FragAttacks) Exposed critical flaws in Cloudflare WARP and WPA3 implementations Developed testing tools for wireless protocol security Teaching: Vanhoef teaches courses including Introduction to ICT Security , CyberSecurity Basics , and Security Through the Software Lifecycle . He is actively involved in cybersecurity education and research at KU Leuven.

Chris Hawblitzelمشاهده پروفایل

پژوهشگر

• Programming Languages
• Operating Systems
• Formal Verification
• +۵ مورد دیگر

Chris Hawblitzel is a Senior Principal Researcher at Microsoft Research's Systems Research Group . His work spans programming languages, operating systems, formal verification, and security, with a focus on integrating systems concepts into safe language environments. Research Themes : Systems verification, security, concurrent programming, and type systems Awards : Distinguished Artifact Awards (2025, 2024), Jay Lepreau Best Paper Award (2024), Best Paper Awards (PLDI 2010, EuroSys 2006) His recent publications (2025-2022) focus on Rust verification ( Verus ), storage/distributed systems verification ( PoWER , IronFleet ), and cryptographic systems ( EverCrypt ). He contributes to foundational work in linear types, ghost state, and automated proof generation for systems code. Notable collaborations include work with Bryan Parno , Jon Howell , and Jay Lorch on verification frameworks and security modules for modern computing environments.

Salvatore Barbaمشاهده پروفایل

استاد

• Architectural Drawing
• Conservation and Restoration
• Remote Sensing
• +۸ مورد دیگر

Salvatore Barba is a Full Professor in the Department of Civil Engineering at the University of Salerno, Italy, where he conducts research and teaching in architectural surveying, cultural heritage documentation, and digital reconstruction. He also serves as a Contract Professor at the Faculty of Architecture, University of Basilicata, Matera. His work bridges engineering, architecture, and heritage science, focusing on advanced digital methodologies. Research interests: His expertise lies in photogrammetry , remote sensing , 3D laser scanning , GIS-BIM integration , and augmented reality for cultural heritage. He investigates degradation diagnostics, low-cost survey tools, and micro-photogrammetry, emphasizing interdisciplinary and methodologically rigorous approaches to digital documentation. Publications and technology: His recent articles highlight the application of UAVs, wearable SLAM scanners, and handheld microscopes in heritage contexts. He validates instruments like the Shining 3D EinScan-Pro and develops protocols for high-accuracy documentation. His work consistently underscores the importance of expert interpretation over purely automated processes in surveying. Scientific Awards: No specific awards mentioned in the provided text. Advising and grants: While specific students and grants are not listed, he collaborates on international projects, participates in technology transfer agreements (e.g., with Dino-Lite), and contributes to methodological advancements in heritage science. His role as a faculty member implies advising graduate students in civil engineering and architectural documentation. Labs and teams: He is involved in research activities related to digital heritage documentation, likely within laboratory facilities at the University of Salerno. His collaborative work with researchers across Europe and on diverse heritage sites indicates active participation in interdisciplinary research teams focused on advanced surveying and conservation technologies.

Douglas Stebilaمشاهده پروفایل

دانشیار

• Applied Cryptography
• Post-Quantum Cryptography
• Internet Security
• +۳ مورد دیگر

Roles & Affiliations : Associate Professor (2018–present) in the Department of Combinatorics & Optimization at the University of Waterloo. Scientific Advisor to SandboxAQ (2022–present). Former roles include Senior Lecturer at Queensland University of Technology (2013–2016) and Assistant Professor at McMaster University (2016–2018). Education : PhD in Combinatorics & Optimization (2004–2009), University of Waterloo. MSc in Mathematics (2003–2004), University of Oxford. Bachelor's degree (not specified), University of Waterloo (undergraduate research assistant, 2001–2003). Research Interests : Focuses on applied cryptography, including post-quantum key exchange, elliptic curve cryptography, and internet security protocols (TLS, SSH, Tor). Specializes in transitioning quantum-resistant cryptography into real-world standards. His work emphasizes practical implementations and performance optimization for secure communication systems. Grants & Funding : NSERC Alliance Consortia Quantum Grant ($4.15M, 2023–2027). NSERC Discovery Grant ($240K, 2022–2027). NSERC Alliance Grant ($400K, 2021–2022) for quantum-safe networking. Conference Roles : Served as Program Committee Co-Chair for Crypto 2024 and General Chair for Real World Cryptography 2024. Active on editorial boards of IACR Communications in Cryptography and Designs, Codes and Cryptography. Co-founder of Ontario Cryptography Day. Software Contributions : Co-founder of the Open Quantum Safe project. Contributed to OpenSSL and NSS toolkits during his tenure at Sun Microsystems (2001–2003).

• Medical Physics
• Radiation Dosimetry
• Diagnostic Imaging
• +۳ مورد دیگر

Asger Greval Petersen is a Researcher affiliated with the Department of Radiology at Aalborg University Hospital (part of Aalborg University 's Faculty of Medicine). His work focuses on radiation dosimetry , medical imaging safety , and phantom studies to optimize radiation exposure protocols. Key Research Areas : Medical Physics, Radiation Dosimetry, Diagnostic Imaging, Phantom Studies, Dose Optimization, Radiation Safety Publication Trends : His research spans 2016–2020 , emphasizing organ dose variability , TL dosimeter placement , and full-spine imaging protocols in both EOS micro-dose and standard-dose systems. Studies compare radiation exposure across digital radiology platforms using anthropomorphic phantoms . PhD Supervision : He has supervised 1 PhD student , though names are unspecified in the provided data. Technical Contributions : Development of standardized dosimetry methods for spine imaging Labs/Teams : Collaborates with radiology and medical physics teams at Aalborg University Hospital

• Internet of Things (IoT)
• Network Security
• Post-Quantum Cryptography
• +۶ مورد دیگر

Daniel Díaz Sánchez is an Associate Professor at the Telematics Engineering Department of Carlos III University of Madrid , where he serves as Deputy Director of Laboratories . His research focuses on IoT security , Post-Quantum Cryptography , and network protocols . Email: daniel.diaz@uc3m.es Office: 4.0.F04 - Quevedo Towers (Leganés) His recent work explores DNSSEC soft delegation for microservices, quantum random number generators , and machine learning applications in cybersecurity. Key publication themes include IoT credential management , secure communication protocols , and control system optimization .

Bekir Tevfik Akgünمشاهده پروفایل

استاد

• Artificial Intelligence
• Information Security
• Internet of Things
• +۴ مورد دیگر

Prof. Bekir Tevfik Akgün serves as Professor and Dean of the Faculty of Computer and Information Sciences at Yeditepe University, with prior academic appointments at Istanbul Okan University (Department Head, Institute Director), Ohio State University, and Yildiz Technical University (Dean). His expertise spans artificial intelligence, information security, computer graphics, and distributed systems, supported by extensive research funding and supervision of 19 graduate students. Educational background includes: Ph.D. in Control and Computer Engineering, Istanbul Technical University (1991) M.S. in Control and Computer Engineering, Istanbul Technical University (1984) B.S. in Electrical Engineering, Istanbul State Academy of Engineering and Architecture (1981) His research integrates theoretical and applied computer science, with recent focus on AI-driven environmental monitoring (forest fire detection via drone-IoT networks), bioinformatics security, and advanced color models. Early work established foundational contributions in digital art (marbled paper techniques) and real-time operating systems, evolving into contemporary applications in energy management and autonomous systems. Publication trends since 2001 reveal consistent innovation across domains: computer graphics (2004-2024), distributed systems (2001), and emerging AI/IoT applications (2022-2024). The interdisciplinary nature of his work bridges theoretical computer science with practical implementations in security, environmental science, and human-computer interaction. Scientific Awards: No major scientific awards were listed in the provided information. Advising and Grants: Supervised 18 master's theses and 1 doctoral dissertation covering autonomous vehicles, deep learning, and IoT systems. Secured over 1.5 million Turkish Lira in research funding through TÜBİTAK projects including Smart Renewable Energy Management System (2018-2021, 159,636 TL) and Advanced Autonomous Bus System (2018-2021, 915,810.99 TL), with additional projects in battery management and metrobus efficiency. Labs and Teams: Project descriptions indicate leadership in autonomous systems teams and energy management research groups, though specific laboratory affiliations are not detailed in the source text.

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 .

Byron Cookمشاهده پروفایل

استاد

• Theorem Proving
• Program Analysis/Verification
• Formal Methods
• +۴ مورد دیگر

Byron Cook is a Professor of Computer Science at University College London (UCL) and Vice President & Distinguished Scientist at Amazon / AWS . His work bridges formal methods , automated reasoning , and program verification in domains spanning GenAI , distributed systems , hardware , operating systems , and biological systems . Academic Roles : UCL Professor (since 2014), Microsoft Researcher (2004-2014) Industry Leadership : Amazon (2018-present), Microsoft (1999-2014) Research Interests focus on theoretical computer science with applications in: Program Termination Proving (TERMINATOR/T2 tools) Memory Safety (SLAyer project) Biological Systems Modeling (Bio Model Analyzer) Cloud Security (AWS Access Analyzer, Tiros) Formal Verification of Windows device drivers (Static Driver Verifier) Scientific Contributions include groundbreaking work on automated termination proofs , shape analysis , and access policy verification . His 15 recent publications (2016-2023) demonstrate sustained impact in formal verification of AWS systems , biological modeling , and distributed SMT solving . PhD Students Advised : Alexey Gotsman, Eric Koskinen Current PhD Student : Kaustubh Nimkar Awards : Fellow of the Royal Academy of Engineering (FREng)

• Molecular Biology
• Genetics
• DNA Damage Repair
• +۵ مورد دیگر

Jun Che is a Research Associate Professor at the School of Medicine, Southern University of Science and Technology (SUSTech), where he has worked since December 2020. He previously worked as a Postdoctoral Fellow and Associate Research Fellow at the University of Texas Health Science Center (UTHSA) from 2015 to 2020 and completed his Ph.D. in Genetics there in 2015. His academic journey includes a Master’s in Cytogenetics from Kunming Institute of Zoology (2004–2007) and a Bachelor of Engineering in Bioengineering from Xi’an Jiaotong University (2000–2004). Research Focus: Dr. Che’s work revolves around DNA damage tolerance (DDT) in Saccharomyces cerevisiae , investigating how cells bypass DNA lesions during replication to maintain genome stability. His studies on translesion synthesis (TLS), template switching (TS), and PCNA ubiquitination have significant implications for understanding cancer, aging, and drug resistance. His publications span Nature Structural & Molecular Biology , PLoS Genetics , and EMBO Journal , with recent articles (2019–2021) focusing on DDT mechanisms and their biomedical relevance. Honors: CPRIT predoctoral fellowship (2011, 2012), 2021 Biomolecules publication on PCNA regulation. Email: chej@mail.sustech.edu.cn.

Vincent Chevalمشاهده پروفایل

دانشیار

• Formal Verification
• Security Protocols
• Protocol Design
• +۳ مورد دیگر

Vincent Cheval is an Associate Professor at the University of Oxford , Department of Computer Science, and a Tutorial Fellow at Balliol College . His research focuses on the formal analysis and design of cryptographic protocols, utilizing automated verification in symbolic models and developing state-of-the-art tools like ProVerif and DeepSec. Academic Rank: Associate Professor of Computer Science University: University of Oxford College: Balliol College Vincent’s work spans formal verification , security protocols , protocol design , and automated reasoning . He explores privacy-type properties (anonymity, unlinkability) through behavioral equivalences and has expanded to broader security aspects like accountability and liveness since 2018. His research applies to protocols such as TLS, blockchain systems, electronic voting, and RFID. Recent Articles highlight verification of transparency protocols, polynomial recursive program analysis, and hash function weaknesses. Awards include Distinguished Paper Awards at IEEE CSF 2023 and IEEE S&P 2022, and recognition in the ACM Computing Reviews' Notable Articles list for 2016. Distinguished Paper Awards: USENIX Security 2023 IEEE Symposium on Security and Privacy 2022 ACM Recognition: Notable Article 2016 Vincent actively supervises PhD students and collaborates on tool development for cryptographic protocol verification. He has held positions at Inria (France), University of Birmingham (UK), and University of Kent, with a PhD from ENS-Cachan.

Joseph Lallemandمشاهده پروفایل

پژوهشگر

• Formal Methods
• Cryptographic Protocols
• Electronic Voting
• +۳ مورد دیگر

Joseph Lallemand is a CNRS Researcher (Chargé de recherche) at IRISA (Institut de Recherche en Informatique et Systèmes Aléatoires) in Rennes, France. He works full-time in the SPICY team (formerly EMSEC) where he focuses on the formal analysis of cryptographic protocols, particularly electronic voting protocols and automated verification of privacy properties. His work combines theoretical computer science with practical security applications. Lallemand's research interests include formal methods for security, cryptographic protocols, privacy properties, electronic voting protocols, and automated verification. His work often involves developing rigorous mathematical frameworks to analyze security protocols and verify their properties. He has made significant contributions to the analysis of voting protocols, where privacy and verifiability are critical requirements. His research spans both theoretical foundations and practical implementations, with an emphasis on provable security guarantees. Lallemand's publications demonstrate a consistent focus on formal verification techniques applied to security protocols, particularly in the domain of electronic voting. His work shows progression from foundational type systems for privacy properties to increasingly sophisticated analyses of real-world voting systems. The research often bridges theoretical computer science with practical security concerns, demonstrating how formal methods can be applied to ensure the security of critical systems. Price Distinguished Paper Award, IEEE CSF 2020, for the article Fifty Shades of Ballot Privacy: Privacy against a Malicious Board Accessit of the 2020 thesis prize from the GdR Computer Security Lallemand has been actively involved in the development of Squirrel, a proof assistant specifically designed for cryptographic protocols. His work connects theoretical advances in formal methods with practical security verification. He collaborates with researchers across institutions, including ETH Zürich where he completed a post-doc in David Basin's group, and maintains connections with his PhD advisors at the Pesto team where he completed his doctoral work under Véronique Cortier. Based at IRISA, a leading French research institute in computer science, Lallemand contributes to a vibrant research environment focused on security and formal methods. His work has practical implications for the design and verification of secure systems, particularly in the sensitive domain of electronic voting where privacy and verifiability must be carefully balanced.