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

• Cryptography
• Privacy-Preserving Technologies
• Secure Computation
• +۳ مورد دیگر

Ágnes Kiss is a Researcher at the Department of Computer Science, Technical University of Darmstadt, Germany. She earned her PhD in 2021 with a thesis titled Efficient Private Function Evaluation . Her research focuses on cryptographic protocols, privacy-preserving technologies, and secure computation, with applications in distributed systems and real-world security challenges. Her work spans topics such as private function evaluation (PFE), universal circuit design, and privacy-preserving location proximity schemes. She has contributed to advancing secure computation efficiency and resistance against side-channel attacks. Her publications appear in top venues like Journal of Cryptology , EUROCRYPT , and USENIX Security Symposium . Key areas of interest include cryptography, algorithmic countermeasures, and the practical implementation of secure protocols. Her recent work addresses security risks in scripting languages and explores trustworthy AI inference systems, reflecting her commitment to both theoretical and applied cryptography.

Ersin Uzunمشاهده پروفایل

استاد

• Usable Security and Privacy
• Network and IoT Security
• Privacy Enhancing Technologies
• +۳ مورد دیگر

Ersin Uzun serves as the Katherine Johnson Endowed Executive Director of RIT's ESL Global Cybersecurity Institute and Professor in the Department of Cybersecurity at the Golisano College of Computing and Information Sciences. His expertise spans Usable Security/Privacy, IoT Security, and Privacy Enhancing Technologies. Education: M.S. and Ph.D. from University of California Executive Ignite Program graduate from Stanford Graduate School of Business Research Interests: Focuses on bridging academic research with industry applications, including deepfake detection tools like DeFake, network-layer trust mechanisms in content-centric networking, and differential privacy in secure data aggregation. His work emphasizes practical security solutions for emerging technologies. Key Collaborations: Google Cybersecurity Clinics Fund ($500K to support cybersecurity education and public service) Alstom Signaling collaboration for transportation cybersecurity innovation Advisor to U.S. National Science Foundation, Research Council of Canada, and other global bodies Awards & Recognition: Over 100 patents and 50+ peer-reviewed publications Inducted into University of California Information and Computer Sciences Hall of Fame Labs & Initiatives: Leads the ESL Global Cybersecurity Institute, fostering interdisciplinary research in cybersecurity education, threat mitigation, and industry partnerships.

David Daraisمشاهده پروفایل

استادیار مدعو

• Program Analysis
• Formal Verification
• Differential Privacy
• +۳ مورد دیگر

David Darais is an Adjunct Assistant Professor at the University of Vermont's College of Engineering and Mathematical Sciences, and Principal Scientist at Galois, Inc. His research bridges programming languages, security, and formal verification. He holds a Ph.D. from the University of Maryland (2017), an M.S. from Harvard University, and a B.S. from the University of Utah. At Galois, he develops tools for high-assurance software in security-sensitive domains. His research creates programming languages and analysis frameworks for differential privacy, secure computation, and verified networking. Key innovations include the Duet language for privacy enforcement and Proof-Carrying Network Code for secure SDNs. He leads DARPA/NSF-funded projects on zero-knowledge proofs and privacy-preserving AI. He has advised 9+ graduate/undergraduate students on verification and privacy. Courses taught include Programming Languages (CS 225) and Software Verification (CS 295A).

Andrew Chi-Chih Yaoمشاهده پروفایل

استاد

• Algorithms
• Cryptography
• Quantum Computing
• +۳ مورد دیگر

Andrew Chi-Chih Yao is a distinguished Professor and Dean at Tsinghua University, leading the College of AI and the Institute for Interdisciplinary Information Sciences. He holds dual roles as Professor at Tsinghua's Center for Advanced Study and Distinguished Professor-At-Large at The Chinese University of Hong Kong. His academic journey includes professorships at MIT, Stanford, UC Berkeley, and Princeton University (1986–2004). Education: Ph.D. in Physics (Harvard, 1972) and Ph.D. in Computer Science (University of Illinois, 1975). Research focuses on Algorithms, Cryptography, Quantum Computing, and Artificial Intelligence. He pioneered foundational work in communication complexity, secure computation protocols, and quantum circuit theory. His contributions to computational theory include Yao’s minimax principle and the millionaires’ problem framework for privacy-preserving computation. Recent publications address AI safety, quantum replication, and secure systems for global challenges like DNA synthesis and emissions trading. His 2024 work on AI risk management underscores ongoing engagement with cutting-edge tech ethics. Awards: Kyoto Prize (2021), Turing Award (2000), Pólya Prize (1987), and over 20 honorary doctorates. Grants/Advisory Roles: Key contributor to interdisciplinary initiatives at Tsinghua, including AI and blockchain research. Advised projects on secure computing and cryptographic protocols. Labs/Teams: Leads teams in quantum computing, AI ethics, and secure multiparty computation at Tsinghua.

