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

Giovanni De Micheliمشاهده پروفایل

استاد

• Integrated Circuit Design
• Hardware Synthesis
• Logic Optimization
• +۵ مورد دیگر

Giovanni De Micheli is a Full Professor at École Polytechnique Fédérale de Lausanne (EPFL), holding appointments in both the School of Computer and Communication Sciences (IC) and the School of Engineering (STI). He is affiliated with the Integrated Systems Laboratory (LSI) and serves as Scientific Director of EcoCloud. His primary office is located in INF 341 building at EPFL's Lausanne campus where he conducts research and teaching activities. Professor De Micheli's research spans multiple domains in electronic design automation and integrated circuit design. His primary interests include: Integrated Circuit Design and Hardware Synthesis Logic Optimization and Boolean Methods Nanoelectronics and 2D Electronics Quantum Computing and Emerging Technologies Low-Power Electronics and Energy-Efficient Systems Electronic Design Automation for Novel Computing Paradigms His recent publications demonstrate a strong focus on advancing logic synthesis techniques for both conventional and emerging technologies. Professor De Micheli's work bridges theoretical foundations with practical applications, particularly in adapting traditional EDA methods to novel computing paradigms like quantum computing and superconducting electronics. His research group has made significant contributions to the development of efficient algorithms for circuit optimization across multiple technology domains, with particular emphasis on area, power, and delay optimization while maintaining functional correctness. Professor De Micheli has supervised numerous doctoral students throughout his career at EPFL, mentoring over 40 PhD candidates whose research spans various aspects of electronic design automation, circuit design, and emerging technologies. His students have gone on to make significant contributions in both academia and industry. As Scientific Director of EcoCloud, Professor De Micheli leads research initiatives focused on energy-efficient computing systems and sustainable cloud infrastructure. His laboratory, the Integrated Systems Laboratory, serves as a hub for interdisciplinary research connecting computer science, electrical engineering, and materials science, with particular focus on next-generation computing technologies.

Brandon Reagenمشاهده پروفایل

استادیار

• Computer Architecture
• Hardware Acceleration
• Machine Learning
• +۳ مورد دیگر

Brandon Reagen is an Assistant Professor in the Department of Electrical and Computer Engineering at New York University's Tandon School of Engineering, with affiliations in Computer Science, the Center for Advanced Technology in Telecommunications (CATT), and the NYU Center for Cybersecurity (CCS). He holds a PhD in Computer Science from Harvard (2018) and undergraduate degrees in Computer Systems Engineering and Applied Mathematics from the University of Massachusetts, Amherst (2012). His research focuses on computer architecture, hardware acceleration for deep learning and privacy-preserving computation, and VLSI design. He pioneered efficient deep learning accelerator designs through unsafe optimizations and contributed to benchmarking frameworks like Aladdin and MachSuite. His work spans privacy-preserving machine learning, secure computing systems, and hardware-software co-design for cryptographic protocols. Key achievements include the NSF CAREER Award (2024) and Siebel Scholar recognition (2018). His research centers on advancing secure computing through innovations like zero-knowledge proof accelerators (e.g., zkSpeed), fully homomorphic encryption frameworks (Orion), and entropy-guided privacy techniques for large language models. He leads interdisciplinary efforts at CATT and CCS to bridge hardware design and cybersecurity challenges. Reagen's contributions include over 50 publications in top-tier conferences (e.g., ISCA, ASPLOS, MLSys) and industry collaborations at Facebook AI. His work emphasizes practical solutions for encrypted computation efficiency, privacy-preserving inference, and scalable secure systems.

Thomas Peyrinمشاهده پروفایل

استاد

• Symmetric Cryptography
• Cryptanalysis
• Lightweight Cryptography
• +۵ مورد دیگر

