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

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.

Evgenia Smirniمشاهده پروفایل

استاد

• Performance Evaluation
• Reliability and Dependability
• Applied Machine Learning
• +۸ مورد دیگر

Evgenia Smirni is the Sidney P. Chockley Professor of Computer Science at the College of William and Mary, leading research in performance evaluation, dependability, and applied machine learning. She holds prestigious titles as an IEEE Fellow and ACM Distinguished Scientist. Research Interests : Her work spans performance analysis, reliability engineering, analytical modeling, HPC systems, and cloud computing. Notable projects include GeoSpread for epidemic modeling and strategic resilience evaluation of neural networks in autonomous systems. Awards : Recognized as an IEEE Fellow (202X) and ACM Distinguished Scientist (202X), she also serves as an Associate Editor for IEEE Transactions on Computers and IEEE Transactions on Parallel and Distributed Systems. Service & Leadership : Recent roles include General Chair of SIGMETRICS 2023, Keynote Speaker at DSN 2023, and co-chair of multiple international conferences including DSN 2017 and HPDC 2019. She has organized panels on future research directions in performance evaluation. Software Tools : Developed widely-used tools like KPC ToolBox for modeling and MAMSolver for matrix-analytic solutions. Advising : Supervised over 20 graduate students, many now in prominent academic and industry roles. Notable advisees include Lishan Yang (George Mason), Feng Yan (University of Houston), and Giuliano Casale (Imperial College London).

Kritagya Raj Upadhyayمشاهده پروفایل

استادیار

• Cybersecurity
• Blockchain and Smart Contracts
• Artificial Intelligence
• +۴ مورد دیگر

Dr. Kritagya Raj Upadhyay is an Assistant Professor in the Department of Computer Science at Middle Tennessee State University (MTSU). Specializing in Blockchain and Smart Contracts , Cybersecurity , Artificial Intelligence , Data Cooperatives , and Metaverse , his research focuses on developing architectures and algorithms that address uncertainty, trust, privacy, and security in emerging technologies. Research Interests: Blockchain for Trusted Artificial Intelligence Smart Contracts Security and Scalability Data Cooperatives for Privacy Protection Metaverse Threat Modeling Fuzzy Logic in Legal Contract Interpretation Recent Publications demonstrate expertise in blockchain applications, metaverse security, and AI integration across diverse domains. His work spans Smart Contract Vulnerability Detection , Legal Contract Automation , and Secure IoT Systems . Scientific Awards : MTSU Data Science Institute Seed Grant ($5,000) - 2024 Best Research Paper Award - IEEE TPS-ISA 2023 Outstanding Ph.D. Student Award - University of North Texas 2023 NSA Innovation Award - 2021 Dr. Upadhyay mentors graduate students like Samir Poudel (Second Best Poster Awardee 2023) and teaches courses including Blockchain and Smart Contracts , Secure Software Systems , and Computer Science I at MTSU.

Volker Skwarekمشاهده پروفایل

استاد

• Cybersecurity
• Distributed Systems Security
• IoT and Sensor Networks
• +۳ مورد دیگر

Prof. Volker Skwarek is a Professor for Technical Informatics at the Department of Industrial Engineering and Management, Hamburg University of Applied Sciences. He leads the research group DLT³-Hamburg and heads the research and transfer center for digital business processes. His work focuses on cybersecurity in distributed systems, IoT security, and blockchain applications in industrial environments. He has held leadership roles including Deputy Head of the Department HWI and coordinates the graduate focus area 'Information Science'. Research interests include ultra-low-power IoT systems, self-sovereign identity frameworks, and secure blockchain-sensor integrations. Prof. Skwarek has authored over 30 peer-reviewed articles, 2 books, and multiple patents. He actively contributes to international standardization of blockchain technologies and serves on editorial boards for distributed ledger journals. His projects span smart grid security, decentralized energy trading systems, and forensic blockchain analysis. Notable projects include WaterGridSense 4.0 (smart grid resilience), LegalBlock (legal frameworks for smart contracts), and TrustedCamApp (secure video streaming in sensor networks). He emphasizes practical applications alongside theoretical advancements, collaborating closely with industry partners to address real-world challenges in digital security and automation. Prof. Skwarek holds national/international awards for research and education innovation. His teaching includes courses on technical informatics, programming in C, and cybersecurity fundamentals. He advocates for continuous professional development through academic-industry partnerships and standardization initiatives.

Karine Heydemannمشاهده پروفایل

استاد

• Computer Security
• Formal Verification
• Embedded Systems
• +۳ مورد دیگر