• Information Security
• Privacy Preserving
• Applied Cryptography
• +۵ مورد دیگر

Eman Alqahtani is a Lecturer in the Department of Computer Science at King Abdulaziz University. Her research focuses on information security, privacy-preserving technologies, and their applications in local energy markets and smart grids. She holds a PhD from an unspecified institution (likely inferred from her current role), with a Master’s in Information Security from Cardiff University (2016–2017) and a Bachelor’s in Information Technology from King Abdulaziz University (2010–2014). Education: PhD: Department of Computer Science (university unspecified) Master of Science: Information Security and Privacy, Cardiff University (2016–2017) Bachelor of Science: Information Technology, King Abdulaziz University (2010–2014) Her research interests include applied cryptography, blockchain, and privacy-preserving mechanisms for local energy markets. Notably, she has developed a zone-based privacy-preserving billing system using multiparty computation to address physical grid constraints. Her work emphasizes balancing computational efficiency with data confidentiality in smart grid environments. Recent publications focus on privacy-preserving solutions for energy markets, leveraging cryptographic techniques to ensure security while maintaining grid operational requirements. Her 2023 work on multiparty computation received 20 downloads and 6 citations within a year, indicating active engagement in this field. Awards: 2014: Best Oral Presentation Award at URC 2014: National Winner of Microsoft Imagine Cup Innovation Category She collaborates on grants and datasets, including a systematic literature review on privacy-preserving local energy markets published via Figshare. No advising roles or lab affiliations are explicitly mentioned in the provided text.

Julieanna Powell-Turnerمشاهده پروفایل

استاد

• Environmental Sustainability
• Climate Change Resilience
• Resource Security
• +۲ مورد دیگر

Julieanna Powell-Turner is Professor of Environmental Organisational Sustainability and Associate Dean for Research and Innovation at the University of Chester's Faculty of Science, Business and Enterprise. She leads the Centre for Research into Environmental and Sustainable Transitions (CREST), driving interdisciplinary work on climate resilience, resource security, and social cohesion aligned with UN SDGs. With 20+ years in sustainability research, she has secured significant UKRI funding and supervised doctoral projects in decarbonization and green skills. Her recent publications focus on climate action governance (2025), corporate sustainability barriers (2025), and semantic access controls for healthcare systems (2022-2024). Powell-Turner oversees institutional research frameworks including REF/KEF and manages postgraduate programs, emphasizing participatory action research and cross-sector partnerships.

• Computational Complexity
• Cryptography
• Theoretical Computer Science
• +۳ مورد دیگر

Manuel Blum is the Bruce Nelson Professor of Computer Science at Carnegie Mellon University's School of Computer Science, Department of Computer Science. He is renowned for foundational contributions to computational complexity, cryptography, and theoretical computer science. His work includes pioneering research on CAPTCHAs, human computation, and self-testing programs. Blum has collaborated extensively with figures like Luis von Ahn, contributing to projects like Peekaboom and Verbosity. His research also extends to philosophical inquiries into consciousness, blending computer science with neuroscience and philosophy. Blum's teaching includes courses on theoretical cryptography (15-503) and undergraduate complexity theory (15-455). He has advised students such as Brendan Juba and Matt Humphrey, whose work explores computational complexity and related fields. His research spans grants on machine learning, game theory, and computational complexity, including an NSF proposal on understanding concept understanding. Blum's contributions to security, randomness, and algorithm design have had lasting impacts on computer science.

Riad Wahbyمشاهده پروفایل

استادیار

• Cryptography
• Zero-Knowledge Proofs
• Secure Computation
• +۱ مورد دیگر