Thomas Peyrin is a Full Professor at Nanyang Technological University (NTU) in Singapore, leading the Symmetric Key and Lightweight Cryptography Lab (SyLLab) since 2012. He co-founded TT-logic.ai, focusing on cryptographic innovations. His academic journey includes a Ph.D. in Cryptology from Orange Labs and University of Versailles (2008), a Master in Computer Science from MPRI (2005), and engineering training at CPE Lyon (2004). Education : Ph.D. (2008), MPRI Master (2005), EPFL Exchange (2003-2004), CPE Lyon (1999-2004) Career : Full Professor at NTU (2022-present), Associate Professor (2017-2022), Nanyang Assistant Professor and NRF Fellow (2012-2017), Research Fellow at NTU (2010-2012), Cryptography Expert at Ingenico (2008-2010) Thomas specializes in symmetric cryptography, cryptanalysis of hash functions and block ciphers, and machine learning applications to security. His work includes groundbreaking research on SHA-1 collisions, lightweight cryptographic primitives (e.g., GIFT, PHOTON), and automated cryptanalysis frameworks. Recent projects explore integrating AI with cryptographic verification and fault attack resistance. His publications span top conferences like CRYPTO, EUROCRYPT, and CHES, with awards including the FSE Test of Time Award (2025), FSE Best Paper (2023), and NRF Investigatorship (2022). He has advised numerous students in cryptographic research and co-founded SyLLab, a leading lab for symmetric cryptography innovation. Scientific Awards : Test of Time Award at FSE 2025 Best Paper Award at FSE 2023/ToSC NRF Investigatorship (2022) Lee Kuan Yew Postdoctoral Fellowship Best Paper Awards at FSE 2012 and ASIACRYPT 2007

Elette Boyleمشاهده پروفایل

دانشیار

• Cryptography
• Computer Security
• Coding Theory
• +۷ مورد دیگر

Elette Boyle is an Associate Professor at Reichman University (IDC Herzliya) and a Senior Scientist at NTT Research . She holds a Ph.D. in Mathematics from MIT (advised by Shafi Goldwasser and Yael Tauman Kalai) and an undergraduate degree from Caltech . Education Ph.D. in Mathematics, MIT B.S. in Mathematics, Caltech Her research focuses on cryptographic solutions for secure data processing , particularly in secure multi-party computation , function/homomorphic secret sharing , and distributed point functions . Recent work explores topology-hiding communication , memory checking complexity , and sublinear-communication MPC . Key trends in her publications include: Advancements in Function Secret Sharing for branching programs and sparse vectors. Efficient Secure Multi-Party Computation protocols with preprocessing. Information-theoretic and computational Topology-Hiding Broadcast schemes. Optimized Oblivious Transfer with constant computational overhead. Scientific Awards European Research Council (ERC) Award Israeli Science Foundation (ISF) Grant United States Air Force Office of Scientific Research (AFOSR) Grant Google Research Scholar Award International Association for Cryptologic Research (IACR) Recognition As Director of the Foundations & Applications of Cryptography (FACT) Research Center , she leads collaborative work with institutions like Technion Israel , Cornell University , and NTT Research . Her students include Pierre Meyer (Ph.D.) , Matan Hamilis (Ph.D.) , and D'or Banon (MSc.) .

• Homomorphic Encryption
• Big Data Analysis
• Database Systems
• +۶ مورد دیگر

Hayato Yamana serves as Professor at Waseda University's Faculty of Science and Engineering and concurrently holds the position of Vice President for IT Promotion and Chief Information Officer since October 2020. His academic journey began with a Dr. Eng. degree from Waseda University in 1993, followed by positions at the Electrotechnical Laboratory of MITI, before joining Waseda University as Associate Professor in 2000 and becoming full Professor in 2005. He has held significant leadership roles including Director of the Database Society of Japan and the Information Processing Society of Japan, as well as Vice Chair of IEICE's Information and Communication Society. Waseda University, Faculty of Science and Engineering (2005-Present) National Institute of Informatics, Visiting Professor (2005-Present) Waseda University, Vice President for IT Promotion (2020-Present) Deputy Chief Information Officer (2015-2020) His research spans homomorphic encryption, big data analysis, and computer architecture, with notable contributions in privacy-preserving computation, recommender systems, and secure data processing. His work bridges theoretical cryptography with practical applications in smart cities, healthcare, and e-commerce security. Recent publications demonstrate strong focus on accelerating homomorphic encryption operations, improving recommendation system diversity, and developing novel authentication mechanisms. Analysis of his 15 most recent publications reveals consistent emphasis on privacy-preserving technologies (particularly homomorphic encryption applications), innovative recommender system architectures, and biometric security solutions. His research group produces highly cited work at the intersection of cryptography, machine learning, and systems security, with practical implementations in real-world scenarios including smart grids, e-commerce, and healthcare. Fellow, Information Processing Society of Japan (IPSJ), 2020 Golden Core Award, IEEE Computer Society, 2018 Fellow, Institute of Electronics, Information and Communication Engineers (IEICE), 2018 IBM Faculty Award, 2009 Multiple Best Paper Awards from IEICE, IPSJ, and ITE Yamana has secured substantial research funding for projects in homomorphic encryption, smart city infrastructure, and privacy-preserving systems. His leadership extends to advising numerous doctoral students and directing major research initiatives including the Smart Systems and Services Innovative Professional Education Program. He maintains active collaborations with industry partners through projects involving secure computation and data analytics. His research group operates at the forefront of secure computing, with specialized laboratories focused on homomorphic encryption acceleration, privacy-preserving machine learning, and secure mobile authentication. The team actively develops practical implementations of cryptographic protocols for real-world applications in healthcare, finance, and smart city infrastructure, bridging theoretical cryptography with deployable security solutions.