Karine Heydemann is a Professor at Sorbonne Université , affiliated with the School of Science and Engineering , Department of Systems on a Chip (SOC), and the Architecture and Software for Embedded Systems (ALSOC) team at LIP6 laboratory. Her research focuses on securing code against physical attacks, formal verification of assembly code robustness, and optimization of code protections. Research Projects: - ANR IDROMEL (2021-2025): Formal leakage-free analysis of microarchitectural vulnerabilities - ANR COFFI (2019-2023): Enhancing control flow integrity - ANR PROSECCO (2015-2020): Proven protections for compiled code (Coordinator) - ANR MORE (2007-2010): Multicriteria optimizations for real-time embedded systems Teaching: She teaches computer architecture, advanced compilation, RISC processor design, and side-channel attacks at Sorbonne Université across L1-L3 and M1-M2 levels. Past courses include machine representation, recursive programming, and high-performance architectures. Advising: Supervised 11 PhD students (current/past) on topics like fault injection defenses, leakage modeling, and code optimization. Notable collaborations include CEA, Arm, and INVIA. Contact: Located in Office 406, 4 Place Jussieu, Paris. +33 1 44 27 65 28 | Email

João Tiago Pauloمشاهده پروفایل

استادیار

• Distributed Systems
• Storage Systems
• Database Systems
• +۶ مورد دیگر

João Tiago Paulo is an Assistant Professor at the University of Minho and a Senior Researcher at INESC TEC. He obtained his PhD in Computer Science from the MAP-i Doctoral Program, focusing on large-scale distributed systems, storage, and database scalability, performance, security, and dependability. His work addresses complex data management challenges in Cloud Computing and HPC environments. Research Interests: João specializes in Reliable Distributed Storage Systems Software-Defined Storage architectures Privacy and security in data management Fault injection for debugging storage systems Performance benchmarking and optimization Publication Trends: His recent work spans distributed systems, storage scalability, fault reproduction, and privacy-preserving machine learning. He has published in venues like Transportation Engineering , Proceedings of the VLDB Endowment , and SC24-W , with keywords intersecting computer science, HPC, and data security. Supervised Theses: João has supervised multiple MSc theses at INESCTEC, covering topics like edge time series database benchmarking, distributed storage optimizations, privacy-preserving ML frameworks, and fault injection in storage systems.

Koushik Chakrabortyمشاهده پروفایل

استاد

• Computer Architecture
• Near-Threshold Computing
• Hardware Security
• +۳ مورد دیگر

Koushik Chakraborty is a Professor in Electrical and Computer Engineering at Utah State University. His research focuses on computer architecture, energy-efficient near-threshold computing systems, and hardware security. He holds a PhD from the University of Wisconsin-Madison and has received multiple best paper awards. Research encompasses fault-tolerant architectures, hardware security countermeasures, and machine learning accelerators. Recent work develops timing error-resilient systems for deep learning hardware and security frameworks for neuromorphic computing. His group investigates voltage noise mitigation in network-on-chip designs and process variation-aware GPU architectures. Dr. Chakraborty teaches courses in Computer Architecture, Systems Programming, and VLSI Design. He has mentored over 18 graduate students and received teaching recognition including the 2010 Outstanding Undergraduate Mentor Award.

• Cryptography
• Security Protocols
• Side-Channel Attacks
• +۳ مورد دیگر

Olivier Markowitch is a Professor at the Computer Sciences Department of the Faculty of Sciences at Université Libre de Bruxelles (Free University of Brussels). He currently serves as Dean of the Faculty of Sciences and is the university's information security advisor. Previously, he was Head of the Computer Sciences Department and co-president of the university's ethics committee. He co-founded the inter-university Master in Cybersecurity program and co-organized the Cybersecurity Research Center at ULB. His research focuses on: Design and analysis of cryptographic protocols Communication protocol security Side-channel attack methodologies Blockchain applications Hardware security (Network-on-Chip) Secure computation outsourcing Analysis of his 100+ publications reveals consistent focus on applied cryptography, with recent work emphasizing blockchain-based auction systems, hardware security for multi-core architectures, lightweight encryption for IoT devices, and theoretical advances in cryptographic protocols. His publications frequently address both theoretical foundations and practical implementations. Markowitch has supervised doctoral candidates in areas including lattice-based cryptography and secure Network-on-Chip protocols. He leads institutional cybersecurity initiatives and teaches courses in algorithms, cryptography, and computer security.

• Software Engineering
• Software Testing
• Software Design
• +۳ مورد دیگر