Riad Wahby is an Assistant Professor in the Electrical and Computer Engineering department at Carnegie Mellon University's College of Engineering, with affiliations in the Computer Science Department. His research focuses on theoretical computer science with applications in cryptography and security systems. Primary research areas include: Zero-knowledge proof systems and SNARKs Secure multiparty computation Cryptographic protocol design Formal verification methods His publications demonstrate consistent innovation in cryptographic compilers, constraint systems for SNARKs, and practical applications of zero-knowledge proofs. Recent work highlights include advancements in finite-field verification, decentralized auction systems, and side-channel attack analysis. Current advising includes graduate students Quang Dao and Kunming Jiang. Teaching includes courses in computer systems and cryptography (15-330).

• Formal Methods
• Programming Languages
• Concurrency Theory
• +۳ مورد دیگر

Marco Giunti is a Researcher at the University of Oxford's Department of Computer Science. His work focuses on formal methods, programming languages, and distributed systems, with a particular emphasis on session types, concurrency theory, and blockchain technology. He explores topics such as typestate systems, formal verification, and secure channel abstractions. Recent research highlights include advancements in iso-recursive multiparty sessions, blockchain consensus mechanisms (e.g., Lupin), and data-centric synchronization frameworks like AtomiS. His contributions bridge theoretical foundations with practical applications, addressing challenges in distributed systems and static analysis. Giunti's publications span technical reports and peer-reviewed articles, showcasing innovations in automated verification, type systems, and concurrency control. His work often emphasizes the intersection of formal methods and real-world distributed computing scenarios.

Alex Schwarzmannمشاهده پروفایل

استاد

• Cyber Security
• Distributed Computing
• Election Integrity
• +۳ مورد دیگر

Alex Schwarzmann is a Professor and Dean in the Department of Computer Science at Augusta University's School of Computer and Cyber Sciences. He holds a Ph.D. and MS in Computer Science from Brown University (1992, 1989) and an MS from Cornell University (1981). His research focuses on distributed computing systems, cyber security, election integrity, and cryptographic protocols. He has led initiatives in secure distributed storage systems, fault-tolerant algorithms, and voting system security. Notably, he received the 2022 and 2010 Edsger W. Dijkstra Prizes in Distributed Computing for foundational contributions to the field. His work integrates theoretical rigor with practical applications, such as developing robust frameworks for election-day voter check-in and securing atomic memory operations. He has served as Committee Chair for the 5th International Symposium on Cyber Security Cryptology and Machine Learning (CSCML 2021). His research spans distributed consensus algorithms, intrusion detection mechanisms, and privacy-preserving technologies in networked systems. Recent publications highlight advancements in atomic storage systems, low-latency distributed memory, and mitigating vulnerabilities in multi-source transfer learning. His grants include NSF funding for secure voting systems and resilient distributed frameworks.

• Cyber Security
• Applied Cryptography
• IoT Security
• +۴ مورد دیگر

Dr. Abid Khan is a Senior Lecturer in Cyber Security at the School of Computing and Engineering, University of Derby, England. Previously, he held roles at Aberystwyth University and COMSATS University Islamabad. His research focuses on applied cryptography, privacy in IoT, blockchain, and secure smart grid systems. He is a Senior Member of IEEE and serves as an Associate Editor for IEEE Access. Education: PhD in Computer Science (Harbin Institute of Technology, China), MS in Computer Science (Quaid-i-Azam University, Pakistan), BS in Maths and Physics (University of Punjab, Pakistan). His postdoctoral research at Politecnico di Torino, Italy, focused on e-security. Research interests include secure data aggregation in smart grids, quantum-resistant distributed ledgers, and privacy preservation in vehicular networks. Recent work emphasizes blockchain applications for healthcare data provenance and IoT security frameworks. Teaching responsibilities include modules on Communication & Security Protocols, Security Management, and Enterprise Security Management. His publications span privacy-preserving techniques, blockchain-based solutions, and VANET security. He has contributed frameworks like BCALS (blockchain-based log management) and MobChain (collusion-resistant location proof systems). His work addresses challenges in decentralized systems, fog computing, and federated learning privacy.

Bernardo Luís Portelaمشاهده پروفایل

پژوهشگر

• Cryptography
• Information Security
• Secure Multiparty Computation
• +۳ مورد دیگر