Vipul Goyalمشاهده پروفایل

دانشیار

• Cryptography
• Quantum Cryptography
• Security & Privacy
• +۱ مورد دیگر

Vipul Goyal is an Associate Professor at the Computer Science Department of Carnegie Mellon University and a Senior Scientist at NTT Research in California. He is on leave from CMU since joining NTT Research in June 2020 after a 7-year tenure at Microsoft Research. His research focuses on Cryptography , Quantum Cryptography , Security & Privacy , and Theoretical Computer Science , supported by grants from NSF, DARPA, Department of Energy NETL, JP Morgan, Cisco, PNC, Ripple, and CyLab initiatives.

Lisa Willsمشاهده پروفایل

استادیار

• Computer Architecture
• Hardware Acceleration
• Hardware-Software Co-Design
• +۵ مورد دیگر

Lisa Wills serves as Assistant Professor of Computer Science at Duke University's Trinity College of Arts & Sciences and holds a joint appointment in Electrical and Computer Engineering at the Pratt School of Engineering since 2019. Her research bridges computer architecture and domain-specific applications, with a focus on hardware acceleration for computationally intensive fields. Dr. Wills earned her Ph.D. from Columbia University in 2014. Her academic journey reflects a deep commitment to advancing hardware-software co-design methodologies for real-world computational challenges. Her research centers on developing efficient hardware accelerators for big data analytics, particularly in genomics, graph processing, and database systems. She pioneers frameworks that simplify accelerator deployment while tackling critical bottlenecks in genomic data analysis, protein structure prediction, and privacy-preserving computing. Current work focuses on hardware-aware machine learning systems and energy-efficient architectures for emerging AI applications. Analysis of her publication record reveals a clear trajectory: from foundational work in database processing units (2014-2016) to specialized genomic accelerators (2019-2021), then evolving toward ML-enhanced design automation (2022-2023) and cutting-edge architectural abstractions (2024-2025). Her research consistently targets the intersection of hardware efficiency and domain-specific computational demands, with increasing emphasis on AI/ML workloads. Google ML and Systems Junior Faculty Award (2025) Dr. Wills actively mentors doctoral students including Chris Kjellqvist (lead architect of Beethoven accelerator framework), Mason Ma (PyTFHE FHE framework), and Mansi Choudhary (COCOSSim accelerator simulator). Her research is supported by significant grants including the NSF AI Institute: Athena ($20M, 2021-2027), Meta-funded ProSE accelerator project (2023-2026), and NSF CAREER award (2021-2026), totaling over $25M in active funding. She directs the APEX Lab (Application-driven Programmable Efficient Accelerated Systems), which develops open-source frameworks like Beethoven for FPGA/ASIC accelerator deployment and focuses on lowering barriers for non-hardware researchers to leverage custom acceleration in genomics, AI, and big data applications.

Lisa Wu Willsمشاهده پروفایل

استادیار

• Computer Architecture
• Hardware-Software Co-design
• Hardware Accelerators
• +۶ مورد دیگر