Benoit Baudry is a Full Professor of Computer Science at the University of Montreal's Faculty of Arts and Sciences, Department of Computer Science and Operations Research. He leads the GEODES research group (Groupe de recherche sur les systèmes ouverts et distribués et l’expérimentation dans les logiciels), focusing on software engineering challenges. His teaching responsibilities include courses like Software Quality Metrics (IFT-3913), Software Project Management (IFT-3150), and Advanced Topics in Software Engineering (IFT-6251). He is actively involved in strategic initiatives like IVADO and MITACS-funded projects. Research interests span software supply chain security, dependency management, automated software engineering, and AI-driven development tools. He leads projects such as 'Safe and Transparent Software Reuse' (2025–2031) funded by NSERC and 'CLIMB: LLM-driven MLOps Interface' (2025) supported by MITACS. His work addresses critical issues like detecting bloated dependencies, ensuring reproducible builds, and mitigating supply chain vulnerabilities. Recent funding includes NSERC Discovery Grants and Apogée Canada operational funds. He has pioneered techniques for generating mocks from production data, automating test generation via runtime analysis, and applying large language models to software repair. His interdisciplinary projects bridge software engineering with digital art, such as algorithmic art generation systems. He advises multiple graduate programs including Computer Science Bachelors, Masters, and PhD tracks. Key collaborations include KTH Royal Institute of Technology and industry partnerships like Co-operators. His research emphasizes practical solutions for real-world software systems' reliability and security.

• Cybersecurity
• Machine Learning
• Internet of Things (IoT)
• +۵ مورد دیگر

Qusay H. Mahmoud is affiliated with the University of Ontario Institute of Technology, Canada, and previously held roles at the University of Guelph (2002–2013) and completed his PhD at Middlesex University, London (2002). His research focuses on cybersecurity, machine learning, IoT systems, blockchain, and smart policing. He has authored over 200 peer-reviewed publications in journals like IEEE Access, Sensors, and Future Internet, and conferences such as Canadian AI, IEEE CCWC, and SMC. His work spans anomaly detection in IoT networks, adversarial machine learning, cryptocurrency fraud analysis, and reinforcement learning applications. Research Interests: Dr. Mahmoud’s expertise includes developing AI-driven solutions for cybersecurity challenges, IoT security frameworks, blockchain applications in healthcare and finance, and enhancing smart policing through machine learning. He also explores adversarial training for robust deep learning models and reinforcement learning for bridging virtual-physical environment gaps. His contributions emphasize real-world applications, such as phishing detection, fault-injection attack mitigation, and cryptocurrency market analysis. Articles Trends: Recent work highlights the use of large language models (LLMs) in crime prediction, adversarial robustness in GANs, and reinforcement learning for robotics. His publications often intersect machine learning with cybersecurity, IoT, and blockchain, addressing practical challenges like anomaly detection, fraud prevention, and system reliability. Grants & Advising: While specific grants are not detailed, his extensive publication record suggests sustained research activity. No formal student advisees are listed, though collaborations with co-authors like Akramul Azim and Michael Lescisin indicate active teamwork. Labs/Teams: Engaged in interdisciplinary projects at the University of Ontario Institute of Technology, focusing on AI, cybersecurity, and IoT systems. Collaborations extend to institutions globally, addressing emerging tech challenges like blockchain in healthcare and edge computing security.

• Machine Learning
• Cybersecurity
• Smart Grid Security
• +۵ مورد دیگر

Dr. Abdun Mahmood is an Associate Professor in the Department of Computer Science and IT at La Trobe University, Australia. He holds a PhD from the University of Melbourne and has held academic positions at institutions including RMIT University and UNSW Canberra. His research focuses on Machine Learning and Cybersecurity, particularly in Smart Grid Security, SCADA systems, and Malware Detection. He leads a research group addressing challenges like anomaly detection in big data, SCADA vulnerability analysis, and privacy-preserving techniques. Education: PhD in Computer Science, University of Melbourne (2008) MSc (Research) in Computer Science, University of Dhaka (1999) BSc in Applied Physics and Electronics, University of Dhaka (1997) Research Interests: Machine Learning applications in Cybersecurity Smart Grid Security (e.g., False Data Injection, SCADA vulnerabilities) Malware Detection (Windows, API analysis, memory forensics) Federated Learning for privacy-preserving systems Data analytics for anomaly detection in big data Funded Research: Secured over $1M in grants, including ARC Linkage Projects Recent project: 'Detection of data integrity cyber attacks in smart grid' (2020–2023) Availability: Supervision of Masters/PhD students, collaborative industry projects, and advisory roles. Labs/Teams: Leads a research team focusing on Machine Learning and Cybersecurity, with active projects in SCADA security, malware analysis, and federated learning frameworks.

Amir Moradiمشاهده پروفایل

استاد

• Side-Channel Analysis
• Hardware Security
• Cryptographic Implementations
• +۲ مورد دیگر

