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

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.

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

Dr. Rosario Giustolisi is an Associate Professor in the Department of Computer Science at the IT University of Copenhagen . His research centers on computer security with a focus on cryptographic protocols for decision systems (e.g., voting and exams), automated security analysis, accountability frameworks, and sociotechnical security aspects. Before joining ITU, he held postdoctoral roles at SICS RISE and Lund University, Sweden, and earned his PhD from the University of Luxembourg with work on secure exam protocols, culminating in his book Modelling and Verification of Secure Exams (Springer, 2018). Research Trends: His 15 most recent articles (2016–2025) span cryptographic protocol design, coercion-resistant voting/exams, zk-SNARK applications, differential privacy, automated security analysis, and sociotechnical threat modeling. Key subfields include secure decision systems, privacy-preserving mechanisms, and formal verification. Scientific Awards: Best Paper Award, NordSec 2017 Best Paper Award, SECRYPT 2014 Villum Experiment Grant (Sole PI) 2020 ICT TNG Postdoc Grant (Sole PI) 2016 CSC Best PhD Thesis Award 2016 Acknowledgments from Apple for Security Advisory Professional Service: Organized cybersecurity breakfast talks at ITU and served on conference committees for ACM SAC (Security track), STAST, E-VOTE ID, and NordSec. He also contributed as a journal referee and sub-reviewer for multiple conferences.

• Computer Security
• Cryptographic Protocols
• Decision Systems
• +۷ مورد دیگر

Carsten Schürmann is a Professor of Theoretical Computer Science at IT University of Copenhagen, where he serves as Center Manager for the Center for Information Security and Trust. His research spans information security, cryptographic voting protocols, identity management, and digital democracy, with significant contributions to security ceremonies and formal verification of protocols. Professor, Department of Computer Science Center Manager, Center for Information Security and Trust Principal Investigator for multiple DIREC projects through 2025 Active researcher with 64 publications and 20 projects listed His research focuses on the intersection of theoretical computer science and practical security challenges, particularly in voting systems and security ceremonies. Schürmann has developed formal methods for analyzing security protocols, with emphasis on human factors in security implementations and cryptographic voting systems. His work bridges logical frameworks with real-world security applications, addressing both technical and socio-technical aspects of security. Analysis of his recent publications reveals a strong emphasis on voting security, with multiple papers on risk-limiting audits, receipt-free voting, and election integrity. His work increasingly incorporates formal logical frameworks to verify security properties, while also addressing human factors in security ceremonies. The research spans theoretical foundations in linear logic to practical applications in election systems. As Principal Investigator, Schürmann leads several major projects funded by the Innovation Fund Denmark, including DIREC initiatives focused on Capacity Building, PhD School, Voting, and Entrepreneurship (2020-2025). He has also established working groups in Adversarial AI and Machine Learning. Organized workshops on Code Scanning (2014) and Verifying Security Protocols in Tamarin (2016) Active media commentator on security issues with 311 media appearances through 2025 Principal Investigator for 7 ongoing and 13 completed research projects Schürmann directs the Center for Information Security and Trust, which serves as a hub for interdisciplinary security research connecting theoretical computer science with practical security applications. His center focuses particularly on voting systems security and security ceremonies, bringing together researchers from multiple disciplines to address complex security challenges.

• Information Security
• Cryptographic Voting Protocols
• Security Analysis
• +۵ مورد دیگر

Alessandro Bruni is a Lecturer in Theoretical Computer Science at the IT University of Copenhagen, specializing in Programming Logic and Semantics within the Department of Computer Science. He is affiliated with the Center for Information Security and Trust and maintains an active research profile with numerous publications and projects spanning from 2016 to the present, including ongoing work through 2025. His research interests focus on Security Protocols, Protocol Analysis, Formal Verification, Ethical Hacking, Electronic Voting, and Internet of Things Security . Bruni's work bridges theoretical computer science with practical security applications, particularly in constrained environments like IoT devices. He has made significant contributions to the formal analysis of security protocols such as EDHOC (Ephemeral Diffie-Hellman Over COSE) using tools like Tamarin and ProVerif. Analysis of his recent publications (2023-2025) reveals a growing interest in differentiable logics and their formalization in proof assistants like Coq, alongside continued work on security protocols for constrained environments. His research increasingly intersects with machine learning verification and robust statistical methods for security applications. Bruni serves as Principal Investigator for multiple research projects including VeriFunAI: Verified Functional Analysis for Safe AI (funded by Carlsbergfondet, 2025), GAMESS: GAMification and Education for Secure Software (Danish Agency for Research and Education, 2023-2024), and the De Danske Cybermesterskaber (Danish Cyber Championships) funded by Industriens Fond. His projects consistently focus on formal verification, security education, and practical cybersecurity applications. As an active contributor to public discourse, Bruni has participated in media discussions about ethical hacking frameworks, EU cybersecurity directives, and security improvements for platforms like WhatsApp. His work demonstrates a commitment to both theoretical rigor and practical impact in the cybersecurity field.

• Security Protocols
• Protocol Analysis
• Formal Verification
• +۵ مورد دیگر

Oksana Kulyk is a Lecturer at the Center for Information Security and Trust at IT University of Copenhagen. Her research focuses on Cybersecurity, Privacy, Electronic Voting, Human Factors, and Usability . She leads projects including ODC: Critical Infrastructure (2024–2026, PI), UCORV: Usable Coercion Resistant Internet Voting (2023–2027, PI), and COMET: Trust in Election Technologies (2022–2023, PI), with collaborations across Denmark, Germany, Austria, and Albania. Education: Not specified in given texts. Kulyk’s research emphasizes the intersection of security and user experience , particularly in internet voting systems. She investigates code-based verification , transparency dimensions , and coercion resistance , blending cryptographic protocols with human-centric design. Her 2024 work on cookie disclaimers and URL phishing detection highlights digital transparency challenges. Recent publications span 2022–2025, addressing cyberwarfare impacts in Ukraine, GDPR compliance , and security frameworks for SMEs . Her 2025 "It's like an explosion" paper analyzes Russian cyberattacks on civilian infrastructure, while 2024 studies explore Albanian remote voting preferences and cookie disclaimer flaws. Awards: No scientific awards explicitly mentioned. Kulyk contributes to academic governance via hiring committees for Algorithms , NLP , and Robotics roles (2020–2024). Media engagements (2024–2025) critique phishing practices, cybersecurity in Denmark, and digital infrastructure vulnerabilities.

• Cybersecurity
• Privacy
• Electronic Voting
• +۲ مورد دیگر

Mohsen Pourpounehnajafabadi is a Research Fellow in the Department of Food and Resource Economics (Section for Production, Markets and Policy) at the University of Copenhagen. His research bridges economics, computer science, and blockchain technology. His primary research areas include: Mechanism Design Theory, with focus on incentive compatibility and auction design Social Choice Theory, including axiomatic characterizations of voting rules Blockchain applications, such as reward sharing in mining pools and secure auction protocols Security protocols for decentralized systems Analysis of his recent publications (2021-2023) reveals a consistent theme of applying rigorous mathematical and game-theoretic frameworks to solve problems in decentralized finance and social choice. His work often involves axiomatic approaches to characterize rules and mechanisms, with a growing emphasis on blockchain-based systems.

• Mechanism Design Theory
• Social Choice Theory
• Blockchain
• +۱ مورد دیگر

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.

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