Lisa Wu Wills is an Assistant Professor in the Department of Computer Science and Electrical and Computer Engineering at Duke University, leading the APEX Lab (Application-driven Programmable Efficient Accelerated Systems Lab). Her research focuses on hardware acceleration for big data analytics in genomics, graphs, and databases to advance healthcare and natural sciences. Education: Ph.D. in Computer Science, Columbia University, 2014 Research Interests: Dr. Wills pioneers computer architecture and hardware-software co-design to create efficient accelerators for emerging applications. Her work targets genomics , graph analytics , and database systems , emphasizing simplified hardware deployment and energy efficiency for scientific breakthroughs in healthcare and AI. Publication Trends: Her 2022-2025 publications reveal a strong focus on open-source frameworks (Beethoven, PyTFHE) for accelerator development, hardware acceleration in privacy-preserving computing, and optimization for large language models. Key themes include transfer learning for EDA, domain-specific architectures for genomics, and energy-efficient image processing. Scientific Awards: Google ML and Systems Junior Faculty Award (2025) Advising and Grants: Dr. Wills mentors three PhD students: Chris Kjellqvist (Beethoven framework architect), Mason Ma (PyTFHE lead for FHE applications), and Mansi Choudhary (COCOSSim simulator creator). Her 2025 Google award funds research on accelerating vector databases and retrieval-augmented generation for LLMs. Labs and Teams: She directs the APEX Lab at Duke, developing tools like Beethoven (open-source accelerator composer) and PyTFHE for hardware-software integration, enabling domain scientists to leverage custom acceleration with minimal hardware expertise.

Murali Maniمشاهده پروفایل

استاد

• Database Systems
• Data Provenance
• Generative AI
• +۱۲ مورد دیگر

Murali Mani is a Professor in the Department of Computer Science, Engineering, and Physics at the College of Innovation and Technology, University of Michigan-Flint. He is actively involved in teaching courses such as Database Design (CSC 384, CSC 584) and Independent Graduate Study in Computer Science (CSC 591), and serves as Principal Investigator on multiple research grants focused on computing education and data science. His research interests span database systems, data provenance, generative AI for data augmentation, computing education, and the societal impact of technology . He has developed educational tools including epidemiology calculators and market basket analysis modules to support interdisciplinary learning. His work emphasizes integrating computing skills across disciplines such as health sciences and management. The 15 most recent scholarly contributions reflect a strong focus on data management, AI-augmented data curation, educational technology, and the cognitive aspects of learning programming. These publications appear in venues such as VLDB, IEEE FIE, and ACM conferences, with several under review or in preparation for top-tier journals like Communications of the ACM and the VLDB Journal. Scientific Awards: No awards explicitly mentioned in the provided text. Advising and Grants: Murali Mani actively mentors students through independent graduate studies and collaborative research projects. He has secured funding from the National Science Foundation (SGER grant on provenance metadata) and internal university sources, including the CIT/CHS Joint Grant and the Office of Research at UM-Flint, supporting projects on civic literacy, computational skills integration, and AI for social science data archiving. Labs and Teams: While no formal lab name is mentioned, Murali Mani leads a research group focused on data systems and computing education, collaborating with colleagues across departments and institutions. He contributes to initiatives such as the Michigan Institute for Data & AI in Society (MIDAS) and the Academic Data Science Alliance (ADSA), and has presented at conferences including IASSIST, FIE, and ICCTAC.

Vinod Vaikuntanathanمشاهده پروفایل

استاد

• Cryptography
• Fully Homomorphic Encryption
• Lattice-Based Cryptography
• +۴ مورد دیگر

Vinod Vaikuntanathan is the Ford Foundation Professor of Engineering in the MIT EECS department and a principal investigator at MIT CSAIL. He holds a BTech from IIT Madras (2003), and SM/PhD degrees from MIT (2005/2009). His research focuses on cryptography, particularly fully homomorphic encryption (FHE), lattice-based cryptography, and quantum-resistant systems. He co-founded Duality Technologies as Chief Cryptographer. **Education:** BTech in Computer Science (2003), Indian Institute of Technology Madras SM in Electrical Engineering & Computer Science (2005), MIT PhD in Computer Science (2009), MIT **Research Interests:** His work spans FHE (enabling computations on encrypted data), lattice-based cryptography (post-quantum security), and intersections with quantum computing, machine learning, and privacy. He explores applications in secure computation, algorithm design, and cryptographic protocols. **Awards:** Recipient of the Gödel Prize (2022), Simons Investigator (2023), and MacVicar Faculty Fellow (2024). His work on FHE and lattice algorithms has earned widespread acclaim in cryptography and theoretical computer science. **Teaching & Mentorship:** Advanced cryptography courses at MIT (e.g., 6.5630, 6.876J) Advised PhD students (e.g., Sergey Gorbunov, Tianren Liu) and postdocs (e.g., Nir Bitansky, Mark Zhandry) now leading positions in academia and industry **Collaborations:** Organizer of the Charles River Crypto Day and MIT Cryptography Seminar Principal investigator on grants from NSF, DARPA, and Microsoft

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