Amir Moradi is Professor for Implementation Security at TU Darmstadt. His research focuses on hardware security with emphasis on side-channel analysis, fault injection attacks, and secure implementation of cryptographic primitives. Key research areas include: Development of countermeasures against physical attacks Efficient cryptographic implementations for constrained devices Hardware Trojan detection and prevention Automated verification of secure hardware designs He leads multiple DFG-funded projects including nano-scale side-channel analysis and long-term security for trusted platforms. Recent work demonstrates innovations in hardware masking techniques and automated security verification. Professor Moradi has received numerous awards including the IEEE S&P Distinguished Paper Award (2023), German IT Security Award (2022), and CHES Best Paper Award (2019). He serves on program committees of major security conferences including CHES, EUROCRYPT, and ASIACRYPT.

Cristian Eneمشاهده پروفایل

پژوهشگر

• Formal Verification
• Computer Security
• Cryptography
• +۴ مورد دیگر

Cristian Ene is a Researcher at Grenoble Alpes University and a member of the VERIMAG Laboratory. He holds a PhD in Computer Science (2001) from Grenoble Alpes University. His primary roles include teaching and conducting research in formal verification of cryptographic protocols, computer security, and distributed systems. He is actively involved in developing automated tools for cryptographic protocol analysis, such as contributions to the Tamarin Prover framework. Research Interests : His work focuses on formal methods for verifying cryptographic systems, including model counting, security protocol analysis, and decidability in process calculi. He explores topics such as information flow control, fault-injection countermeasures, and automated theorem proving for asymmetric encryption. Publications : His recent work spans formal verification techniques, optimization in Max#SAT solving (e.g., BaxMC), and cryptographic protocol analysis. Earlier contributions include foundational studies on process decomposition in π-calculus and formal security models in the random oracle framework. Teaching : He teaches courses on cryptographic engineering, formal verification of security protocols, programming languages, and compiler design. Course materials include slides, assignments, and practical exercises using tools like Tamarin Prover. Labs & Teams : He is affiliated with the VERIMAG Laboratory, which specializes in formal methods and embedded systems research. His work integrates theoretical foundations with practical applications in secure system design and automated verification.

Sahra Sedigh Sarvestaniمشاهده پروفایل

دانشیار

• Cyber-Physical Systems
• Critical Infrastructure Protection
• Dependability and Security
• +۹ مورد دیگر

Dr. Sahra Sedigh Sarvestani is an Associate Professor of Electrical and Computer Engineering at Missouri University of Science and Technology, with a courtesy appointment in Computer Science. She serves as Distance Coordinator for ECE, Faculty Ombuds, and Research Investigator at the Intelligent Systems Center. BS in Electrical Engineering, Sharif University of Technology MS in Electrical Engineering, Purdue University PhD in Electrical and Computer Engineering, Purdue University Her research focuses on dependability modeling for cyber-physical systems , emphasizing critical infrastructure protection , failure propagation analysis , and educational technology innovations . She has developed fault injection frameworks, interdependency models, and personalized learning platforms like Percepolis. Recent publications highlight trends in autonomous vehicle cybersecurity , smart grid reliability , and context-aware educational systems . Her work integrates agent-based modeling , stochastic analysis , and data fusion techniques. Scientific Awards IEEE St. Louis Section Outstanding Research Award (2021) Missouri S&T Global Learning Excellence Award (2017) Best Paper Award, Resilient Cyber Systems (2016) IEEE Golden Core Award (2013) NAE Frontiers of Engineering Fellow (2009) Her research has been funded by the National Science Foundation, US Department of Transportation, European Commission, and industry partners like Ford and Samsung. Current projects include self-healing intelligent transportation systems and software-based electromagnetic immunity analysis .

Selçuk Köseمشاهده پروفایل

استاد

• Hardware Security
• On-Chip Power Delivery
• Cryogenic Electronics
• +۳ مورد دیگر

Selçuk Köse is a Full Professor in the Department of Electrical and Computer Engineering at the University of Rochester. Previously, he held positions at the University of South Florida as an Assistant Professor (2012-2018) and Associate Professor (2018-2019). He earned his B.Sc. from Bilkent University (2006), M.S. and Ph.D. from the University of Rochester (2008 and 2012, respectively). His research focuses on hardware security (side-channel attacks, fault injection, PUFs), on-chip power delivery, cryogenic electronics, graphene nanoribbon transistors, and nature-inspired computing (e.g., Ising machines). He has received prestigious awards including the NSF CAREER Award (2014) and Cisco Research Awards (2015–2017). His recent work emphasizes security in quantum computing interfaces, power delivery networks, and covert channel mitigation. Research funding comes from NSF, DARPA, DoE, and industry partners. He serves as an associate editor for IEEE and Springer journals.