جستجوی استاد راهنمای دانشگاهی

Diego F. Aranhaمشاهده پروفایل

دانشیار

• Cryptography
• Cybersecurity
• Homomorphic Encryption
• +۷ مورد دیگر

Diego F. Aranha is an Associate Professor in the Department of Computer Science at Aarhus University . His research focuses on cryptographic systems, cybersecurity, and privacy-preserving technologies with applications in voting systems, post-quantum cryptography, and secure computation. He has contributed extensively to homomorphic encryption, secure multiparty computation (MPC), and cryptanalysis of cryptographic implementations. Key projects include: MPCC (2025-2028) : Multi-Party Computation in the Confidential Cloud SCI (2024-2027) : Secure Computation Infrastructures for the Retail Industry RENAIS (2021-2026) : Residue Number Systems for Cryptography His work emphasizes practical efficiency and formal verification of cryptographic protocols. Recent publications highlight advancements in lattice-based cryptography, secure voting schemes, and mitigating side-channel vulnerabilities in post-quantum algorithms. He actively collaborates on open-source cryptographic libraries and standards, with a focus on bridging theoretical security and real-world implementation challenges.

Carsten Baumمشاهده پروفایل

دانشیار

• Cryptography
• Post-Quantum Cryptography
• Secure Multi-Party Computation
• +۲ مورد دیگر

Carsten Baum is an Associate Professor at the Department of Applied Mathematics and Computer Science, Technical University of Denmark, working within the Cybersecurity Engineering Center for Quantum Technologies. His research focuses on cryptography, particularly post-quantum security, secure multi-party computation, and quantum-resistant protocols. Primary Affiliation: Technical University of Denmark (DTU) Academic Rank: Associate Professor Research Centers: Cybersecurity Engineering Center for Quantum Technologies Research Interests: Carsten Baum specializes in cryptographic protocols, including zero-knowledge proofs, multi-signatures, and oblivious computation. His work addresses quantum computing threats to classical cryptography and develops resilient post-quantum solutions. Key areas include: Secure multi-party computation (MPC) Post-quantum key agreement Quantum computing's impact on cryptographic security Privacy-preserving technologies Hash function security analysis (e.g., SHA-3) Time-based cryptographic primitives Advising and Projects: As a main or co-supervisor, Baum mentors multiple PhD candidates in post-quantum cryptography and secure protocols. His projects include proactive post-quantum cryptography, quantum key agreement, and long-term security frameworks, reflecting collaborations with institutions across Europe and Asia. Recent Activities: Baum actively organizes and participates in Nordic cryptography workshops, including NordiCrypt Spring 2024 and 2023, fostering academic exchange in cryptographic research.

Mikkel Thorupمشاهده پروفایل

استاد

• Algorithms
• Data Structures
• Hash Functions
• +۳ مورد دیگر

Mikkel Thorup is a Professor at the Department of Computer Science, University of Copenhagen, and a VILLUM Investigator heading the Basic Algorithms Research Copenhagen (BARC) Center supported by a €5.3 million grant from the VILLUM Foundation. Born in 1965, he holds a D.Phil. from Oxford University (1993). Prior roles include positions at the University of Copenhagen (1993–1998) and AT&T Labs-Research (1998–2013). His research focuses on algorithms, data structures, and hashing, with a particular emphasis on unifying theoretical and practical aspects. Awards include the ACM Fellowship, Villum Kann Rasmussen Award, and Fulkerson Prize. Education: D.Phil. in Computer Science, Oxford University (1993). Earlier positions: University of Copenhagen (1993–1998), AT&T Labs-Research (1998–2013). Research interests encompass algorithm design, data structure optimization, and hashing techniques. His work bridges theory and practice, addressing problems like graph clustering, optimization, and efficient sampling. He is known for contributions to correlation clustering, hash function analysis, and dynamic graph algorithms. Awards include the 2011 MAA Robbins Award, 2015 Villum Kann Rasmussen Award (Denmark’s top research prize), and 2021 AMS-MOS Fulkerson Prize. His Erdős number is 2, and he boasts an H-index above 60 with over 200 publications in top venues like STOC, FOCS, and SODA. Advising and grants: Leads BARC since 2017, funded by VILLUM Foundation. His research has influenced both academia and industry, particularly in telecommunications and algorithmic efficiency. Collaborates internationally, with a focus on foundational algorithmic challenges. Labs/Teams: Founder and head of BARC, fostering research in algorithms and their applications. Engages in interdisciplinary work combining theory with practical implementations.

Bas Spittersمشاهده پروفایل

دانشیار

• Programming Languages
• Formal Methods
• Cryptology
• +۵ مورد دیگر

Bas Spitters is an Associate Professor in the Department of Computer Science at Aarhus University, Denmark, specializing in the rigorous intersection of programming languages, formal methods, and cryptography. His work prioritizes mathematical precision in software verification, particularly for security-critical systems like cryptographic protocols and blockchain applications. His research focuses on Programming Languages , Formal Verification , and Cryptology , with deep expertise in Type Theory , Homotopy Type Theory , and Blockchain . Key themes include verified compiler backends (e.g., WebAssembly), formal security analysis of Rust implementations, and foundational verification of cryptographic primitives. His fingerprint reveals dominant associations with Smart Contracts (100%), Type Theory (99%), and Blockchain (47%), reflecting his commitment to eliminating vulnerabilities through formal proofs. Analysis of his 15 most recent publications (2022-2025) shows a consistent trajectory toward end-to-end verification of high-assurance systems. He bridges theoretical foundations (e.g., homotopy type theory) with practical implementations in Rust, targeting real-world problems in blockchain consensus, zero-knowledge proofs, and side-channel-resistant cryptography. His work increasingly integrates multiple verification tools (e.g., Coq, hax) to address complex security properties. Scientific awards: None documented in available sources. Dr. Spitters has supervised 2 PhD students and led the project Verifiable Cryptographic Software (2019-2023), developing foundational tools for verifying cryptographic implementations. His research group collaborates globally on formalizing decentralized exchanges, optimizing verified cryptographic libraries, and advancing proof automation for security protocols. Current efforts focus on Rust-based verified pipelines and formal specifications for zero-knowledge protocols like halo2, with implications for blockchain scalability and security.