استاد

• Cryptography
• Lattice-based Cryptography
• Coding Theory
• +۲ مورد دیگر

Chris Peikert is a Professor in the Department of Computer Science and Engineering at the University of Michigan's College of Engineering. He received his Ph.D. from MIT's Computer Science and Artificial Intelligence Laboratory in 2006 under the supervision of Silvio Micali. Peikert is a leading researcher in cryptography, particularly known for his foundational work in lattice-based cryptography. His research interests span cryptography, lattices, coding theory, algorithms, and computational complexity, with a particular focus on cryptographic schemes whose security can be based on the apparent intractability of lattice problems. Peikert has made significant contributions to the development and analysis of lattice-based cryptographic primitives, including ring-LWE, fully homomorphic encryption, and zero-knowledge proofs. Peikert's recent work demonstrates continued leadership in post-quantum cryptography, with publications in top venues like CRYPTO, EUROCRYPT, and STOC. His research spans theoretical foundations of lattice problems to practical implementations of lattice-based cryptographic systems, including hardware acceleration for fully homomorphic encryption. IACR Fellow (2024) Test-of-Time Award from Crypto 2008 (2023) TCC Test-of-Time Award (2017) Patrick C. Fischer Development Professor of Theoretical Computer Science (2017) Best Paper Award at Eurocrypt 2010 Best Paper Award at STOC 2009 Alfred P. Sloan Foundation Fellowship Google Research Award Peikert has been actively involved in the cryptographic research community, serving on program committees for major conferences including CRYPTO, EUROCRYPT, FOCS, and TCC (where he was program co-chair in 2021). He has also developed educational resources, including extensive lecture materials on lattice-based cryptography and teaching courses on cryptography and theoretical computer science at both the undergraduate and graduate levels.

Jiafeng Xieمشاهده پروفایل

استادیار

• Post-Quantum Cryptography
• Cryptographic Engineering
• Hardware Security
• +۵ مورد دیگر

Jiafeng (Harvest) Xie is an Assistant Professor in the Department of Electrical and Computer Engineering at Villanova University, where he directs the Security and Cryptography (SAC) Lab. He holds a Ph.D. in Electrical Engineering from the University of Pittsburgh and has prior faculty experience at Wright State University. His research focuses on cryptographic engineering, post-quantum cryptography, hardware security, and digital design for telemetry systems. Education includes a Ph.D. from University of Pittsburgh (2013-2014), M.E. from Central South University (2007-2010), and B.E. from Yanshan University (2002-2006). He has received prestigious awards like the 2024 IEEE Philadelphia Engineer of the Year Award and the 2023 Art Ryan Award. His work spans over 66 peer-reviewed publications, with a focus on hardware acceleration for post-quantum cryptographic systems. Research interests include post-quantum cryptographic engineering, fully homomorphic encryption, fault detection methodologies, and digitalization of aeronautical telemetry systems. His grants include NSF SaTC and NIST-funded projects. Teaching includes courses like Embedded Systems and Post-Quantum Computing . Current advisees include Ph.D. students Pengzhou He, Tianyou Bao, and Yazheng Tu, along with several M.S. and undergraduate researchers. The SAC Lab collaborates with AFRL and explores novel cryptographic hardware designs, with recent breakthroughs in compact accelerators for lattice-based cryptography and approximate homomorphic encryption. His work emphasizes algorithm-architecture co-design for security and efficiency in emerging computing systems.

Rafail Ostrovskyمشاهده پروفایل

استاد

• Cryptography
• Secure Computation
• Garbled Circuits
• +۷ مورد دیگر