Bernardo Luís Portela is a Senior Researcher at HASLab/INESC TEC since January 2014 and a fourth-year Ph.D. student in the MAPi doctoral programme at the University of Minho. His research focuses on cryptography, information security, and secure multiparty computation (MPC) leveraging trusted hardware. He contributes to projects like SafeCloud and NanoSTIMA, advancing high-assurance MPC protocols by bridging theoretical and practical implementations. Education: M.Sc. in Informatics Engineering from the University of Minho. Research Interests: Specializes in secure MPC protocols using Isolated Execution Environments (IEEs), privacy-preserving machine learning, and distributed system security. His work includes formalizing security guarantees for IEEs and hybrid schemes for efficient ML computation. Advising & Projects: Supervised multiple theses on topics like telecom fraud detection, speculative execution resilient cryptography, and TLS 1.3 C2 traffic analysis. Active in collaborative projects addressing cloud security and distributed system vulnerabilities. Labs/Teams: Member of HASLab/INESC TEC, contributing to high-assurance software solutions for distributed systems and network security.

Marino Miculanمشاهده پروفایل

استاد

• Cybersecurity
• Formal Methods
• Distributed Systems
• +۳ مورد دیگر

Marino Miculan is a Professor of Computer Science at the University of Udine, leading the MADS Lab and Cybersecurity Lab. His research focuses on formal methods, cybersecurity, and distributed systems, with an emphasis on verifying security in concurrent systems. He has authored over 100 publications and contributed to 16 research projects. His research interests include formal verification of security protocols, distributed computing architectures, and the application of category theory to system modeling. He has developed frameworks like Netstaldi for network discovery and tools such as DBCChecker for analyzing container compositions. Miculan’s work bridges theoretical foundations (e.g., adhesive categories, behavioral equivalences) with practical applications in IoT security, multi-factor authentication, and cloud containerization. His labs explore cutting-edge topics like continuous learning for anomaly detection and stateful access control mechanisms.

• Privacy-Preserving Machine Learning
• Cryptography
• Health Informatics
• +۳ مورد دیگر

Helen Möllering is a researcher at the Technical University of Darmstadt, Germany. She holds a PhD in Computer Science from the same institution, awarded in 2023 for her thesis titled "Towards Practical Privacy-Preserving Clustering and Health Care Data Analyses" . Her research focuses on privacy-preserving techniques in machine learning, cryptography, and healthcare data analysis. Key areas include federated learning, secure multiparty computation, and applications in medical data privacy. PhD: Technical University of Darmstadt (2023) Primary Affiliation: Technical University of Darmstadt Her work emphasizes balancing privacy and utility in data-driven systems, particularly in healthcare and epidemiological modeling. Notable collaborations include projects with Thomas Schneider, Benny Pinkas, and Hossein Yalame on secure aggregation protocols and privacy-preserving clustering algorithms. Recent publications highlight advancements in federated learning security, such as "ScionFL" and "BOLT" , which address robustness and efficiency in distributed machine learning systems. She also contributes to applications like secure kidney exchange problem solutions and epidemiological modeling under privacy constraints. Co-author networks include prominent researchers in cryptography and data security, reflecting her interdisciplinary approach to tackling privacy challenges in computational systems.

José Proençaمشاهده پروفایل

مدرس

• Component-based systems
• Distributed systems
• Software engineering
• +۳ مورد دیگر

José Proença is a Lecturer and Integrated PhD Researcher at CISTER Research Centre, ISEP, Portugal. He is currently a postdoc focusing on formal models for component-based systems. Previously, he worked at HASLab (University of Minho) and Distrinet (KU Leuven), collaborating with researchers like Luís Barbosa, Danny Hughes, and Dave Clarke. His expertise includes coordination of distributed components (Reo language), software product line engineering, and embedded systems (LooCI middleware and VirtuosoNext RTOS). Education: 5-year degree in Mathematics and Computer Science from University of Minho, with an Erasmus exchange at Bristol University, UK. PhD in Computer Science from Leiden University (2011), conducted at CWI, Amsterdam, in the Foundations of Software Engineering group. Research interests span formal methods, distributed systems, embedded systems, and software engineering. He has contributed to projects like IBEX (quantitative cyber-physical programming) and MARS (toolset for real-time systems). His work emphasizes practical applications of formal models in real-time and safety-critical systems. Publications focus on coordination models, multiparty session types, and formal verification, with contributions to journals like Science of Computer Programming and conferences such as COORDINATION and FMAS. He actively collaborates on tools like CAOS (Scala framework) and ARx (reactive programming for connectors).