Rafail Ostrovsky is the Norman E. Friedman Chair in Knowledge Sciences at UCLA Samueli School of Engineering, where he serves as a Distinguished Professor of Computer Science and Mathematics. He also directs the Center for Information and Computation Security at UCLA. His academic leadership extends to his role as a foreign member of Academia Europaea and his fellowship in multiple prestigious organizations including the National Academy of Inventors, AAAS, ACM, IEEE, and IACR. Professor Ostrovsky's research spans multiple domains in theoretical computer science, with primary focus on cryptography, secure computation, and algorithms. His work on garbled circuits, zero-knowledge proofs, and private information retrieval has had significant theoretical and practical impact. He has pioneered research in secure multi-party computation, oblivious RAM, and cryptographic protocols that maintain privacy while enabling complex computations on sensitive data. His research bridges theoretical foundations with practical applications in secure systems, ranging from database security to hardware-based cryptographic primitives. Ostrovsky's publication record shows a consistent trajectory of innovation in cryptographic theory and its applications. His recent work focuses on optimizing secure computation protocols for efficiency while maintaining strong security guarantees, with particular attention to communication complexity, round complexity, and practical implementations. He has made significant contributions to homomorphic encryption, non-malleable commitments, and zero-knowledge proofs, often developing techniques that transform theoretical constructs into practically viable solutions. 1993 Henry Taub Prize 2017 IEEE Computer Society Edward J. McCluskey Technical Achievement Award 2018 RSA Award for Excellence in Mathematics (RSA Prize) 2022 W. Wallace McDowell Award (highest award from IEEE Computer Society) Fellow of National Academy of Inventors, AAAS, ACM, IEEE, and IACR Foreign member of Academia Europaea With over 350 peer-reviewed publications and 16 issued USPTO patents, Professor Ostrovsky has significantly shaped the field of cryptography and secure computation. His mentorship has cultivated numerous students and postdocs who have gone on to make their own contributions to the field. His editorial roles on prestigious journals including Journal of ACM and Algorithmica reflect his standing in the theoretical computer science community. His leadership extends to chairing major conferences including FOCS 2011 and serving on over 40 international conference program committees. As Director of the Center for Information and Computation Security at UCLA, Professor Ostrovsky leads a team focused on advancing the theoretical foundations and practical applications of secure computation. His center serves as a hub for interdisciplinary research connecting cryptography with systems security, network protocols, and hardware security. The center's work spans from foundational cryptographic primitives to real-world applications requiring privacy-preserving computation.

• Cryptography
• Cryptanalysis
• Stream Ciphers
• +۵ مورد دیگر

Prof. Dr. Willi Meier serves as a Lecturer for mathematics and cryptology at the Institute for Sensors and Electronics within the School of Engineering and Environment at FHNW (University of Applied Sciences and Arts Northwestern Switzerland) in Windisch, Switzerland. With an extensive publication record spanning over three decades (1988-2025), he maintains an active research profile in cryptographic analysis. Dr. Meier's research primarily focuses on cryptanalysis of symmetric cryptographic primitives, with particular expertise in stream ciphers, block ciphers, and hash functions. His work frequently employs algebraic techniques, differential cryptanalysis, and mathematical modeling approaches to analyze cryptographic security. Recent research has centered on analyzing modern ciphers like Grain, Keccak, RIPEMD-160, and various lightweight cryptographic designs, often developing novel attack methodologies such as coefficient grouping and algebraic meet-in-the-middle approaches. His publication trends over the last five years show consistent high productivity in top-tier venues including CRYPTO, EUROCRYPT, ASIACRYPT, and IACR Transactions on Symmetric Cryptology. The research spans both theoretical advancements in cryptanalytic techniques and practical applications to real-world cryptographic standards. A significant portion of his recent work involves collaborations with international researchers, particularly Fukang Liu, Takanori Isobe, and Santanu Sarkar, reflecting his integration within the global cryptographic research community. Dr. Meier's work has practical implications for cryptographic standardization and implementation security, with analyses of protocols used in telecommunications (TETRA), lightweight IoT applications, and post-quantum cryptographic candidates. His research continues to contribute to the fundamental understanding of symmetric cryptographic primitives and their security margins.

• Cryptographic Voting Systems
• Key Exchange Protocols
• Cloud Cryptography
• +۳ مورد دیگر

Kristian Gjøsteen is a Professor at the Department of Mathematical Sciences within the Norwegian University of Science and Technology (NTNU) . He actively contributes to the Algebra Group and specializes in cryptographic systems with a focus on electronic voting , security proofs , and privacy-enhancing technologies . Educational Background: MSc and PhD from NTNU Research Interests: His work spans cryptography , key exchange protocols , cloud security , and formal verification of security mechanisms. Particular emphasis is placed on coercion-resistant voting systems , lattice-based encryption , and blockchain privacy models . Article Trends: Recent publications demonstrate expertise in post-quantum cryptography , machine-checked security , and privacy-preserving voting architectures . Collaborative efforts explore hybrid cryptographic schemes , verifiable decryption , and mix-net implementations for secure elections.